Définition de postcondition | Babel Free

Définitions

1. Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
2. En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.

Équivalents

Exemples

“La postcondition de la somme de deux nombres positifs est que cette somme doit être positive.”

“Les postconditions vont permettre⟳ de continuer⟳ la poursuite du programme ou lever⟳ une exception quand la postcondition n’est pas remplie.”

Niveau CECR