assertion

Une définition du Jargon Français.

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. Voir aussi précondition, postcondition.