« Programmation/Programmation par contrat » : différence entre les versions

Contenu supprimé Contenu ajouté
Greudin (discussion | contributions)
m par traroth
 
Esope (discussion | contributions)
rajouts de liens
Ligne 1 :
[[Programmation par contrat|<< Retour au sommaire]]
 
La '''programmation par contrat''' est un paradigme de programmation dans lequel le déroulement des traitements est garanti par des vérifications sur les données, ce qui permet d'être sûr que les traitements ne vont pas déclencher d'erreur. Il y a trois catégories de vérification :
 
Ligne 5 ⟶ 7 :
*Invariant : L'ensemble des conditions qui doivent être vérifiées à tout moment, y compris au sein d'un traitement.
 
Le seul langage de programmation qui implémente ce paradigme est le langage [[Programmation Eiffel&Eiffel]], mais des modules existent pour d'autres langages, comme JContractor pour [[Programmation Java]].