Final del 29/12/2010 (Ingeniería I)
Tomó Victor Braberman
Ejercicio 1
a) En el siguiente diagrama de caso de uso:
Archivo:Diagrama de Caso de Uso ej 1a.png
¿Existen escenarios de uso donde A3 intervenga en A? ¿Existen escenarios de uso donde A1 intervenga en B?
b) Para el siguiente diagrama de contexto:
Archivo:Diagrama de Contexto ej 1b.png
Si tuviésemos un hipotético caso de uso, ¿donde podría aparecer el vínculo entre A y B?
Ejercicio 2
Suponiendo que tenemos un criterio de test C que subsume a otro critero de test D. ¿Es cierto que la probabilidad de encontrar una falla con un criterio que verifique C es mayor o igual que la probabilidad de encontrar una falla con un criterio que verifique D?
Ejercicio 3
Se tiene una FSM que cumple con la siguiente propiedad (de reset): <<Desde cualquier estado se puede realizar una transición R que al ejecutarla da la posibilidad de ejecutar la transición A>>. Si de esa máquina tuviera sólo las trazas, ¿podría demostrar de alguna manera que dicha máquina cumple con dicha propiedad?
Ejercicio 4
Para los que la cursaron en 2010: ¿Qué son y para qué sirven las relaciones de conformidad? Dar una relación de conformidad para Mealy Machines.
Para los que la cursaron antes del 2010 era algo parecido al ejercicio del final del 14/05/2008 tipo: Explique el principio de sustitución de Liskov y muestre un ejemplo donde vale este y otro donde no vale.
