assertion, assertiva
Uma instrução booleana que, se o programa estiver funcionando corretamente, deverá ser avaliada como verdadeira. Se a condição for falsa, é sinal 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.