Spectrum-based fault localization for diagnosing concurrency faults

• Type: Article in International Conference Proceedings Book
• Date: 2013

Authors

Koca, F (Author) Other; Sozer, H (Author) Other; Abreu, R (Author) FEUP

Conference proceedings International

Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Pages: 239-254

25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013

Istanbul, 13 November 2013 through 15 November 2013

Indexing

ISI Proceedings

ISI Web of Science

Scopus - 8 Citations

Other information

Authenticus ID: P-008-YEE

DOI: 10.1007/978-3-642-41707-8_16

Abstract (EN): Concurrency faults are activated by specific thread interleavings at runtime. Traditional fault localization techniques and static analysis fall short to diagnose these faults efficiently. Existing dynamic fault-localization techniques focus on pinpointing data-access patterns that are subject to concurrency faults. In this paper, we propose a spectrum-based fault localization technique for localizing faulty code blocks instead. We systematically instrument the program to create versions that run in particular combinations of thread interleavings. We run tests on all these versions and utilize spectrum-based fault localization to correlate detected errors with concurrently executing code blocks. We have implemented a tool and applied our approach on several industrial case studies. Case studies show that our approach can effectively and efficiently localize concurrency faults. © IFIP International Federation for Information Processing 2013.

Language: English

Type (Professor's evaluation): Scientific