Contratti Flashcards
(6 cards)
1
Q
Cosa va inserito in un contratto?
A
- Operazione
- Riferimenti
- Pre-condizioni
- Post-condizioni
2
Q
Cosa metti in operazione?
A
Nome dei parametri
3
Q
Cosa metti in riferimenti?
A
Casi d’uso in cui può verificarsi l’operazione
4
Q
Cosa metti in pre-condizioni?
A
Ipotesi sullo stato del sistema prima dell’operazione
5
Q
Cosa metti in post-condizioni?
A
Cambiamenti prodotti dall’operazione, non necessariamente hanno a che fare con il software e si descrivono con verbi al passato
6
Q
Quali categorie di operazioni si usano per le post-condizioni?
A
- Creazione e cancellazione di istanze
- Creazione o cancellazione di associazioni
- Modifica di attributi
