assertion

n. f.

[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. Cf. précondition, postcondition [NM].