CHESS: Systematic Concurrency Testing

Documentation

• The best way to get start running CHESS is using Alpaca, the CHESS runner, as follows
  • Build visual studio solution (run VS in Administrator mode)
  • launch bin\Alpaca.exe from the command line
  • File\Open on ConcurrencyTools\RegressionTesting\MChess\MChess.RegressionTests.csproj
  • Right click on a test to get a menu of options
• For more information on Alpaca, see this presentation

• An overview of CHESS and best practices
• Main tools are mchess (for Managed Chess) and wchess (for Win32 CHESS)
  • mchess.doc
  • wchess.doc
• Other useful tools are
  • Concurrency Explorer, for exploring traces