Définition de assertion

n. f.
[PROG] 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. Cf. précondition, postcondition [NM].
Articles liés à celui-ci :
postcondition précondition prédicat
Articles voisins :
ASR - assemblage - assembler - assembleur - assemblier - assistance - assistant - assistant numérique - assistant personnel
- ASSP

Définition fournie par Le Jargon Français