为什么默认情况下不安装代码合同分析

Question

我们刚刚开始一个新项目，我们非常希望从头开始进行测试。

虽然我们正在研究使用哪种单元测试解决方案，但我遇到了代码契约，它们似乎提供了一种更简单的方法来检查诸如空参数传递之类的东西，而无需编写独立的单元测试方法。

我有点困惑并且让我担心在代码合同检查中投入大量资金，这是因为分析工具需要从DevLabs下载并且默认情况下不包含在VS2012中。

这是什么原因？

此外：似乎有人报道VS2012对代码合同分析的支持似乎很不稳定，如果分析能力不是很好，为什么会使用代码合同呢？

Answer 1

我不能代表VS2012，但它在VS2010中对我来说非常好。代码分析存在一个非常小的冲突，即引发了错误警报，但您只需关闭代码分析规则并依赖代码合同静态检查（这更加全面）。

获得IDE集成答案的最佳位置可能是通过位于Code Contracts Website的电子邮件地址，但我怀疑这是因为它是一个研究项目，而不是将其作为“官方”部分。 IDE提供了更多定期更新的功能。