CHESS: Systematic Concurrency Testing

Project Description
CHESS is a tool for systematic and disciplined concurrency testing. Given a concurrent test, CHESS systematically enumerates the possible thread schedules to find hard-to-find concurrency errors, including assertion violations, deadlocks, data-races, and atomicity violations.

Requirements

• Windows 2003 or later (only tested on 32bit,x86)
• Visual Studio 2010, with C# and C++ features installed

Documentation

• See the CHESS documentation on the web.
• Or, check the Resources directory in the Source Code

More Information

• See CHESS home page for news about CHESS.
• Visit the CHESS Blog on MSDN for posts about how to use CHESS
• Visit the CHESS Forum on MSDN to see what people are saying about CHESS.

Questions

Send email to chequers for questions and bugs.

This project is sponsored by the Research in Software Engineering Group (RiSE) based in the Microsoft Research Redmond Laboratory.