Implementação de um módulo para a seleção de casos de teste para a ferramenta Plavis/FSM

• Processo: 05/03983-9
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de janeiro de 2006
• Data de Término da vigência: 31 de dezembro de 2006
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Adenilso da Silva Simão
• Beneficiário: Leonardo Filonônes Teixeira
• 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: Engenharia De Software | Geracao De Casos De Teste | Selecao De Casos De Teste | Teste De Software | Engenharia de Software

Resumo

A geração de casos de teste baseada modelos visa possibilitar que casos de teste seja derivados a partir de especificações formais, tais como Máquinas de Estados Finitos. Existem diversos métodos de geração, diferindo entre si em função das propriedades exigidas dos modelos e da quantidade de casos de teste gerados. A ferramenta Plavis/FSM tem o objetivo de integrar diversas ferramentas que apoiam a geração de casos a partir de Máquinas de Estados Finitos. Contudo, por questões de ordem pragmática, não é possível utilizar todos os casos de teste gerados para o teste de uma implementação. Evidencia-se, portanto, a necessidade de mecanismos que permitam a seleção de casos de teste, oferecendo critérios alternativos de seleção. O objetivo deste trabalho é projetar e implementar um módulo de seleção de casos de teste que possa ser integrado a ferramenta Plavis/FSM.