Invalidar evidências de teste quando uma edição posterior altera o que foi verificado

Objetivo

Evitar que um agente de programação reaproveite um resultado aprovado depois de edições que alteraram o código, a configuração, os fixtures ou as dependências que esse resultado realmente cobria.

Pré-requisitos

Use um registro de validação compacto com a revisão verificada ou as impressões digitais (fingerprints) dos arquivos, o comando, a identidade do ambiente, o resultado e os artefatos gerados relevantes. O registro pode ser temporário; não guarde segredos nem dados de teste completos.

Passos

1. Antes de uma verificação, identifique suas entradas no nível de detalhe necessário para a decisão. Inclua configuração e arquivos gerados quando influenciarem a execução; registrar apenas o nome do arquivo-fonte editado não basta para uma afirmação reproduzível.

2. Associe o resultado concluído a essas entradas. Distinga uma verificação que foi iniciada de uma que terminou e guarde o resultado real, não o estado de sucesso esperado.

3. Após cada edição posterior, determine quais evidências dependem das entradas alteradas. Marque imediatamente como desatualizados (stale) os resultados afetados, inclusive os de outro agente que tenha rodado sobre um checkout compartilhado anterior.

4. Rode de novo o menor conjunto de verificações que resolva a incerteza resultante, de acordo com os requisitos do projeto. Uma alteração apenas na documentação pode manter aplicáveis as evidências de execução, mas registre o raciocínio quando o limite não estiver claro.

5. Antes de informar a conclusão, compare o artefato entregue com o artefato validado. Teste esse controle fazendo de propósito uma edição no código-fonte depois de uma verificação aprovada e confirme que o relatório final se recusa a tratar o resultado antigo como atual.

Resultado esperado

Toda verificação aprovada que for declarada identifica o artefato que cobriu. Quem revisa consegue distinguir a validação atual, as evidências anteriores ainda pertinentes e os resultados desatualizados que exigem nova execução.

Limites e base de verificação

Esta é uma disciplina de evidências proposta, sem alegação de eficácia medida. O mapeamento de dependências pode estar incompleto, e por isso a incerteza pode justificar verificações mais amplas. Um resultado aprovado e atual comprova apenas os comportamentos exercitados por aquela verificação.