postcondition

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

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

1. (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 ${\displaystyle a>0}$ et ${\displaystyle b>0}$ et que ${\displaystyle S=a+b}$, avec pour postcondition de validation ${\displaystyle S>0}$, la postcondition s’écrira : ${\displaystyle \{(a>0,b>0)\}\ (S=a+b)\ \{s>0\}}$
2. (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.

• précondition

• programmation par contrat

• (Région à préciser) : écouter « postcondition  »
• France (Vosges) : écouter « postcondition  »

• postcondition sur l’encyclopédie Wikipédia