Design by contract: differenze tra le versioni

Versione delle 09:02, 6 ago 2005

Versione attuale delle 19:16, 9 gen 2018

(38 versioni intermedie di 27 utenti non mostrate)

Riga 1:

{{F|ingegneria del software|febbraio 2013}}

'''Design by contract''' or '''DBC''' (in italiano, ''progettazione per contratto'') è una metodologia per progettare il [[software]]. Prescrive che i progettisti di software dovrebbero definire specifiche precise e verificabili delle interfacce dei componenti software, basandosi sulla teoria dei [[tipo di dato astratto|tipi di dati astratti]] e sulla metafora di un [[contratto]] legale.

[[File:Design by contract.svg|miniatura|destra|Uno schema che rappresenta le informazioni delle specifiche funzionali o del contratto]]

'''Design by contract''' or(in sigla: '''DBC''' (in) italiano,o '''progettazione per contratto'')' è una metodologia per progettare il [[software]]. Prescrive che i progettisti di software dovrebberodebbano definire specifiche precise e verificabili delle interfacce dei componenti software, basandosi sulla teoria dei [[tipo di dato astratto|tipi di dati astratti]] e sulla metafora di un [[contratto]] legale.

==Descrizione==

L'idea centrale del DBC è che le entità software hanno degli obblighi nei confronti di altre entità in base a regole formalizzate fra di essi. Una [[specifica funzionale]], o 'contratto', viene creato per ogni modulo nel sistema prima che sia codificato. L'esecuzione del programma è quindi vista come l'interazione fra i vari moduli vincolati da questi contratti.

In generale, le routine hanno ''precondizioni'' esplicite che il chiamante deve soddisfare prima di chiamare la routine, e postcondizioni esplicite che descrivono le condizioni che la routine garantirà essere vere nel momento in cui la routine finisce. Così, un contratto assume la seguente forma generale: "Se tu, il chiamante, predisponi certe precondizioni, allora io stabilirò certi altri risultati quando ti avrò terminato. Se tu violi le precondizioni, allora non ti prometto niente." L'implementazione di ogni modulo può allora essere scritta assumendo la correttezza dei moduli che usa (i suoi subappaltatori), purché soddisfi le loro precondizioni.

Molti linguaggi forniscono la possibilità di fare asserzioni come queste.

Tuttavia, il DBC è innovativo nel riconoscere che questi contratti sono così cruciali per la correttezza del software cheda dovrebberodover far parte del processo di progettazione. In effetti, ilse DBCsi sostienevogliono usare le asserzioni come garanzia del fatto che l'implementazione svolta rispetti tutte le specifiche funzionali descritte in fase di analisi, tali asserzioni dovrebbero essere scritte prima del codice.

Il concetto di contratto si estende verso il basso fino al livello dei metodi/routine; il contratto per ogni metodo conterrà normalmente le seguenti informazioni:

Riga 13 ⟶ 16:

* Valori resi, e il loro significato

* Condizioni erronee o eccezionali che possono avvenire

* Effetti collatoralicollaterali

* [[Precondizione|Precondizioni]]

* [[Postcondizione|Postcondizioni]]

* [[Invariante (informatica)|Invarianti]]

* (Raramente) Garanzie di prestazioni, cioè sul tempo e lo spazio utilizzati

Usando la metodologia DBC, in caso di codice scritto a malo modo, il codice stesso del programma presumibilmente non deve mai verificareverificherà le condizioni del contratto; illa codecodifica in dovrebbetal "fallirecaso malamente"fallirà, avendo la verifica del contratto come rete di sicurezza. (Questo si pone in netto contrasto con la metodologia della ''programmazione difensiva''.) La proprietà di "fallire malamente" del DBCQuesto facilita molto il debugging, perché il comportamento inteso di ogni routine viene specificato chiaramente.

== Voci correlate ==

[[Categoria:Programmazione]]

*[[Invariante (informatica)]]

*[[Invariante di classe]]

*[[Asserzione (informatica)]]

{{Portale|informatica}}

[[Categoria:Metodi di sviluppo software]]

[[Categoria:Progettazione del software]]