En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador "piensa" que dicho predicado siempre se cumple en ese punto del flujo de programa.