Pruebas unitarias e Invariantes.

Pruebas unitarias e Invariantes.

1. Invariantes

   • Conjunto de afirmaciones que indican las propiedades que deben cumplir las instancias de una clase.
   • Compuesta por
     • Restricciones sobre los valores que pueden tomar los atributos de la clase.
     • Restricciones sobre los valores que pueden tomar los objetos hacia los cuales hay solución.
     • Relaciones entre los atributos y objetos con los cuales hay relación.
   • Tipos de Invariante
     • Analisis: Indica algunas propiedades del mundo del elemento representado por una clase.
     • Decisiones de Diseño: Es con quien tiene la responsabilidad de inicializar ciertos atributos.
   • Las invariantes se documentan como parte del Javadoc que describe la clase, asi este resultara de manera mas explicita.

2. Asignación de Responsabilidades

   • Es cuando se dice que métodos debe tener la clase y que contrato implementa cada uno de ellos.
     • Es una parte critica en el proceso de diseño, debido a esto se deben seguir los siguientes pasos:
       • 1) Aplicación de la tecnica del experto para la identificación de los servicios que ofrece cada clase.
       • 2) Diseñar la signatura de los métodos necesarios para satisfacer los servicios esperados.
       • 3) Escribir el contrato de los métodos, identificando en estos sus pre y post condiciones.
       • 4) Hacer las declaraciones de los métodos en Java.

3. Pruebas Unitarias automaticas.

   • Se realizan a medida que se va desarrollando los métodos del programa para asi encontrar errores (si los hay) mas facilmente. Se utiliza la herramienta JUnit para construir las pruebas unitarias automáticas de un programa escrito en Java.
     • Clase TestCase
       • assertTrue(mensaje, condición): Evalúa la consición. Si es true, ejecuta normal, sino, (false) lanza la excepción "AssertionFailedError"
       • assertFalse(mensaje, condición): Lanza excepción si la condición no es falsa.
       • assertNull(mensaje, objeto): Excepción AssrtionFailedError si el objeto no es null.
       • assertionNotNull(mensaje, objeto): Excepción AssertionFailedNull si el objeto es null.
       • assertEquals(mensaje, esperado, actual): verifica si esperado == actual, si es true continua, sino lanza la excepción AssertionFailedError.
       • assertEquals(mensaje, esperado, actual, delta): compara valores reales, no es posible verificar la igualdad total.
       • fail(mensaje): Siempre lanza la excepción AssertionFailedError.