swMATH ID: 9613
Software Authors: Edelstein, Orit; Farchi, Eitan; Goldin, Evgeny; Nir, Yarden; Ratsaby, Gil; Ur, Shmuel
Description: Framework for testing multi-threaded Java programs. Finding bugs due to race conditions in multi-threaded programs is difficult, mainly because there are many possible interleavings, any of which may contain a fault. In this work we present a methodology for testing multi-threaded programs which has minimal impact on the user and is likely to find interleaving bugs. Our method reruns existing tests in order to detect synchronization faults. We find that a single test executed a number of times in a controlled environment may be as effective in finding synchronization faults as many different tests. A great deal of resources are saved since tests are very expensive to write and maintain. We observe that simply rerunning tests, without ensuring in some way that the interleaving will change, yields almost no benefits. We implement the methodology in our test generation tool - ConTest. ConTest combines the replay algorithm, which is essential for debugging, with our interleaving test generation heuristics. ConTest also contains an instrumentation engine, a coverage analyzer, and a race detector (not finished yet) that enhance bug detection capabilities. The greatest advantage of ConTest, besides finding bugs of course, is its minimal effect on the user. When ConTest is combined into the test harness, the user may not even be aware that ConTest is being used.
Homepage: http://onlinelibrary.wiley.com/doi/10.1002/cpe.654/abstract
Related Software: veriSoft; Eraser; Java PathFinder; ISP; Con2colic; Snugglebug; CUTE; Boogie; DART; STP; jCUTE; Jalangi; CATG; Looper; YOGI; MODIST; JPF-SE; SpecExplorer; BitBlaze; CCured
Cited in: 5 Documents

Citations by Year