Final del 14/05/2008 (Ingeniería I)

Final tomado por Victor Braberman

Diseño

1) Explique el principio de sustitución de Liskov y muestre un ejemplo donde vale este y otro donde no vale.

Requerimientos

2) Explique cuándo un refinamiento Y es consistente.

Especificación

3) De que depende el vocabulario para escribir expresiones OCL?

Testing

4) Tenemos una suite de casos de prueba. Suponemos que es independiente de:

1. Plataforma( Linux, Win 2003, Win 2008 (?))
2. Arquitectura de procesador (x32, x64)
3. Protocolo de comunicación (TCP/IP, UDP)

Como hacer para evitar una prueba exhaustiva sobre todas las combinaciones?