Title :
A Framework for Systematic Testing of Multi-threaded Applications
Author_Institution :
Comput. Sci. Dept., California Inst. of Technol., Pasadena, CA, USA
Abstract :
We present a framework that exhaustively explores the scheduling nondeterminism of multi-threaded applications and checks for concurrency errors. We use a flexible design that allows us to integrate multiple algorithms aimed at reducing the number of interleavings that have to be tested.
Keywords :
multi-threading; program testing; concurrency error checking; interleaving reduction; multithreaded applications; systematic testing; Concurrent computing; Instruction sets; Memory management; Message systems; System recovery; Systematics; Testing; state filters; state space exploration; state space reductions; systematic testing;
Conference_Titel :
Dependable Computing (PRDC), 2011 IEEE 17th Pacific Rim International Symposium on
Conference_Location :
Pasadena, CA
Print_ISBN :
978-1-4577-2005-5
Electronic_ISBN :
978-0-7695-4590-5
DOI :
10.1109/PRDC.2011.48
