您使用什么工具进行合同设计？
我曾经使用 Microsoft CodeContracts 三周，现在一半的代码只是合同。 我有几十个未经证实的地方，我无法使用运行时检查，因为 IL 重写会阻止覆盖工具显示某些内容，并且编译时间不太可接受。
我不喜欢这个。 看来现在是寻求帮助的好时机。 您的常规开发使用什么工具？
I used to use Microsoft CodeContracts for three weeks and now half of my code is just contracts. I have dozens of unproved places, I cannot use runtime-check because IL rewrite prevents coverage tool to show something and compile time is less then acceptable.
I do not like this. And seems now is a good time to ask a help. What tooling do use use for your regualr developments?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
Spec# - 我自己没有尝试过，但我听说它是太棒了。 上面有一个很好的 DotNetRocks 播客，非常适合在上班的路上收听。
Spec# - I have not tried it myself, but I hear it is pretty awesome. There is a good DotNetRocks podcast on it that is a good listen on the drive to work.
我使用带有代码契约的 Visual Studio 2010。 我每天都会使用一个包含 20 个大型项目的解决方案。 是的，运行时检查会减慢编译时间。 但我接受惩罚以实现更可靠的代码。 我注意到您的消息是在 2010 年 1 月发布的。一年多过去了，您可能会发现最新版本的 Code Contracts 重写器速度更快一些。 但不要指望那里会出现奇迹。
此外，他们还改进了代码覆盖率报告使用代码契约的代码的方式。 因此，如果这是您最困扰的一点，请务必使用最新版本再试一次。
I use Visual Studio 2010 with code contracts. And I work on a daily basis with a solution that has 20 large projects in it. Yes, the runtime checks slow down the compile time. But I accept the penalty to achieve more reliable code. I notice your message was posted in Jan 2010. It is over a year later, and you may find the latest release of Code Contracts rewriter is somewhat faster. But do not expect a miracle there.
Also, they have improved how code coverage reports on code where code contracts are used. So if that is the point that bothers you most, definitely try again with the latest version.