Design by contract: differenze tra le versioni

Versione delle 22:24, 6 set 2006

Versione delle 16:46, 7 dic 2006

Riga 1:

'''Design by contract''' or '''DBC''' (in italiano, ''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.

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.