Testing Coverage Criteria for Aspect Oriented Programs

Testing is a fundamental issue for ensuring software quality. The characteristics of aspect-oriented programming may be sources for failures due to new kinds of faults in the code of aspects. New testing approaches and criteria, taking into account the aspectoriented features and constructs, are needed to capture the new kind of program failures. In this article the authors propose a set of testing coverage criteria based on interactions among the advices and the methods they affect. The proposed criteria are based on the interprocedural aspect control flow graph (IACFG), representing the interprocedural interactions among advices and methods. The results obtained in experiments carried out demonstrated the validity and effectiveness of the proposed criteria.