State-based testing of integration aspects

ABSTRACT

Aspect-oriented programming supports a variety of composition strategies, from the clearly acceptable to the questionable. One of the strategies is to make an aspect integrate separate concerns. Such integration aspects, like other aspects, may introduce various programming faults, including incorrect join points, pointcuts, and advice. This paper presents a preliminary study on the state-based testing of integration aspects. We exploit aspect-oriented state models for specifying integration aspects, compose state models of aspects and classes, and generate test cases for integration aspects from their state models. We exercise integration aspects through the interface of their base classes. We also discuss the issues of testing deeply crosscut integration aspects through the clients of their base classes.

REFERENCES

• 1: AJDT (AspectJ Development Tools). www.eclipse.org/ajdt/
• 2: Aldawud, O., Bader, F., and Elrad, T. Weaving with Statecharts. The Second International Workshop on Aspect Oriented Modeling. 2002.
• 3: Aldawud, T. and Bader, A. UML profile for aspect-oriented software development, The Third International Workshop on Aspect Oriented Modeling, 2003.
• 4: Alexander, R. T., Bieman, J. M., and Andrews, A. A. Towards the systematic testing of aspect-oriented programs, Technical Report, Colorado State University. http://www.cs.colostate.edu/~rta/publications/CS-04-105.pdf.
• 5: Robert V. Binder, Testing object-oriented systems: models, patterns, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 6: Wesley Coelho , Gail C. Murphy, ActiveAspect: presenting crosscutting structure, Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, p.1-4, May 16-16, 2005, St. Louis, Missouri
• 7: Elrad, T., Aldawud, O., and Bader, A. Expressing aspects using UML behavior and structural diagrams. In Aspect-Oriented Software Development (edited by Filman, R. E. et al.). Addison-Wesley, 2005.
• 8: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 9: Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C. V., Loingtier, J. M. and Irwin, J., Aspect-oriented programming. In Proc. of ECOOP'97, LNCS 1241, pp. 220--242, 1997.
• 10: Nathan McEachen , Roger T. Alexander, Distributing classes with woven concerns: an exploration of potential fault scenarios, Proceedings of the 4th international conference on Aspect-oriented software development, p.192-200, March 14-18, 2005, Chicago, Illinois [doi>10.1145/1052898.1052915]
• 11: Martin Rinard , Alexandru Salcianu , Suhabe Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA
• 12: Xie, T., Zhao, J., Marinov, D., and Notkin, D. Automated test generation for AspectJ programs, AOSD 2005 Workshop on Testing Aspect-Oriented Programs, Chicago, 2005.
• 13: Dianxiang Xu , Weifeng Xu, State-based incremental testing of aspect-oriented programs, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119680]
• 14: Zhao, J. and Rinard, M., System dependence graph construction for aspect-oriented programs, MIT-LCS-TR-891, Laboratory for Computer Science, MIT, 2003.
• 15: Jianjun Zhao, Data-Flow-Based Unit Testing of Aspect-Oriented Programs, Proceedings of the 27th Annual International Conference on Computer Software and Applications, p.188, November 03-06, 2003
• 16: Zhou, Y., Richardson, D., and Ziv, H. Towards a practical approach to test aspect-oriented software. In Proc. the 2004 Workshop on Testing Component-Based Systems (TECOS), Sept. 2004.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Testing tools (e.g., data generators, coverage testing)

General Terms:
Design, Verification

Keywords:
aspect-oriented modeling, aspect-oriented programming, integration aspects, integration testing, model-based testing, state model