Teste estrutural de integração contextual (nível n) de programas orientados a objetos e a aspectos: especificação do grafo de fluxo de programa integrado e estudo de critérios de teste e restrições

• Processo: 08/08265-5
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de janeiro de 2009
• Data de Término da vigência: 31 de julho de 2009
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da 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): Java Engenharia de software
• Palavra(s)-Chave do Pesquisador: Aj | AspectJ | Jabuti | java | Teste de Integraçao | Teste de Programas Orientados a Aspectos | Teste estrutural | Engenharia de Software

Resumo

A pesquisa a ser realizada tem o objetivo de estender dois trabalhos de mestrados, um concluído e outro em andamento, no sentido de apoiar o teste estrutural de integrado de um método ou adendo, chamado de intermódulo (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 critérios 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. (AU)