Verificação de que o estado atual de um objeto satisfaz as propriedades invariantes programador-definidos da sua classe.