Unweaving the impact of aspect changes in AspectJ

ABSTRACT

Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nature of the weaving process makes difficult to figure out the augmented system behavior. It is difficult, for example, to understand the effect of a change just by reading the source code. In this paper, we focus on detecting the run time impact of the editing actions on a given set of test cases. Our approach considers two versions of an AspectJ program and a test case. Our tool, implemented on top of the abc weaver and the AJANA framework is able to map semantics changes to the atomic editing changes in the source code.

REFERENCES

• 1: Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Jennifer Lhoták , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, abc: an extensible AspectJ compiler, Proceedings of the 4th international conference on Aspect-oriented software development, p.87-98, March 14-18, 2005, Chicago, Illinois [doi>10.1145/1052898.1052906]
• 2: Robert S. Arnold, Software Change Impact Analysis, IEEE Computer Society Press, Los Alamitos, CA, 1996
• 3: Antonio Castaldo D'Ursi , Luca Cavallaro , Mattia Monga, On bytecode slicing and aspectJ interferences, Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p.35-43, March 13-13, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1233833.1233839]
• 4: Robert E. Filman , Daniel P. Friedman, Aspect-Oriented Programming is Quantification and Obliviousness, RIACS, 2000
• 5: Mary Jean Harrold , James A. Jones , Tongyu Li , Donglin Liang , Alessandro Orso , Maikel Pennings , Saurabh Sinha , S. Alexander Spoon , Ashish Gujarathi, Regression test selection for Java software, Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.312-326, October 14-18, 2001, Tampa Bay, FL, USA
• 6: 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
• 7: Marius Marin , Leon Moonen , Arie van Deursen, An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW, Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation, p.101-110, September 30-October 01, 2007 [doi>10.1109/SCAM.2007.4]
• 8: Xiaoxia Ren , Ophelia C. Chesley , Barbara G. Ryder, Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis, IEEE Transactions on Software Engineering, v.32 n.9, p.718-732, September 2006 [doi>10.1109/TSE.2006.90]
• 9: Xiaoxia Ren , Fenil Shah , Frank Tip , Barbara G. Ryder , Ophelia Chesley, Chianti: a tool for change impact analysis of java programs, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 24-28, 2004, Vancouver, BC, Canada
• 10: Barbara G. Ryder , Frank Tip, Change impact analysis for object-oriented programs, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.46-53, June 2001, Snowbird, Utah, United States [doi>10.1145/379605.379661]
• 11: Maximilian Stoerzer , Barbara G. Ryder , Xiaoxia Ren , Frank Tip, Finding failure-inducing changes in java programs using change classification, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA [doi>10.1145/1181775.1181783]
• 12: R. Vallée-Rai, L. Hendrena, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot -- a Java optimization framework. In Proc. of CASCON'99, 1999.
• 13: Tao Xie , Jianjun Zhao, A framework and tool supports for generating test inputs of AspectJ programs, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119681]
• 14: 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]
• 15: Guoqing Xu , Atanas Rountev, Regression Test Selection for AspectJ Software, Proceedings of the 29th international conference on Software Engineering, p.65-74, May 20-26, 2007 [doi>10.1109/ICSE.2007.72]
• 16: Guoqing Xu , Atanas Rountev, AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software, Proceedings of the 7th international conference on Aspect-oriented software development, March 31-April 04, 2008, Brussels, Belgium [doi>10.1145/1353482.1353488]
• 17: Andreas Zeller, Yesterday, my program worked. Today, it does not. Why?, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.253-267, September 06-10, 1999, Toulouse, France
• 18: S. Zhang, Z. Gu, Y. Lin, and J. Zhao. Change impact analysis for AspectJ programs. In Proc. of ICSM 2008.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques

General Terms:
Languages, Verification

Keywords:
aspectj, change impact analysis, software maintenance