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."
Palla: Se hace a partir de la especificacion, y que el MC es solamente una parte de la misma, q tenes que tener en cuenta muchos otros diagramas, como CU o DA.
Tara: Yo me jugaría a que no, diciendo que el modelo conceptual es una especificación, forma parte de ingeniería de requerimientos, y que el diseño es otra etapa, donde se privilegian otras cosas (reusabilidad, modularidad, cohesión, acoplamiento) que no tienen que ver con describir cómo funciona el mundo, sino con cómo se van a implementar las cosas.
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)?
