ProgrammationParContrat

Un article de Agora2ia.


La ProgrammationParContrat consiste à définir des assertions d'entrée et de sortie, et des invariants.

Contrairement aux tests par exemple, les contrats font pas partie du code de production.

http://fr.wikipedia.org/wiki/Programmation_par_contrat