Contextual (level N) structural Integration testing of object-oriented and aspect-oriented programs: definitions, implementation and evaluation

• Grant number: 09/03558-7
• Support Opportunities: Scholarships in Brazil - Master
• Start date: August 01, 2009
• End date: April 30, 2011
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Paulo Cesar Masiero
• Grantee: Bruno Barbieri de Pontes Cafeo
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil

Abstract

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.

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

CAFEO, Bruno Barbieri de Pontes. Contextual integration structural testing of object-oriented and aspect-oriented programs. 2011. Master's Dissertation - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.