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.

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".

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