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

• Processo: 08/01938-4
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2009
• Data de Término da vigência: 28 de fevereiro de 2010
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Simone Do Rocio Senger de Souza
• Beneficiário: Jorge Francisco Cutigi
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Engenharia de software Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: Geração de Casos de Teste | Máquinas de Estados Finitos | Teste de Software | Engenharia de Software

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.

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

CUTIGI, JORGE FRANCISCO; SIMAO, ADENILSO; SOUZA, SIMONE R. S.. Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. COMPUTER JOURNAL, v. 59, n. 8, p. 1129-1143, AUG 2016. (08/01938-4)