コード契約を開始する場所

Question

私はC＃コード契約の素晴らしいデモを見ました。私はそれらをmayコードに実装したいと思っています。私はすでに自分のコードでそれらを持っていたらいいと思う。どこから始めますか？

私はデモから印刷物を取り除くことができませんでした。任意の示唆された読書？

コード契約のある初心者のための提案はありますか？

ご協力いただきありがとうございます。

Answer 1

私はDesign by Contractを記述するこのWikiから始めます。その後、MS' implementationのドキュメントを参照してください。あなたのコードに実際にそれを働かせるには、私はあなたがほとんどどこからでも始めることができると思いますが、おそらく影響が最も少ないエリアから始めましょう。したがって、必要に応じて、Contract.Requiresをいくつか追加して引数を設定してください。あなたがもっと快適になると、それらをインターフェイスに追加できますが、これは物事を吹き飛ばすかもしれないことに気づくでしょう...しかし良い方法です。エラーまたは警告はDbCに違反している可能性があり、おそらくLiskov Substitution Principleです。

Answer 2

Code Contractsプロジェクトページで提供されているuser manualは、コード契約の使い方と可能性について非常によく説明しています。