Resumo
Geração de casos de teste baseada em modelos visa à possibilidade de derivação de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos (MEF). Existem diversos critérios de geração, diferindo entre si em função das propriedades exigidas das MEFs, dos custos dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definiç…