CHESS: Systematic Concurrency-Testing Tool

Language:
English
CHESS is a tool for systematically testing multithreaded code. Last published: July 1, 2009.
  • Version:

    v0.1.30626.0

    File Name:

    chessMSR.msi

    Date Published:

    5/11/2016

    File Size:

    9.2 MB

      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. Visit http://research.microsoft.com/projects/CHESS/ for more information.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit