Please enable JavaScript.
Coggle requires JavaScript to display documents.
Verificación de diseño - Coggle Diagram
Verificación de diseño
Estándares de diseño
Se debe establecer un estándar para verificar que sea correcto.
Convenciones de productos
Estándares de reuso
Métodos de verificación
Ejecución simbólica
Cubre todos los valores simbólicos
Pruebas de inducción
Se encuentran y verifican las pruebas generales
Incluye el uso de compiladores u otra herramienta de pruebas
Verificar las especificaciones lógicas
Tablas de ejecución
Tablas de seguimiento
Flujo lógico en un template de seguimiento
Verificar las correcciones
Pruebas de loops
Verificación repeat until
Verificación while-loop
Verificación for-loop
Maquinas de estados
Se identifica cuando arroja resultados diferentes de entradas idénticas
Se verifican todos los estados posibles