Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL

Abstract

Resumo: Esse trabalho apresenta uma abordagem de teste de software orientado a objetos baseado em especificações OCL e Programação Orientada a Aspectos (POA) a abordagem utiliza as pré e pós-condições definidas para os métodos das classes, e possui dois usos principais: a geração de dados de teste a partir da especificação para o teste da implementação; e a validação da especificação e da implementação por meio da análise de especificações que sofreram mutação. O teste de software baseado na especificação contribui para identificar defeitos na especificação relacionados a caminhos ausentes. O teste de software utilizando a técnica baseada em defeitos e instrumentado com a POA apresenta como vantagens a não alteração da classe em teste, e um menor custo de execução. Para validar a abordagem proposta foi implementada a ferramenta MuSA (teste de Mutação baseado em especificações OCL e Aspectos). A ferramenta MuSA foi utilizada em um experimento de avaliação que comprovou a aplicabilidade da abordagem e permitiu a comparação com critérios estruturais.

Abstract: This work presents a testing approach for object oriented software, which is based on OCL and Aspect-Oriented Programming (AOP). It uses pre and post-conditions defined to the class methods under test. Two main uses are introduced to the approach: to generate test data from the specification to test the implemented code, and to validade the especification and the implementation by considering mutated specifications. The test data based on the specification aim at the discovering of missing paths in the program. The use of AOP to instrument the fault based testing is advantageous because the code of the classes do not need to be altered and a lower number of executions is required. To validate the proposed approach, a tool named MuSA (Mutation testing based on OCL Specifications and Aspects) was implemented and used in an evaluation experiment. The evaluation results show the applicability of the approach and allow comparasion with structural criteria.