Title :
Using clone detection to identify bugs in concurrent software
Author :
Jalbert, Kevin ; Bradbury, Jeremy S.
Author_Institution :
Software Quality Res. Group, Univ. of Ontario Inst. of Technol., Oshawa, ON, Canada
Abstract :
In this paper we propose an active testing approach that uses clone detection and rule evaluation as the foundation for detecting bug patterns in concurrent software. If we can identify a bug pattern as being present then we can localize our testing effort to the exploration of interleavings relevant to the potential bug. Furthermore, if the potential bug is indeed a real bug, then targeting specific thread interleavings instead of examining all possible executions can increase the probability of the bug being detected sooner.
Keywords :
concurrency control; program debugging; program testing; active testing approach; bug patterns detection; clone detection; concurrent software; rule evaluation; Cloning; Computer bugs; Concurrent computing; Pattern matching; Software; System recovery; Testing; active testing; bug patterns; clone detection; concurrency; fault localization; static analysis; testing;
Conference_Titel :
Software Maintenance (ICSM), 2010 IEEE International Conference on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4244-8630-4
Electronic_ISBN :
1063-6773
DOI :
10.1109/ICSM.2010.5609529
