是否有替代CHESS用于测试使用任务并行库编写的程序

Question

我正在寻找一种工具，它允许我使用任务并行库构造编写的程序对所有可能的交错（拼写？）执行单元测试。或者，我怎么能用dotNET 4.0运行CHESS？

Answer 1

有一种商用工具，Jinx。它与CHESS类似，支持.NET 4（根据文档）。

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

最后我看起来CHESS只与VS 2008合作。不确定项目的状态是什么。

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