Final del 05/08/2015 (Ingeniería I)

Tomó Nicolas D'Ippolito. Fue escrito con 10 preguntas, divididas entre especificación y testing. Había que tener por lo menos 60% en ambos.

Especificación:

1. Defina formalmente composición en paralelo de LTSs y ejemplifique como funciona cuando las máquinas estado a ser compuestas tienen distinto alfabeto.
2. Indique cómo se le da semántica a un LTS. Ejemplifique y compare dicha noción con la semántica utilizada para la comparación entre LTSs.
3. Suponga que un dominio ha sido descrito utilizando una composición de máquinas de estado y un diagrama de contexto. ¿Qué vículos esperaría encontrar entre ellos?
4. ¿Cómo relacionaría los diagramas de secuencia con las máquinas de estado finito?
5. ¿Cuáles son los tres tipos básicos de relaciones entre entidades en un modelo conceptual? Explique sus diferencias.
6. El modelo de Jackson distingue entre aserciones descriptivas y prescriptivas. ¿En qué consiste esta diferencia? Explique por qué esta distinción es relevante al momento de hacer verificación y validación en el contexto del modelo de Jackson.

Testing:

1. ¿Qué significa que un criterio de test subsume a otro? Ejemplifique.
2. ¿Cuál es la diferencia entre verificación y validación? Ejemplifique.
3. Explique qué es y para que sirven: el def-use graph y el flow graph.
4. ¿Qué es un oráculo y cómo se usa en testing?