Identifying semantic differences in AspectJ programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Identifying semantic differences in AspectJ programs

Full text

Pdf (493 KB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the eighteenth international symposium on Software testing and analysis table of contents

Chicago, IL, USA

SESSION: Static analysis and verification table of contents

Pages 25-36

Year of Publication: 2009

ISBN:978-1-60558-338-9

Authors

Martin Th Görg	Shanghai Jiao Tong University, Shanghai, China
Jianjun Zhao	Shanghai Jiao Tong University, Shanghai, China

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 36, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1572272.1572276 What is a DOI?

ABSTRACT

Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Java, there is no differencing algorithm for aspect-oriented languages so far. In this paper we propose an approach for difference analysis of aspect-oriented programs. The proposed algorithm contains a novel way of matching two versions of a module of which the signature has been modified. For this, we also work out a set of well defined signatures for the new elements in the AspectJ language. In accordance with these signatures, and with those existent for elements of the Java language, we investigate a set of signature patterns to be used with the module matching algorithm. Furthermore, we demonstrate successful application of a node-by-node comparison algorithm originally developed for object-oriented programs. Using a tool which implements our algorithms, we set up and evaluate a set of test cases. The results demonstrate the effectiveness of our approach for a large subset of the AspectJ language.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	abc. The AspectBench Compiler for AspectJ. http://abc.comlab.ox.ac.uk/.
	2	Hiralal Agrawal , Joseph R. Horgan, Dynamic program slicing, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.246-256, June 1990, White Plains, New York, United States
	3	Taweesup Apiwattanapong , Alessandro Orso , Mary Jean Harrold, A Differencing Algorithm for Object-Oriented Programs, Proceedings of the 19th IEEE international conference on Automated software engineering, p.2-13, September 20-24, 2004 [doi>10.1109/ASE.2004.5]
	4	Taweesup Apiwattanapong , Alessandro Orso , Mary Jean Harrold, JDiff: A differencing technique and tool for object-oriented programs, Automated Software Engineering, v.14 n.1, p.3-36, March 2007 [doi>10.1007/s10515-006-0002-0]
	5	Lodewijk Bergmans , Mehmet Aksit, Composing crosscutting concerns using composition filters, Communications of the ACM, v.44 n.10, p.51-57, Oct. 2001 [doi>10.1145/383845.383857]
	6	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	7	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, ACM SIGPLAN Notices, v.36 n.11, p.312-326, 11/01/2001
	8	Erik Hilsdale , Jim Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development, p.26-35, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976276]
	9	Susan Horwitz, Identifying the semantic and textual differences between two versions of a program, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.234-245, June 1990, White Plains, New York, United States
	10	Susan Horwitz , Thomas Reps, The use of program dependence graphs in software engineering, Proceedings of the 14th international conference on Software engineering, p.392-411, May 11-15, 1992, Melbourne, Australia [doi>10.1145/143062.143156]
	11	S. Huang and J. Zhao. A Framework and Tool Support for Control Flow Analysis of AspectJ Programs. Technical Report SJTU-CSE-TR-08-02, Shanghai Jiao Tong University, School of Software, Shanghai, 2008.
	12	Daniel Jackson , David A. Ladd, Semantic Diff: A Tool for Summarizing the Effects of Modifications, Proceedings of the International Conference on Software Maintenance, p.243-252, September 01, 1994
	13	V. N. Kas'janov. Distinguishing hammocks in a directed graph. Soviet Math. Doklady, 16:448--450, 1975.
	14	G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J. -M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In ECOOP 1997, volume 1241 of LNCS, pages 220--242, Heidelberg, 1997. Springer.
	15	J. Laski and W. Szermer. Identification of program modifications and its applications in software maintenance. In Proc. of the International Conference on Software Maintenance, pages 282--290, 1992.
	16	Karl Lieberherr , Doug Orleans , Johan Ovlinger, Aspect-oriented programming with adaptive methods, Communications of the ACM, v.44 n.10, p.39-41, Oct. 2001 [doi>10.1145/383845.383855]
	17	Gregg Rothermel , Mary Jean Harrold, A safe, efficient regression test selection technique, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.2, p.173-210, April 1997 [doi>10.1145/248233.248262]
	18	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]
	19	Software Theory and Practice Group (STAP), 2005. http://stap.sjtu.edu.cn/.
	20	Sun Microsystems. Java Platform, Standard Edition 6 API Specification. Sun Microsystems, 2007.
	21	Peri Tarr , Harold Ossher , William Harrison , Stanley M. Sutton, Jr., N degrees of separation: multi-dimensional separation of concerns, Proceedings of the 21st international conference on Software engineering, p.107-119, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302457]
	22	T. ter Braak. Extending Program Slicing in AspectOriented Programming with InterType Declarations. In 5th Twente Student Conference on IT, 2006.
	23	The AspectJ Team. The AspectJ Programming Guide. http://aspectj.org.
	24	Mark Weiser, Program slicing, Proceedings of the 5th international conference on Software engineering, p.439-449, March 09-12, 1981, San Diego, California, United States
	25	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]
	26	Fubo Zhang , Erik H. D'Hollander, Using Hammock Graphs to Structure Programs, IEEE Transactions on Software Engineering, v.30 n.4, p.231-245, April 2004 [doi>10.1109/TSE.2004.1274043]
	27	S. Zhang, Z. Gu, Y. Lin, and J. Zhao. Change Impact Analysis for AspectJ Programs. Technical report, Shanghai Jiao Tong University, School of Software, Shanghai, 2007.