Verificação do modelo

Controle de qualidade que procura garantir que o modelo usado para a construção do banco de dados gerará um bom produto.