Son un mecanismo exclusivo de la POO.

No pueden emplearse como invariantes de clase.

Permiten comprobar el incumplimiento de una especificación durante la ejecución.

Evitan la aparición de errores durante la ejecución.