Provisão de mecanismos automatizados para o teste de mutação de programas Java e Aspect J

• Processo: 11/21515-3
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de janeiro de 2012
• Data de Término da vigência: 31 de dezembro de 2013
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Fabiano Cutigi Ferrari
• Beneficiário: Filipe Gomes Leme
• 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 Mutação Metodologia e técnicas de computação Teste e avaliação de software Teste de mutação Estudos experimentais
• Palavra(s)-Chave do Pesquisador: ferramentas de teste de software | Programas Orientados a Aspectos | programas orientados a objetos | Teste de Mutação | Teste de Software | Engenharia de Software

Resumo

A condução da atividade de teste de software, com a aplicação de critérios de seleção de testes específicos, é fortemente dependente de ferramentas automatizadas. Essa dependência configura-se também para apoiar o teste de software produzido com base em abordagens recentes ou relativamente recentes de desenvolvimento. Exemplos dessas abordagens é a Programação Orientada a Objetos (POO) e a Programação Orientada a Aspectos (POA). Dentre os critérios de seleção de testes mais investigados, o teste de mutação destaca-se pela sua efetividade em revelar defeitos comumente introduzidos no software durante seu desenvolvimento. Embora esse critério tenha sido explorado nos contextos de POO e POA nos últimos anos, com ênfase nas linguagens Java e AspectJ, observa-se que as ferramentas disponíveis oferecem apoio limitado à sua aplicação. Neste documento apresenta-se uma proposta que visa a criar uma ferramenta de apoio ao teste de mutação para programas orientados a objetos, escritos em Java, e programas orientados a aspectos, escritos em AspectJ. Propõe-se estender uma ferramenta originalmente concebida para apoiar o teste de mutação de programas AspectJ. A versão pretendida da ferramenta possibilitará, por exemplo, a condução de estudos experimentais envolvendo diferentes estratégias de teste aplicadas a programas escritos nas linguagens-alvo, dessa forma consistindo em uma contribuição relevante para a área de Engenharia de Software.(AU)