Conversão de tabelas de decisão em procedimentos de teste sequencial eficientes

Procedimentos de teste sequencial para verificar a aplicabilidade das regras das tabelas de decisão encontradas na prática costumam ser árvores de caminho mínimo. Com base nesta observação, um algoritmo é desenvolvido para converter tabelas de decisão em árvores de decisão eficientes. Um critério é definido para estimar o custo esperado mínimo da árvore em termos das probabilidades das regras e dos custos dos testes das condições, sendo utilizado para chegar à árvore de decisão eficiente. O algoritmo é aplicável a tabelas de decisão de entrada limitada geral e também pode ser empregado para codificação manual.