C# 对于使用任务并行库编写的程序的测试，是否有其他方法可以替代国际象棋

我正在寻找一种工具，它能让我用任务并行库结构编写的程序，在所有可能的交错（拼写？）上执行单元测试。或者，我如何使用dotNET 4.0运行国际象棋？

有一个商业工具，Jinx。它看起来类似于国际象棋，并且支持.NET4（根据文档）

http://wiki.corensic.com/wiki/Main_Page

上一次我看国际象棋只与VS2008合作。不确定项目的状态是什么

---

我没有使用过Jinx，但它看起来值得研究。YMMV.

因为交织是由并行线程生成的，所以很容易得到一组指数级的可能交织，在运行时枚举是不切实际的。通常的解决方案是使用静态分析工具来确定哪些交错很重要，并（巧妙地！）确保它们不会给您带来麻烦。所以你需要一种离线的分析工具。看来微软的人决定让谷歌更容易操作，并称之为Cuzz。“来到你附近的开发箱。”问题仍然是，今天我如何测试我的程序？