Final del 20/09/2017 (Ingeniería I)

Escrito - Braverman

1) Indique si es cierta la siguiente afirmación. Para LTS determinísticos la igualdad de trazas es equivalente a la bisimulación. Justifique

2) Qué tipo de diagrama utilizaría para investigar durante la etapa de analisis de requerimientos la interacción de 2 ó mas agentes

3) Qué significa que un criterio properly covers otro criterio y que propiedades tiene esta relación.

4) Suponga un procedimiento que toma un número x y que tiene un único defecto que se exhibe cuando se ejecuta con el valor cero. Suponga un criterio de test que dice que una test suit lo satisface si y sólo si un dato es > 2,56 y otro =< 256. Es este criterio completo? Es este criterio consistente?

5) En el modelo de Jackson se dividen las aserciones descriptivas y las preescriptivas. En qué sentido es relevante al momento de hacer validación y verificación.