Final del 03/03/2017 (Ingeniería I)

El examen lo tomó Nicolás D'ippolito. Eramos 2 y tomó un examen escrito. Duró 1 hora y media.

Especificación

1. Dar la definición de bisimulación. De ejemplos: 2 máquina bisimilares y 2 máquinas no bisimilares.
2. Explique la diferencia entre bisimulación y equivalencia por simulación[1]. De ejemplos de 2 máquinas que sean equivalentes por simulación pero no sean bisimilares.
3. Explique un mecanismo para demostrar formalmente si 2 LTSs son bisimilares.

[1] Equivalencia por simulación: No está en las teóricas pero lo dió en clases y aparece en la bibliografía recomendada.

Testing

1. ¿Qué significa que un criterio subsume a otro? Ejemplifique.
2. Explique que son y para que sirve def-use graph y flow-graph.
3. ¿Qué es un Oráculo en el contexto de testing y para que se utiliza?