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

Contenu supprimé Contenu ajouté
Esope (discussion | contributions)
m correction lien
Aucun résumé des modifications
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 :
 
*Précondition : L'ensemble des conditions qui doivent être vérifiées avant le lancement d'un traitement donné. Ces conditions permettent de s'assurer que le déroulement du traitement est possible sans déclencher d'erreur.
*Postcondition : L'ensemble des conditions qui doivent être vérifiées après le déroulement d'un traitement. Ces conditions permettent de s'assurer que le déroulement du traitement n'a pas déclenché d'erreur.
*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]].