APRENDER. PRATICAR. EVOLUIR.Conceito e mecanismo
Uma tabela de decisão explicita que ações correspondem a combinações de condições. Duas condições booleanas independentes produzem quatro combinações antes de considerar restrições. Se uma condição deixa de influenciar a ação num subconjunto, pode ser possível combinar regras, mas é preciso preservar o comportamento de todas as combinações representadas. Contar combinações cobertas ajuda a detetar lacunas; uma soma correta não prova equivalência se houver simultaneamente sobreposição e omissão. Mantém uma justificação para regras impossíveis. Para uma regra complexa de autorização, discute a tabela com quem define o comportamento antes de automatizar a geração de testes. Um modelo incorreto pode gerar muitos testes coerentes com o mesmo erro.
Aplicação guiada
Quando calcular o resultado exato é difícil, uma relação metamórfica pode comparar execuções relacionadas. Num exportador sem ordenação significativa e com totais em cêntimos inteiros sem taxas dependentes da sequência, reordenar os mesmos movimentos deve preservar o total. Se a relação falha, pelo menos uma premissa ou resultado precisa de investigação; a relação não identifica sozinha qual execução está errada. Completa técnicas dirigidas com exploração orientada por uma missão: investigar recuperação após interrupção, dentro de um tempo e ambiente definidos, registando observações e perguntas. Uma checklist apoia memória e experiência, mas precisa de evoluir com defeitos encontrados. Nem quantidade de regras, nem duração da sessão, nem geração automática substituem avaliação da evidência.
A mesma soma de cobertura pode esconder uma combinação repetida e outra em falta.
Armadilhas comuns
Modelo como verdade; relação sem premissas; exploração sem registo.
Tópicos relacionados: Análise e evidência no processo de teste · Prioridade e risco residual · Domínios, fronteiras e combinações
Escolhe modelos úteis e procura os seus limites.
Referência: Satisfice exploratory testing · CTAL-TA v4.0 (2025)