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

De Cuba-Wiki
Revisión del 20:32 10 feb 2009 de 190.55.153.248 (discusión) (→‎Testing)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

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?