Abstract
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.
The work was supported in part by NSF Grant CCF-0430531.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co. (2003)
Barra, E., Gnova, G., Llorens, J.: An Approach to Aspect Modeling with UML 2.0. In: 5th AOSD Modeling With UML Workshop, San Francisco, California, USA (October 2004)
Cooper, K., Dai, L., Deng, Y.: Modeling Performance as an Aspect: a UML Based Approach. In: 4th AOSD Modeling With UML Workshop, San Francisco, California, USA (October 2003)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
Xie, G., Dang, Z.: Testing Systems of Concurrent Black-boxes: a Decompositional Approach. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 170–186. Springer, Heidelberg (2006)
Giannakopoulou, D., Pasareanu, C., Barringer, H.: Assumption Generation for Software Component Verification. In: ASE 2002. IEEE Computer Society, Los Alamitos (2002)
Fayad, M.E., Ranganath, A.: Modeling Aspects using Software Stability and UML. In: 4th AOSD Modeling With UML Workshop, San Francisco, California, USA (October 2003)
France, R., Ray, I., Georg, G., Ghosh, S.: An Aspect-Oriented Approach to Early Design Modeling. IEE Proceedings - Software 151(4), 173–185 (2004)
Hammouda, I., Pussinen, M., Katara, M., Mikkonen, T.: UML-based Approach for Documenting and Specializing Frameworks Using Patterns and Concern Architectures. In: 4th AOSD Modeling With UML Workshop, San Francisco, California, USA (October 2003)
Alfaro, L., Henzinger, T.A.: Interface Automata. In: FSE 2001, pp. 109–120. ACM Press, New York (2001)
Kande, M.M., Kienzle, J., Strohmeier, A.: From AOP to UML - a Bottom-up Approach. In: 3rd AOSD Modeling With UML Workshop, San Francisco, California, USA (October 2002)
Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines - a Survey. Proceedings of the IEEE 84(8), 1090–1126 (1996)
Sihman, M., Katz, S.: Model Checking Applications of Aspects and Superimpositions. In: FOAL 2003, Boston, Massachusetts, USA (March 2003)
Nakajima, S., Tamai, T.: Lightweight Formal Analysis of Aspect-Oriented Models. In: 5th AOSD Modeling With UML Workshop, San Francisco, California, USA (October 2004)
Ubayashi, N., Tamai, T.: Aspect-oriented Programming with Model Checking. In: AOSD 2002, Enschede, The Netherlands (April 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, C., Dang, Z. (2006). Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds) Formal Approaches to Software Testing and Runtime Verification. FATES RV 2006 2006. Lecture Notes in Computer Science, vol 4262. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11940197_7
Download citation
DOI: https://doi.org/10.1007/11940197_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49699-1
Online ISBN: 978-3-540-49703-5
eBook Packages: Computer ScienceComputer Science (R0)