Edición 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]]
@@ Línea 41: / Línea 41: @@
 ''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.''
-Verificacion es la formula esa pseudologica. Validacion son preguntas medio en el aire. Esta en la diapo de abajo a la derecha de la pag 4 de la teorica de fundamentos de IR:
-• Permite formular dos criterios de verificación
-– Los requerimientos (R) de la máquina satisfacen los objetivos (G) dadas las suposiciones acerca del dominio (D)? R, D |= G
-– El programa (P) ejecutando sobre el hardware (C) satisface los requerimientos (R)? P, C |= R
-• Permite formular criterios de validación
-– Tenemos todos los objetivos? Son todos válidos?
-– Todos las propiedades del dominio son verdaderas?
-– Todas las presunciones acerca del dominio son razonables?
 == Ejercicio 6 ==
 ''Justifique la siguiente afirmación: "El proceso de análisis de obstáculos contribuye a la desidealización de objetivos".''
-WTF?!??! Yo diría que sí, porque te hace pensar que alguien te puede
-joder los objetivos, y ver que son vulnerables. Pero no se me ocurre
-nada más.
-Mr. P dijo que esta era la idea, pero hay que guitarrearlo mucho más
 == Ejercicio 7 ==
@@ Línea 91: / Línea 57: @@
 ''Cuál es la diferencia entre un data flow diagram (DFD) y un diagrama de actividad (DA)?''
-Creo que la diferencia esta en que el DA solo sirve para cosas mas "chicas" y tienen que ser sincronicas; el DFD te puede dar una vision mas macro del flujo de la informacion, pudiendo modelar sistemas asincronicos.
-Tara: Creo que el DA sirve para comportamiento interno del sistema, mientras que el DFD es para interacción con el sistema.
 [[Category:Finales]]