Final del 30/12/2008 (Ingeniería I)

Nota: Final tomado por Victor Braberman. Las preguntas fueron explicadas, y las siguientes son mis notas.

Requerimientos

1) En el modelo de Jackson ¿Qué relación lógica existe entre la especificación (G), hechos del dominio (D) y requerimientos (R). Dar un ejemplo.

Especificación

2) Se define un lenguaje de anotación para poder predicar sobre log de ejecución de una aplicación, se desea definir una notación basada en máquinas de estados finitas. ¿Qué tipo de semántica semántica usarían para las máquinas de estados finitas?

Diseño

3) Según el criterio de Liskov. ¿Es correcto fortalecer la precondición de la especialización de un método? ¿Sí, no, por qué?

4) ¿El patrón visitor está pensado para soportar extensibilidad en los tipos de nodo, o en las operaciones a aplicar sobre los nodos ? Justifique.

Testing

5) En el método category-partition, si fallo en la detección de parámetro relevantes, ¿qué se pone en riego en el criterio del test, la consistencia o la completitud? Justifique. Tip: La consistencia