TESTING ASPECT-ORIENTED PROGRAMS WITH STATE MODELS; .: A Quality Approach for Separated Concerns - Softcover

Xu, Weifeng

Softcover

ISBN 10: 3639075595 ISBN 13: 9783639075595

Verlag: VDM Verlag Dr. Müller, 2008

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: VDM Verlag Dr. Müller
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3639075595
• ISBN 13: 9783639075595
• Einband: Taschenbuch
• Anzahl der Seiten: 96
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Zeitfracht Medien GmbH; info-medien@zeitfracht.de; ; Ferdinand-Jühlke-Straße 7; Erfurt; 99095; Deutschland