Advertisement

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

  • Cheng Li
  • Zhe Dang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4262)

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.

Keywords

Model Check Decompositional Algorithm Primary System Behavioral Aspect Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co. (2003)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Giannakopoulou, D., Pasareanu, C., Barringer, H.: Assumption Generation for Software Component Verification. In: ASE 2002. IEEE Computer Society, Los Alamitos (2002)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    France, R., Ray, I., Georg, G., Ghosh, S.: An Aspect-Oriented Approach to Early Design Modeling. IEE Proceedings - Software 151(4), 173–185 (2004)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Alfaro, L., Henzinger, T.A.: Interface Automata. In: FSE 2001, pp. 109–120. ACM Press, New York (2001)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines - a Survey. Proceedings of the IEEE 84(8), 1090–1126 (1996)CrossRefGoogle Scholar
  14. 14.
  15. 15.
  16. 16.
    Sihman, M., Katz, S.: Model Checking Applications of Aspects and Superimpositions. In: FOAL 2003, Boston, Massachusetts, USA (March 2003)Google Scholar
  17. 17.
    Nakajima, S., Tamai, T.: Lightweight Formal Analysis of Aspect-Oriented Models. In: 5th AOSD Modeling With UML Workshop, San Francisco, California, USA (October 2004)Google Scholar
  18. 18.
    Ubayashi, N., Tamai, T.: Aspect-oriented Programming with Model Checking. In: AOSD 2002, Enschede, The Netherlands (April 2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Cheng Li
    • 1
  • Zhe Dang
    • 1
  1. 1.School of Electrical Engineering and Computer ScienceWashington State UniversityPullmanUSA

Personalised recommendations