assertion

Une définition du Jargon Français.
Aller à : Navigation, rechercher

nom féminin.  [programmation]. Nom de constructions recommandées par certaines méthodes de génie logiciel. Il s'agit de prédicats destinés à détecter un état anormal causé par une erreur de programmation.

Si, par exemple, une variable donnée ne doit jamais receler une valeur inférieure ou égale à 100 le développeur ajoutera au code source du programme, après toute instruction modifiant le contenu de la variable, une assertion déterminant si le contenu de cette dernière est supérieur à 100 et, en ce cas, affichant un message d'erreur puis stoppant l'exécution.

En langage C il écrira:

/* ici se trouve du code modifiant la valeur de la variable */
assert( nom_de_la_variable >= 100 );

Voir aussi précondition, postcondition, test unitaire, watchpoint, debug, contrainte.