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

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

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?