Final del 20/11/2007 (Ingeniería I)
Ejercicio 1
Qué significa que un caso de test subsume a otro?
Ejercicio 2
Se tiene una función foo(int x) implementada por un programa que falla solamente cuando x = 2. Dado el criterio de test de probar pares e impares, dedicir si dicho criterio es completo y si es consistente.
Ejercicio 3
Qué diferencia hay entre una vista de diseño lógica y una física? Ejemplifique.
Esta en la pag 13 de la primer ppt de diseño:
Una vista física corresponde con una estructura visible
• En el lenguaje de programación
• En la estrategia de deployment
• En la dinámica de ejecución
• Como archivos
• etc...
Una vista lógica no tiene una manifestación concreta en la solución
• pero si juega un rol concreto en la comprensión y análisis del diseño.
• Ej. reglas del negocio
Ejercicio 4
Indique Verdadero o Falso justificando: "El diseño preliminar se obtiene a partir de una transformación del modelo conceptual."
Ejercicio 5
El modelo de Jackson separa entre aserciones prescriptivas y descriptivas. Explique como influye esta distinción a la hora de realizar la validación y verificación del documento de especificación.
Ejercicio 6
Justifique la siguiente afirmación: "El proceso de análisis de obstáculos contribuye a la desidealización de objetivos".
Ejercicio 7
Qué es una relación de bisimulación? Por qué se la utiliza como relación de equivalencia en lugar de equivalencia de trazas?
Ejercicio 8
Cuál es la diferencia entre un data flow diagram (DFD) y un diagrama de actividad (DA)?