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

De Cuba-Wiki

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

Especificación[editar]

  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[editar]

  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?