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

De Cuba-Wiki
Saltar a: navegación, buscar

Final tomado por Victor Braberman

Diseño[editar]

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

Requerimientos[editar]

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

Especificación[editar]

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

Testing[editar]

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?