chesstool Wiki Rss Feed

Updated Wiki: Home

tball — Mon, 11 Feb 2013 19:15:36 GMT

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

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 Lab.

Updated Wiki: Documentation

tball — Sat, 09 Feb 2013 02:00:50 GMT

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

Updated Wiki: Documentation

tball — Sat, 09 Feb 2013 02:00:22 GMT

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 Cannot resolve macro, invalid parameter 'input'.

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

Updated Wiki: Documentation

tball — Sat, 09 Feb 2013 02:00:06 GMT

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 Cannot resolve macro, invalid parameter 'input'.

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

Updated Wiki: Documentation

tball — Fri, 08 Feb 2013 18:45:34 GMT

Documentation

See the Resources directory in the Source Code
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

Updated Wiki: Documentation

tball — Fri, 08 Feb 2013 18:44:07 GMT

Documentation

See the Resources directory in the Source Code
An overview of CHESS
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

Updated Wiki: Documentation

tball — Fri, 08 Feb 2013 18:35:18 GMT

Documentation

See the Resources directory in the Source Code
Main entry points are mchess (for Managed Chess) and wchess (for Win32 CHESS)
- mchess.doc
- wchess.doc

Updated Wiki: Documentation

tball — Fri, 08 Feb 2013 18:34:38 GMT

Documentation

See the Resources directory in the Source Code
Main entry points are mchess (for Managed Chess) and wchess (for Win32 CHESS)
- http://download-codeplex.sec.s-msft.com/Download?ProjectName=chesstool&DownloadId=621211
- http://download-codeplex.sec.s-msft.com/Download?ProjectName=chesstool&DownloadId=621212

Updated Wiki: Documentation

tball — Fri, 08 Feb 2013 18:33:11 GMT

Documentation

See the Resources directory in the Source Code

Updated Wiki: Documentation

tball — Fri, 08 Feb 2013 18:32:16 GMT

Documentation

See the Resources directory in the Source Code

Updated Wiki: Documentation

tball — Fri, 08 Feb 2013 18:31:55 GMT

Documentation

See the Resources directory in the Source Code

Updated Wiki: Documentation

tball — Fri, 08 Feb 2013 18:17:35 GMT

Documentation

See the Resources directory in the Source Code

Updated Wiki: Home

tball — Fri, 08 Feb 2013 18:16:32 GMT

Requirements

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

Documentation

See 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.

Updated Wiki: Home

tball — Mon, 17 Dec 2012 06:54:03 GMT

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.

Updated Wiki: Documentation

tball — Mon, 17 Dec 2012 06:53:12 GMT

Documentation

Or, check the Resources directory in the Source Code

Updated Wiki: Home

tball — Wed, 13 Apr 2011 13:09:10 GMT

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.

Updated Wiki: Home

pelikhan — Sun, 16 May 2010 22:57:48 GMT

Requirements

Windows 2003 or later (only tested on 32bit,x86)
Visual Studio 2008, 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.

Updated Wiki: Documentation

madanmus — Fri, 14 May 2010 18:35:25 GMT

Documentation

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

Updated Wiki: Home

madanmus — Fri, 14 May 2010 18:35:19 GMT

Requirements

Windows 2003 or later (only tested on 32bit,x86)
Visual Studio 2008, 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.

Updated Wiki: Home

madanmus — Fri, 14 May 2010 18:34:17 GMT

Requirements

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

Documentation

See the CHESS documentation on the web (same as from the installer).

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.