Design by contract: differenze tra le versioni

Versione delle 18:52, 9 feb 2009

Versione delle 00:10, 24 giu 2009

Riga 20:

Usando la metodologia DBC, in caso di codice scritto a malo modo, il codice stesso del programma presumibilmente non verificherà le condizioni del contratto; la codifica in tal caso fallirà, avendo la verifica del contratto come rete di sicurezza. (Questo si pone in netto contrasto con la metodologia della ''programmazione difensiva''.) Questo facilita molto il debugging, perché il comportamento inteso di ogni routine viene specificato chiaramente.

{{Portale:informatica}}

[[Categoria:Metodologie di sviluppo]]