Corrigo los nombres de los métodos de AssertionFailedExceptionTest para que tengan nombres más descriptivos.