assertion, assertiva

Uma instrução booleana que, se o programa estiver funcionando corretamente, deverá avaliada como verdadeira. Se a condição for falsa, é que houve um erro e, normalmente, terminará emitindo a mensagem de erro apropriada. As assertivas são úteis para a depuração de programas, servindo também para documentar a forma como os programas deveriam operar.
+
..
../..