INVARIANTE

INVARIANTE

1. ¿Que es el invariante?

   • Conjunto de afirmaciones, el cuál indican las propiedades que en todo momento deben cumplir las instancias de las clases.
     • Compuesto por:
       • Restricciones sobre los valores que pueden tomar los atributos de la clase.
       • Restricciones hacia los valores de los objetos en los cuales hay una asociación.
       • Relaciones entre los atributos y/o objetos con los cuales se relaciona.
     • ¿Como calcularla?
       • Análisis
         • Indican algunas propiedades en el mundo el cual está siendo representado la Clase.
       • Diseño
         • Responsabilidad de inicializar y designar atributos.
     • ¿Como documentarla?
       • En el principio de la clase, al igual que JavaDoc.

2. Instrucción assert

   • Permite verificar una aserción.
     • Tipo lógico. Sintaxis:(assert expresión).
     • Cadena de caracteres. (asserts expresión1:expresión).

3. Habilitar/Deshabilitar una invariante

   • -ea: (enableassertions), permite habilitar las aserciones de una clase.
   • -da (disableassertions), permite deshabilitar las aserciones de una clase.

4. Asignación de responsabilidades e implementación de Métodos

   • Secuencia de tareas
     • 1) Aplicar las ténica del experto o descomplisicón de requerimientos. para identificar servicios que ofrece la clase.
     • 2) Diseñar la asignatura de los métodos para satisfacer los servicios esperados.
     • 3) Escribir el contrato de los métodos identificado precondiciones y postcondiciones.
     • 4) hacer las declaraciones de los métodos.

5. Pruebas Unitarias Automáticas

   • Verifica que los resultados sean los esperados en un programa el cual trabaja un conjunto predefinido de escenarios y casos.
     • ¿Qué es un escenario?
       • Objeto de la clase que se quiere probar.
       • Clase de prueba
         • Asociada a una clase del modelo del mundo y tiene dos tipos de métodos, uno para crear escenarios y otro para verificar que cada método se cumpla.
   • Ejecuta las verificaciones que una clase contiene y genera un reporte con los resultados.
     • La clase que se usará será el Framework Unit
       • Es necesario extender la Clase como TestCase.
       • Importar paquete Unit.Framework.
       • Los métodos a implementar debe tener el prefijo 'test' y ser de tipo void.

6. JUnit

   • Esta clase nos provee diferentes funcionalidades
     • assertTrue y recibe como parametro un mensaje, condición.
     • assertFalse y recibe como parametro un mensaje, condición.
     • assertNull y recibe como parametro un mensaje, objeto.
     • 1) assertEquals, recibe como parámetro un mensaje, esperado, actual.
       • 2) assertEquals, recibe como parámetro un mensaje, esperado, actual, delta.
     • assertFail y recibe como parámetro un mensaje.