爲什麼不是默認

Question

我們剛剛開始一個新的項目安裝代號合約分析，我們熱衷於將從頭開始測試。

當我們注視哪個單元測試解決方案中使用我碰到代碼契約這似乎是他們提供了一個更簡單的方法來檢測你的空參數傳遞，而無需編寫獨立的單元測試方法來。

有一件事我很困惑，並且讓我不敢大舉投入代碼合同檢查，事實上分析工具需要從DevLabs下載，默認情況下不包含在VS2012中。

，這是什麼原因呢？

另外：看來人也報告說，對代號合約分析VS2012的支持顯得古怪，爲什麼會使用代碼契約，如果分析能力不是很好嗎？

Answer 1

我不能爲VS2012說話，但它完美罰款我在VS2010。存在這樣一個假警報提出了與代碼分析一個非常小的衝突，但你只需關閉該代碼分析規則，並依靠代碼契約靜態檢查（這是很多更全面）。

可能最好的地方是通過位於Code Contracts Website上的電子郵件地址獲得IDE集成的答案，但是我懷疑是因爲它的研究項目沒有將它作爲IDE的「官方」部分提供定期更新的能力。