postcondition

== Français == === Étymologie === dérivé de condition, avec le préfixe post-. === Nom commun === 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 {\displaystyle a>0} et b > 0 {\displaystyle b>0} et que S = a + b {\displaystyle S=a+b} , avec pour postcondition de validation S > 0 {\displaystyle S>0} , la postcondition s’écrira : { ( a > 0 , b > 0 ) } ( S = a + b ) { s > 0 } {\displaystyle \{(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. ==== Antonymes ==== précondition ==== Hyperonymes ==== programmation par contrat ==== Vocabulaire apparenté par le sens ==== postcondition figure dans le recueil de vocabulaire en français ayant pour thème : langage de programmation. ==== Traductions ==== === Prononciation === (Région à préciser) : écouter « postcondition [Prononciation ?] » France (Vosges) : écouter « postcondition [Prononciation ?] » === Voir aussi === postcondition sur l’encyclopédie Wikipédia