Geração de Grafos de Sistema sob Demanda para Programas Java e AspectJ

• Processo: 11/08978-4
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de junho de 2011
• Data de Término da vigência: 31 de maio de 2012
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Otávio Augusto Lazzarini Lemos
• Beneficiário: Felipe Capodifoglio Zanichelli
• Instituição Sede: Instituto de Ciência e Tecnologia (ICT). Universidade Federal de São Paulo (UNIFESP). Campus São José dos Campos. São José dos Campos , SP, Brasil
• Vinculado ao auxílio: 10/15540-2 - Uso de técnicas de teste e de busca no desenvolvimento de software contemporâneo, AP.JP
• Assunto(s): Engenharia de software
• Palavra(s)-Chave do Pesquisador: Análise de programas orientados a aspectos | Análise de programas orientados a objetos | Engenharia de Software

Resumo

Muitas técnicas utilizadas no desenvolvimento de software - como teste estrutural, depuração, slicing e otimização de compiladores - envolvem a geração de representações intermediárias do programa criadas via análise de código-fonte. Algumas das atividades necessárias para a aplicação dessas técnicas - como o teste estrutural de integração - requerem a geração de grafos que englobam diversas partes do sistema (não somente um módulo ou conjunto pequeno de módulos, como no teste de unidade). A geração de tais tipos de modelos (chamados aqui de Grafos de Sistema) pode ser demasiadamente custosa, pois envolve a análise de todo o código-fonte do programa, muitas vezes realizadas em apenas um passo. Uma possível solução para esse problema é gerar o detalhamento do grafo de sistema sob demanda, ou seja, deixar que a análise detalhada de um módulo seja feita somente a medida em que o usuário necessite. A ideia principal é partir da hierarquia de chamadas a métodos em um sistema, representando as dependências dos módulos em alto nível - algo como um grafo de dependências -, e realizar a análise de fluxo de controle mais detalhada interativamente e sob demanda. Uma ferramenta que dê apoio à geração de tais tipos de modelos torna possível também a aplicação de várias abordagens de teste estrutural. Dessa forma, nesse projeto de Iniciação Científica será investigada a geração de grafos de sistema sob demanda para programas Java e AspectJ, procurando suprir também uma necessidade do projeto de pesquisa principal do orientador.