assertion 0 afirmación, aserción, aserto Expresión lógica que especifica un estado de programa que debe cumplirse o un conjunto de condiciones que deben satisfacer las variables del programa en un punto determinado durante su ejecución. 1996-11-14 assertion checkingcontrol de la aserción assertion testingprueba de aserción instrumentationinstrumentación invariantinvariante proof of correctnessprueba de corrección