DMCA
A race-detection and flipping algorithm for automated testing of multi-threaded programs
| Venue: | In Haifa Verification Conference (2006 |
| Citations: | 18 - 3 self |
BibTeX
@INPROCEEDINGS{Sen_arace-detection,
author = {Koushik Sen and Gul Agha},
title = {A race-detection and flipping algorithm for automated testing of multi-threaded programs},
booktitle = {In Haifa Verification Conference (2006},
year = {},
pages = {166--182}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Testing concurrent programs that accept data inputs is notoriously hard because, besides the large number of possible data inputs, nondeterminism results in an exponentially large number of interleavings of concurrent events. In order to efficiently test shared-memory multithreaded programs, we develop an algorithm based on race-detection and flipping and illustrate how it can be combined with concolic execution (a simultaneous symbolic and concrete execution method) to test multi-threaded programs with data inputs. The goal of our algorithm is to minimize redundant executions while ensuring that all reachable statements in a program are executed. To achieve this, our algorithm explores all distinct causal structures of a multi-threaded program (i.e., the partial order among events generated during an execution). Because our algorithm is based on race-detection, it enables us to report potential data races and deadlocks. We have implemented our algorithm in a tool called jCUTE. We describe the results of applying jCUTE to real-world multi-threaded Java applications and libraries. In particular, we discovered several undocumented potential concurrency-related bugs in the widely used Java collection framework distributed with the Sun Microsystems ’ JDK 1.4. 1
Keyphrases
multi-threaded program automated testing data input large number redundant execution potential data race possible data input concrete execution method concurrent event sun microsystems jdk java collection framework several undocumented potential concurrency-related bug reachable statement partial order concurrent program nondeterminism result distinct causal structure simultaneous symbolic real-world multi-threaded java application concolic execution shared-memory multithreaded program
