Contextual integration structural testing (Level N) of object-oriented and aspect oriented programs: specification of the integrated control flow graph and study of testing criteria and restrictions.

• Grant number: 08/08265-5
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: January 01, 2009
• End date: July 31, 2009
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• 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

A pesquisa a ser realizada pelo tem o objetivo de estender dois trabalhos de mestrados, um concluído e outro emandamento, no sentido de apoiar o teste estrutural de integrado de um método ou adendo, chamado de intermodulo (intermétodo e interadendo). Para isso se deve criar um grafo integrado de todos os métodos chamados direta e indiretamente por um método inicial e de todos os adendos que interceptam os métodos envolvidos na cadeia de chamadas. Há problemas na definição desse grafo e algumas situações deverão ser estudadas com detalhes levando a restrições a serem impostas ao grafo, como no caso de métodos recursivos, adendos do tipo around e também o controle das passagens de parâmetros entre as chamadas. Esses estudos permitirão a definição formal de um grafo integrado e, portanto, levam a um algoritmo que poderá ser implementado. Serão definidos também criterios de integração baseados nesse grafo e iniciada a implementação de algoritmos básicos para estender a ferramenta JaBUTi/AJ para apoiar a aplicação desses critérios.