Teste estrutural de integração contextual (Nível N) de programas orientados a objetos e a aspectos: definições, implementação e avaliação

• Processo: 09/03558-7
• Linha de fomento: Bolsas no Brasil - Mestrado
• Vigência (Início): 01 de agosto de 2009
• Vigência (Término): 30 de abril de 2011
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Paulo Cesar Masiero
• Beneficiário: Bruno Barbieri de Pontes Cafeo
• 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 Java

Resumo

O objetivo deste plano de trabalho é concluir uma parte signficativa de um projeto de pesquisa que visa a apoiar o teste estrutural de unidade e de integração de programas orientados a aspectos (AspectJ). Neste projeto de mestrado será definido um grafo integrado contextual (ou de nível N) e critérios de teste de integração para o código integrado contextualmente (ou inlined) em qualquer nível de profundidade de chamadas. Além disso, a ferramenta JaBUTi será estendida para implementar esses critérios (todos-nós-integrados-np, todas-arestas-integradas-np e todas-def-uso-np). A interface da ferramenta será redefinida, de tal forma que se N=0 então o teste será de unidade (que é o trabalho de Lemos [4]), se N=1, será o trabalho de Neves (mestrado em andamento) e se a escolha for pair-wise, será o trabalho de Franchin [1,10]). Espera-se também neste projeto que pelo menos um estudo de caso bem detalhado seja realizado, para testar a eficácia desses critérios. Planeja-se fazer um experimento em que um programa realístico e relativamente complexo seja testado, usando uma estratégia que considera testar primeiramente as unidades e depois as integrações de nível 1, 2, ...,p e também a estratégia de Lemos baseada em conjuntos de junção. Serão estudadas duas possibilidades de experiemtos: uma usando alunos de pós-graduação como sujeitos e outra sendo feita pelo próprio mestrando, com base em semeadura de erros e em geração automática de casos deteste. Serão registrados e analisados a quantidade e os tipos de erros encontrado em cada fase de teste, para verificar a eficácia de cada critério.

Publicações acadêmicas

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

CAFEO, Bruno Barbieri de Pontes. Teste estrutural de integração contextual de programas orientados a objetos e a aspectos. 2011. Dissertação de Mestrado - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.