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)?