SCA

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

SCA: a semantic conflict analyzer for parallel changes

Full text

Pdf (428 KB)

Source

Foundations of Software Engineering archive
Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium table of contents

Amsterdam, The Netherlands

DEMONSTRATION SESSION: Tool demonstrations table of contents

Pages 291-292

Year of Publication: 2009

ISBN:978-1-60558-001-2

Authors

Danhua Shao	The University of Texas at Austin, Austin, TX, USA
Sarfraz Khurshid	The University of Texas at Austin, Austin, TX, USA
Dewayne E. Perry	The University of Texas at Austin, Austin, TX, USA

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

abstract references index terms

Tools and Actions:	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/1595696.1595747 What is a DOI?

ABSTRACT

Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we have designed and implemented a semantic conflict analyzer (SCA) to detect semantic interference between parallel changes. SCA combines data dependency analysis and program slicing. Data dependency analysis can disclose the semantic structure of the program. And program slicing can identify which semantic structures are impacted by a change. By comparing the overlap between impacts of two changes, SCA can detect if there are semantic interference between the two changes. An experiment with an industrial project shows that SCA can detect a significant portion of the faults in highly parallel changes. SCA is effective in predicting faults (based on "direct" semantic interference detection) in changes made within a short time period. SCA is both efficient (averaging less than two minutes) and scalable (requiring only the local context)

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	GrammaTech, Inc. http://www.grammatech.com/
	2	S. Horwitz, J. Prins, and T. Reps, "Integrating non-interfering versions of programs", ACM Transactions on Programming Languages and Systems, Vol. 11, No. 3, July 1989, pp 345--387
	3	D. E. Perry, H. P. Siy, and L. G. Votta, "Parallel Changes in Large Scale Software Development: An Observational Case Study", ACM Transactions on Software Engineering and Methodology, Vol. 10, No. 3, July, 2001, pp 308--337.
	4	D. Shao, S. Khurshid, and D. E. Perry, "Evaluation of semantic interference detection in parallel changes: an exploratory experiment", Proc. of the 23rd IEEE International Conference. on Software Maintenance (ICSM'07), Paris, France, October 2007, 74--83.
	5	G. L. Thione, "Detecting Semantic Conflicts in Parallel Changes", MSEE Thesis, The Department of Electrical and Computer Engineering, The University of Texas at Austin, December 2002. 98pp.