Teste de programas orientados a aspectos: uma abordagem estrutural para AspectJ

• Main Author: Lemos, Otávio Augusto Lazzarini
• Other Authors: Masiero, Paulo Cesar
• Format: Others
• Language: pt
• Published: Biblioteca Digitais de Teses e Dissertações da USP 2005
• Subjects: Aspect-Oriented Programming; Programação Orientada a Aspectos; Software Testing; Structural Testing; Teste de Programas Orientados a Aspectos; Teste de Software; Teste de Unidade; Teste Estrutural; Testing Aspect-Oriented Programs
• Online Access: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13042005-111234/

Em meados dos anos 90, alguns pesquisadores constataram a existência de certos interesses que, independente da técnica de programação utilizada ou da maneira como o sistema venha a ser decomposto, não se encaixam em módulos individuais, mas ficam espalhados por várias unidades do software (também chamados de interesses transversais). A programação orientada a aspectos (POA) foi concebida como uma proposta de resolução desse problema, a partir do uso de mecanismos que permitem o isolamento dos interesses transversais. Entretanto, por ser uma técnica nova, nesses primeiros anos os pesquisadores preocuparam-se em estabelecer os conceitos e técnicas básicos das linguagens orientadas a aspectos, deixando para uma segunda fase a investigação de outras características do desenvolvimento de programas orientados a aspectos, como métodos de projeto e abordagens de teste. Nesta dissertação é apresentada uma abordagem de teste estrutural para programas orientados a aspectos baseados na linguagem AspectJ, que pode contribuir para o aumento da confiança no software desenvolvido utilizando essa técnica e auxiliar o entendimento das novas construções e comportamentos envolvidos nesses programas. Modelos de fluxo de controle e de dados baseados no código-objeto resultante da compilação/ combinação de programas escritos na linguagem AspectJ são propostos, bem como nove critérios de teste baseados nesses modelos. Uma ferramenta desenvolvida para apoiar o teste estrutural de unidade de programas Java foi estendida para dar apoio aos modelos e critérios propostos nesta dissertação. Além disso, algumas propriedades do teste de integração de programas orientados a aspectos são discutidas teoricamente.