Resumo
O Teste Baseado em Modelos (TBM) envolve a geração de casos de teste automatizada a partir de modelos produzidos durante o ciclo de desenvolvimento de software. Podem ser encontrados muitos métodos para geração de casos de teste a partir de Máquinas de Estados Finitos(MEFs). Porém, algumas classes de sistemas não podem ser representadas utilizando MEFs, e um dos modelos adotados para tal …