Con las aserciones un programador puede comprobar que un predicado se cumple en tiempo de ejecución.