CHESS: Systematic Concurrency-Testing Tool

CHESS is a tool for systematically testing multithreaded code. Given a concurrent test, CHESS systematically drives the test along all possible thread interleavings. It uses model-checking techniques to explore effectively the enormously large state space of interleavings and provides quantified coverage guarantees. CHESS can check for assertions, deadlocks, livelocks, and data races. On finding an error, CHESS can reproduce the thread interleaving that exposed an error. CHESS is research tool developed by Microsoft Research. Visit http://research.microsoft.com/projects/CHESS/ for more information.

Details

TypeDownload
File NamechessMSR.msi
Versionv0.1.30626.0
Date Published1 July 2009
Download Size9.17 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.