你用什么工具做合同设计？

Question

我过去常常使用Microsoft CodeContracts三周，现在我的一半代码只是契约。我有几十个未经证实的地方，我不能使用运行时检查，因为IL重写会阻止覆盖工具显示某些内容，编译时间可以接受。

我不喜欢这个。现在似乎是寻求帮助的好时机。什么工具可以用于您的regalr开发？

Answer 1

Spec# - 我自己没有尝试过，但我听说它非常棒。有一个很好的DotNetRocks播客可以很好地倾听你的工作。

Answer 2

我使用Visual Studio 2010和代码契约。我每天都在使用一个包含20个大型项目的解决方案。是的，运行时检查会减慢编译时间。但我接受惩罚以获得更可靠的代码。我注意到您的消息是在2010年1月发布的。一年多之后，您可能会发现Code Contracts重写器的最新版本更快一些。但不要指望那里有奇迹。

此外，他们还改进了代码覆盖率报告代码合同使用代码的方式。因此，如果这是最让您困扰的一点，请务必再次使用最新版本。