Verificação e Validação
por Murillo Mayk
1. Verificação
1.1. Estamos construindo Corretamente?
1.1.1. Inspeção
1.1.1.1. Verificação Estática
1.1.1.2. Revisão do Código
1.1.1.3. Analisadores Automáticos
1.1.2. Teste
1.1.2.1. Verificação Dinâmica
1.1.2.2. Localizar e corrigir Defeitos
1.1.2.3. Revelar presença de defeitos
1.1.2.4. Execução de teste para localizar falhas
1.1.2.5. Estrutural
1.1.2.5.1. Integração
1.1.2.5.2. Regressão
1.1.2.5.3. Baseados em erros (mutação)
2. Validação
2.1. O que Verificar?
2.1.1. Verificação
2.1.2. Realismo
2.1.3. Completeza
2.1.4. Consistência
2.1.5. Validade
2.2. Técnicas
2.2.1. Revisões Formais
2.2.1.1. Facilidade de Verificação
2.2.1.2. Facilidade de Compreensão
2.2.1.3. Rastreabilidade
2.2.1.4. Adaptabilidade
2.2.2. Prototipção
2.2.3. Casos de teste