Assertion

Uma expressão booleana em um ponto de um programa que se espera ser verdadeira. Se a asserção for falsa, o programa geralmente termina, indicando um erro de programação.