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.

Download Details

File Name: chessMSR.msi
Version: v0.1.30109.0
Date Published: 12 January 2009
Download Size: 8.25 MB
Note: By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license.

Tagged on:

Leave a Reply

Your email address will not be published. Required fields are marked *