我以前用过 Microsoft CodeContracts三个星期，现在我的一半代码只是契约(Contract)。我有几十个未经证实的地方，我不能使用运行时检查，因为 IL 重写阻止覆盖工具显示某些内容，并且编译时间不那么可接受。
我不喜欢这个。现在似乎是寻求帮助的好时机。您的常规开发使用什么工具？
最佳答案
Spec# - 我自己没有尝试过，但我听说它非常棒。上面有一个很好的 DotNetRocks 播客，可以很好地聆听开车上类。
关于.net - 您使用什么工具进行契约(Contract)设计？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/679138/