c# - C#.NET のコントラクト フレームワークによる設計はどれですか?

Question

.NET 4 を使用した C# の個人プロジェクトで、契約による設計の使用を検討しています。

契約フレームワークによる設計でのMicrosoftの試みについて読んでいます： http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx

しかし、多くの選択肢があり、私は困惑しています。それぞれの長所と短所は何ですか？

Answer 1

本当に多くの選択肢がありますか？多くは聞いたことがありません。他にも AOP フレームワークはありますし、Spec# のようなものもありますが、Code Contracts のようなプロジェクトはあまり見たことがありません。

.NET 4 の一部としてコア コントラクト クラスを使用して、Microsoft によって活発に開発され、Visual Studio に統合されていることを考えると、代替手段を使用する本当にやむを得ない理由がない限り、私はそれを採用します。

私にとって Code Contracts の最大の欠点は、静的チェッカーが Visual Studio Premium/Ultimate でしか利用できないことです。