postcondition

Français

Étymologie

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

Nom commun

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

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 $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\}$
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.

Antonymes

• précondition

Hyperonymes

• programmation par contrat

Traductions

• Italien : postcondizione (it) féminin

Prononciation

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

Voir aussi

• postcondition sur l’encyclopédie Wikipédia