Ver el código de «Final del 20/11/2007 (Ingeniería I)»

{{Back|Ingeniería de Software 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)?''

[[Category:Finales]]