output assertion 0 afirmación de salida, aserto - Expresión lógica que especifica una o más condiciones que la salida de un programa debe satisfacer para que el programa sea correcto. 1997-02-26 input assertionafirmación de entrada, aserción -