skip to main content
10.1145/1595696.1595747acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
demonstration

SCA: a semantic conflict analyzer for parallel changes

Published: 24 August 2009 Publication History

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

[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.

Cited By

View all
  • (2010)Using Constraints to Verify Properties of Rule ProgramsProceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops10.1109/ICSTW.2010.42(349-354)Online publication date: 6-Apr-2010

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ESEC/FSE '09: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
August 2009
408 pages
ISBN:9781605580012
DOI:10.1145/1595696
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 August 2009

Check for updates

Author Tags

  1. data flow
  2. semantic analysis
  3. version management

Qualifiers

  • Demonstration

Conference

ESEC/FSE09
Sponsor:
ESEC/FSE09: Joint 12th European Software Engineering Conference
August 24 - 28, 2009
Amsterdam, The Netherlands

Acceptance Rates

ESEC/FSE '09 Paper Acceptance Rate 32 of 217 submissions, 15%;
Overall Acceptance Rate 112 of 543 submissions, 21%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)2
Reflects downloads up to 03 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2010)Using Constraints to Verify Properties of Rule ProgramsProceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops10.1109/ICSTW.2010.42(349-354)Online publication date: 6-Apr-2010

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media