back to top
Official Microsoft CHESS Page
Click
here
to go to the official CHESS page at
Microsoft Research.
back to top
Requirements
The requirements for CHESS are:
Windows 2003 or later, 32 bit,
x86 and Microsoft Visual Studio 2008.
back to top
Installation
-
Install Microsoft Visual Studio 2008.
-
Download the MSR release
here
of CHESS (now with data race detection)
and run the installer.
There are two command line tools that
comprise CHESS. To use them, open a
Microsoft Visual Studio 2008 Command
Line Prompt.
- mchess.exe
- wchess.exe
Look to the online documentation from the
Microsoft Web Site
to use these tools.
back to top
Test the Installation
After you finish with the CHESS installer, you need to
verify that the installer installed correctly. You can
perform the test yourself. The steps are as follows:
-
Unzip the Tests folder from your distribution.
After you unzip, you will have the subdirectories
Tests\Win32 and Tests\Managed.
-
Open a Visual Studio 2008 Command Prompt.
-
Test the command line tool wchess.exe.
-
Using the Visual Studio 2008 Command
Prompt, change the current working
directory using the 'cd' command to
change the directory to Tests\Win32.
-
Enter in the following command:
nmake all
This will build the required programs,
run CHESS, and record the results.
-
To see the results, type:
nmake diff
-
Test the command line tool mchess.exe.
This will be very similar to step 3.
-
Using the Visual Studio 2008 Command
Prompt, change the current working
directory using the 'cd' command to
change the directory to Tests\Managed.
-
Enter in the following command:
nmake all
This will build the required programs,
run CHESS, and record the results.
-
To see the results, type:
nmake diff
-
Verify that the results from step 3 and
step 4 are the same.
-
Now, test the Visual Studio integration
of CHESS. Open the solution:
Tests\Managed\UnitTest\UnitTest.sln
and select
Test > Run > All Tests in Solution
from the drop down menus.
If everything worked, it's installed correctly.
back to top
Use CHESS with a test application.
To learn how to use CHESS within Visual Studio, view
this tutorial using a bank example
here.