postcondition

Français[modifier le wikicode]

dérivé de condition, avec le préfixe post-.

Singulier	Pluriel
postcondition	postconditions
\pɔst.kɔ̃.di.sjɔ̃\

postcondition \pɔst.kɔ̃.di.sjɔ̃\ féminin

(Mathématiques) Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
- La postcondition de la somme de deux nombres positifs est que cette somme doit être positive.
- Si $a>0$ et $b>0$ et que $S=a+b$ , avec pour postcondition de validation $S>0$ , la postcondition s’écrira : $\{(a>0,b>0)\}\ (S=a+b)\ \{s>0\}$
(Programmation) En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.
- Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie.