为什么不是默认

Question

我们刚刚开始一个新的项目安装代号合约分析，我们热衷于将从头开始测试。

当我们注视哪个单元测试解决方案中使用我碰到代码契约这似乎是他们提供了一个更简单的方法来检测你的空参数传递，而无需编写独立的单元测试方法来。

有一件事我很困惑，并且让我不敢大举投入代码合同检查，事实上分析工具需要从DevLabs下载，默认情况下不包含在VS2012中。

，这是什么原因呢？

另外：看来人也报告说，对代号合约分析VS2012的支持显得古怪，为什么会使用代码契约，如果分析能力不是很好吗？

Answer 1

我不能为VS2012说话，但它完美罚款我在VS2010。存在这样一个假警报提出了与代码分析一个非常小的冲突，但你只需关闭该代码分析规则，并依靠代码契约静态检查（这是很多更全面）。

可能最好的地方是通过位于Code Contracts Website上的电子邮件地址获得IDE集成的答案，但是我怀疑是因为它的研究项目没有将它作为IDE的“官方”部分提供定期更新的能力。