The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2011 vol. 28)
ISSN: 0740-7459
pp: 75-83
Sebastian Burckhardt , Microsoft Research
Madan Musuvathi , Microsoft Research
Shaz Qadeer , Microsoft Research
Peli de Halleux , Microsoft Research
Thomas Ball , Microsoft Research
ABSTRACT
Developing concurrent software is hard. Testing concurrent software is harder. Although sequential program testing has many useful concepts, techniques, and tools (for example, assertions, unit testing, test-driven development, code coverage, and test generation tools), the testing workbench for concurrent programs is comparatively quite bare. Chess is a new testing tool for concurrent multithreaded programs. It repeatedly executes a multithreaded program, while guaranteeing predictable and deterministic scheduling and progressively exploring more schedules to uncover errors quickly.
INDEX TERMS
Chess, sequential program, concurrency, threads scheduling, testing, nondeterminism, software
CITATION
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball, "Predictable and Progressive Testing of Multithreaded Code", IEEE Software, vol. 28, no. , pp. 75-83, May/June 2011, doi:10.1109/MS.2010.64
91 ms
(Ver )