Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems

To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-oriented system specified by a number of primary labeled transition systems (some of them are black-boxes) and aspects. Our algorithms combine automata manipulations over the aspects and primary systems with black-box testing over each individual black-box, but without generating the woven system.

• Type: Conference
• Year: 2006
• Where: FATES
• Authors: Cheng Li, Zhe Dang
• Keywords: Aspect-oriented System, FATES 2006, Multitape Automata, Primary Labeled Transition, Software Engineering