.net - 您使用什么工具来进行合同设计？

Question

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

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

Answer 1

Spec# - 我自己没有尝试过，但我听说它非常棒。上面有一个很好的 DotNetRocks 播客，可以很好地在上班途中收听。

Answer 2

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

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