Investigação de Melhorias em Métodos de Geração de Casos de Teste a partir de Modelos

Resumo

O Teste baseados em Modelos busca produzir artefatos de teste a partir de modelos produzidos ao longo do desenvolvimento de software. Dentre osdiversos modelos disponíveis, Máquinas de Estados Finitos têm sido amplamente utilizadas para a geração de casos de teste. Existem diversosmétodos de geração têm sido propostos ao longo das últimas quatro décadas, com algumas contribuições recentes. Neste plano de pesquisa, propõe-se a aplicação de condições de suficiência a melhoria de métodos de geração de casos de teste a partir de Máquinas de Estados Finitos. Serão exploradas condições definidas em trabalhos recentes, as quais devem permitir que conjuntos de casos de teste menores sejam gerados, mantendo-se a mesma efetividade em revelar erros.