ASPECT FLOW GRAPH FOR TESTING ASPECT-ORIENTED PROGRAMS

Our research deals with combining state models (class and aspect) and flow graphs (method and advice) as an aspect scope coverage model for producing test suites. Essentially, the result is a hybrid testing model which is a combination of a responsibility-based testing model and an implementation-based testing model. We are interested in deriving test suites that cross classes and aspects. The approach consists of merging the class state model and the aspect state model into an aspect scope state model (ASSM). The ASSM allows us to trace the behaviour of aspect-oriented programs (AOP) by identifying sequence results of the states transitions of the AOP. Next, guided by ASSM, the transitions between the class and the aspect, and corresponding actions, are substituted by the advice and method flow graphs to construct an aspect flow graph (AFG). In addition to the AFG, a transition tree for the generic collection of behaviour model is generated in terms of ASSM and an invariant boundary set of the parameters alone with the parameter relationships that determine behaviours. Given the AFG and the transition tree, we can refine more concert, executable code-based test suites.