Verificação, Validação e Teste

Verificação, validação e teste confrontam o artefato — requisito, modelo ou código — com o combinado e com o uso. Erro é o engano humano; defeito é o que ficou gravado; falha é o comportamento errado em execução.

Suítes e inspeções deste tópico — e a manutenção corretiva nos seguintes — partem dessa cadeia.

As páginas se agrupam em cinco blocos. O primeiro define o processo: leitura do texto sem executar, execução com valor esperado, e o retrabalho quando o defeito atravessa a fase.

O segundo separa conformidade ao especificado de adequação a quem usa, e descreve a revisão formal com papéis, ata e RTF.

O terceiro marca a fatia do produto — da unidade à aceitação — e no sistema recuperação, estresse e configuração.

O quarto escolhe entradas na especificação: um representante por classe e os pontos sobre e fora da borda.

O quinto gera evidência por outro objeto: sequência numa máquina de estados, ou um símbolo trocado no código.

Introdução ao Teste de Software classifica o desvio em erro, defeito e falha e decide se o exame lê o texto ou executa. Verificação vs. Validação confronta o artefato com o especificado ou com o uso, e fixa moderador, autor e inspetor na RTF.

Qual fatia do produto o caso exercita está em Tipos de Teste. Quais valores da especificação entram na suíte está em Técnicas de Design de Testes.

O conjunto {0, 1, 5, 6} numa escala 1–5 está em Técnicas de Design de Testes. A suíte do método W sobre a máquina está em Teste Baseado em Modelos.

Teste Baseado em Modelos pergunta se a implementação produz a saída de cada transição. Teste de Mutação pergunta se a suíte nota um símbolo trocado.