aserción

Restricción (expresión booleana simple) de cumplimiento obligatorio que se puede imponer a cualquier operación o a todo comportamiento de un objeto.