Please enable JavaScript.

Coggle requires JavaScript to display documents.

VERIFICACIÓN DEL DISEÑO - Coggle Diagram

- - - - o Los componentes deben estar bien documentados (con comentarios), deben estar disponibles, deben satisfacer alguna necesidad y deben ser confiables.
      - Debes tener un "catálogo" donde definas: nombre, entradas, salidas y funcionalidad.
- - - -  Revisar los ciclos.
      -  No puede haber ciclos infinitos que nunca lleguen al return.
      -  Revisar si todos los posibles estados han sido identificados.
      -  Revisa la ortogonalidad.
      -  Revisar la transición y la completitud.
    - - Tablas de ejecución
        
        o Es una forma ordenada de rastrear la ejecución de un programa.
        
        o Es una revisión manual del flujo del programa.
        
        o Empieza con una condición inicial.
        
        o Un grupo de valores para las variables es seleccionado.
        
        o Cada cambio en las variables es registrado.
        
        o El comportamiento del programa se verifica contra la especificación.