Contratti Operazioni
Cosa sono i contratti?
I contratti dichiarano un'operazione definendo ciò che deve essere vero prima e dopo il suo completamento.
Quali sono le sezioni di un contratto?
Le sezioni di un contratto sono: Operazione, Riferimenti, Pre-condizioni e Post-condizioni.
Cosa include la sezione Operazione in un contratto?
Specifica il nome e i parametri dell'operazione (ad es. enterItem(itemID: ItemID, quantity: integer)).
Cosa include la sezione Riferimenti in un contratto?
Indica i casi d'uso in cui l'operazione può verificarsi (ad es. “è in corso una vendita”).
Cosa sono le Pre-condizioni in un contratto?
Sono le ipotesi significative sullo stato del sistema o degli oggetti nel Modello di Dominio prima dell'operazione.
Cosa descrivono le Post-condizioni in un contratto?
Mostrano lo stato degli oggetti nel Modello di Dominio dopo l'operazione, come creazione, modifica o cancellazione di istanze e associazioni.
Cos'è un'operazione di sistema?
È un'operazione che il sistema "black box" offre nella sua interfaccia pubblica; può essere individuata dagli SSD.
Cosa sono le post-condizioni?
Descrivono i cambiamenti nello stato degli oggetti nel modello di dominio al termine di un’operazione, come creazione di istanze, modifica di attributi o creazione/rimozione di associazioni.
Quali sono le linee guida per scrivere i contratti?
1. Identificare le operazioni di sistema dagli SSD; 2. Creare contratti per operazioni complesse o poco chiare; 3. Usare categorie per descrivere le post-condizioni.
Come vanno scritte le post-condizioni?
In forma dichiarativa, con verbi al passato e in forma passiva, evitando di descrivere azioni.