Busca avançada
Ano de início
Entree

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.

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

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, . (08/01938-4)