Apoio ao teste estrutural e de mutação de software orientado a objetos e a aspectos

• Processo: 05/55403-6
• Modalidade de apoio: Bolsas no Brasil - Doutorado Direto
• Data de Início da vigência: 01 de outubro de 2005
• Data de Término da vigência: 31 de outubro de 2010
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Jose Carlos Maldonado
• Beneficiário: Fabiano Cutigi Ferrari
• 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
• Palavra(s)-Chave do Pesquisador: Engenharia De Software | Teste De Software

Resumo

Neste documento é apresentada uma proposta que visa a contribuir para o teste de software OO (Orientado a Objetos) e OA (Orientado a Aspectos) via plataforma Web. Do ponto de vista teórico a contribuição dar-se-á por meio da investigação e definição de critérios de teste de mutação para as fases de teste de unidade e de integração de software OA, e da análise de inclusão e de complexidade de aplicação desses critérios. Pretende-se ainda explorar o teste de integração no contexto do software OO e investigar estratégias de teste incrementais com o objetivo de reduzir o custo de aplicação dos critérios e preservando a eficácia na detecção de defeitos. Em relação à automatização de teste, a contribuição dar-se-á pela implementação de um ambiente Web de apoio ao teste estrutural e de mutação de unidade de programas OO e OA, que possa ser estendido para apoiar a fase de teste de integração, aplicando os critérios investigados e definidos. Do ponto de vista de estudos experimentais, será avaliado o custo-benefício de aplicação dos critérios de teste estrutural e de mutação investigados, no contexto de software OO e OA. Serão também realizadas análises comparativas de cobertura na utilização de uma mesma massa de testes para diferentes critérios sobre conjuntos de programas a serem caracterizados no escopo deste trabalho. (AU)

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)

BURROWS, RACHEL; TAIEANI, FRANCOIS; GARCIA, ALESSANDRO; FERRARI, FABIANO CUTIGI; IEEE. Reasoning about Faults in Aspect-Oriented Programs: A Metrics-based Evaluation. 2011 IEEE 19TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC), v. N/A, p. 10-pg., 2011-01-01. (05/55403-6)

FERRARI, FABIANO CUTIGI; RASHID, AWAIS; MALDONADO, JOSE CARLOS. Towards the practical mutation testing of AspectJ programs. SCIENCE OF COMPUTER PROGRAMMING, v. 78, n. 9, p. 1639-1662, SEP 1 2013. (05/55403-6)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

FERRARI, Fabiano Cutigi. Uma contribuição para o teste baseado em defeitos de software orientado a aspectos. 2010. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.