postcondition
उच्चारण
-
/pɔst.kɔ̃.di.sjɔ̃/
संज्ञा
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.
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.
शब्द के रूप
postconditions