Please enable JavaScript.
Coggle requires JavaScript to display documents.
VERIFICACIÓN DEL DISEÑO - Coggle Diagram
VERIFICACIÓN DEL DISEÑO
METODO 1: DISEÑAR ESTÁNDARES
El diseño de un estándar aparentemente no es un método de verificación.
Pero, un estándar proporciona un criterio contra el cual puedes evaluar el diseño.
MÉTODO 2: EJECUCIÓN SIMBÓLICA
El enfoque se refiere a:
Asignar símbolos algebraicas a las variables que utilizas en los programas (cuando sea válido).
Utilizar las ecuaciones (funciones algebraicas) y hacer sus pruebas.
Analizar las ecuaciones para detectar validaciones y consideraciones importantes.
Las preguntas recomendadas al aplicar este enfoque son:
El programa arroja el resultado correcto?
Como se comporta con valores típicos y atípicos?
MÉTODO 3: PRUEBA POR INDUCCIÓN
Su objetivo es encontrar pruebas generarles para que no tengas que probar cada condición posible.
Te ahorra mucho tiempo en las validaciones.
MÉTODO 4: MÁQUINA DE ESTADOS
Una máquina de estados es una estructura de programa que nos sirve para determinar el comportamiento de algo en base al estado en el que se encuentre. Para cada estado por tanto se tendrá un comportamiento.
Las máquinas de estados se pueden utilizar en muchos aspectos y niveles. Podemos utilizarlas para controlar el estado de la aplicación que estemos realizando.
Un programa puede ser tratado como una máquina de estados si para ENTRADAS IGUALES, se comporta diferente, es decir da diferentes resultados.
No es muy común que pase, pero por ejemplo para tu programa de contabilizar las LOCs de un programa puede ser que con el mismo programa que corras puede ser que te de diferentes resultados dependiendo de los comentarios que tengas en dicho programa.
MÉTODO 5: RASTREO DE PROGRAMA
Tablas de ejecución.
Tablas de rastreo.