私はMicrosoft CodeContractsを3週間使っていましたが、今では私のコードの半分は単なる契約書です。 IL rewriteはカバレッジツールに何かを表示させてコンパイル時間をあまり許容しないので、私は何十もの未解決の場所を持っています。契約による設計を行うためにどのようなツールを使用していますか？
私はこれが好きではありません。そして、今は助けを求める良い時期です。あなたの定期的な開発にどんなツールが使用されますか？
Spec# - 自分で試したことはありませんが、それはかなり素晴らしいと聞きました。そこに良いDotNetRocksのポッドキャストは、良いドライブドライブで聞くことです。
私はコード契約でVisual Studio 2010を使用しています。そして私はそれに20の大きなプロジェクトがあるソリューションで毎日仕事をしています。はい、ランタイムチェックはコンパイル時間を遅くします。しかし、私は、より信頼性の高いコードを達成するためのペナルティを受け入れます。私はあなたのメッセージが2010年1月に投稿されたことに気付きました。それは1年以上経過しており、最新のCode Contractsリライタが幾分速いことがわかります。しかし、そこには奇跡を期待しないでください。
また、コード契約が使用されているコードについて、どのようにコードカバレッジがレポートされるかが改善されました。だから、それが最も気になる点であれば、間違いなく最新バージョンでもう一度試してみてください。
[使用するには十分に安定していますか？]（http://stackoverflow.com/questions/437383/is-spec-stable-enough-to-use） – James
Spec＃プロジェクトが放棄されましたコード契約libのために... – danfromisrael