Caso de prueba

Contrato CO1: ingresarDatosVoluntario()

Operación: ingresarDatosVoluntario (IDVol: ItemID, nombre: string, dirección: string edad: integer, habilidades: string, tel: integer, email: string )Referencia cruzada: caso de uso: Registrar Voluntario.

Precondiciones: Hay un registro en curso

Postcondiciones:

- Se creó una instancia de Voluntario vol (creación de instancias)

- vol seasocia con la registro actual (formación de asociaciones)

- vol.IDVol pasó a ser IDVol (modificación de atributos)

- vol.nombre pasó a ser nombre (modificación de atributos)

- vol.direccionpasó a ser dirección (modificación de atributos)

- vol.edad pasó a ser edad (modificación de atributos)

-vol.habilidades paso a ser habilidades (modificación de atributos)

- vol.tel pasó a sertel (modificación de atributos)

- vol.email pasó a ser email (modificación de atributos)

Contrato CO2: terminaRegistro()

Operación: terminaRegistro()

Referencia cruzada: caso de uso:Registrar Voluntario.

Precondiciones: Hay un registro en curso

Postcondiciones:

-Registro.esCompleto pasó a ser verdad (modificación de atributos)

Contrato CO3: ingresarDatos Solicitante()Operación: ingresarDatos Solicitante (IDSol: ItemID, nombre: string, dirección: string, edad: integer, tel: integer, email: string )

Referencia cruzada: caso de uso: Registrar Solicitante.Precondiciones: Hay un registro en curso

Postcondiciones:

- Se creó una instancia de Solicitante sol (creación de instancias)

- sol se asocia con la registro actual (formación de asociaciones)

-sol.IDSol pasó a ser IDSol (modificación de atributos)

- sol.nombre pasó a ser nombre (modificación de atributos)

- sol.direccion pasó a ser dirección (modificación de atributos)

-sol.edadpaso a ser edad (modificación de atributos)

- sol.tel pasó a ser tel (modificación de atributos)

- sol.email pasó a ser email (modificación de atributos)

Contrato CO4: ingresarTipodeAyuda()...