Testing Aspect-Oriented Programs with State Models

The new constructs in aspect-oriented programmingcan cause hazards to quality assurance. To detectaspect defects, this book presents a state-basedapproach to systematic modeling and testing ofaspects. We extend finite state machines withnotations for specifying incremental modificationaspects, integration aspects, and combinationaspects. We compose aspect models with their baseclass models through an explicit weaving mechanism.We adapt the round-trip path testing of object-oriented programs to the generation of testsequences from woven-state models. An incrementaltesting process is exploited to determine whetherfailures, if revealed, have to do with aspects. Wehave conducted a series of experiments based onthree applications. To further evaluate the fault-detection ability, we have created a significantnumber of mutants (or variation versions) by seedingone or more aspect variations (i.e., potentialfaults) and exploited multi-variation mutants toinvestigate the effect of interaction between aspectvariations. Our experiments indicate that our model-based testing approach is highly effective in thedetection of the seeded aspect faults.