design-by-contract

7熱

5答えて

契約による設計のベストプラクティスは何ですか？ 1）総プログラミング：大学は、私たちは問題に取り組むには3つの方法を学んだ（OO環境での）契約paradigma によってデザインを学んだその効果ですべての可能な例外的なケースをカバー（参照：数学） 2）公称プログラミング：のみ「約束」前提条件が満たされている右の効果。） 3（そうでなければ効果は未定義である）守備プログラミング：方法今の違法

9熱

3答えて

コード契約、あなたはそれらを使用しますか？

マイクロソフトはVisual Studioと統合されたツールCode Contractsをリリースしました。これにより、.Netコードの契約を定義し、ランタイムとのコンパイル時間の確認ができます。どのように使用されているかを示すvideo on Channel 9を見てください。今ではアドオンだが、それは.NET 4.0で基本クラスライブラリの一部となるためにこれはあなた自身が使用して見る何

0熱

1答えて

asp.netアプリケーションの現在の有効な検証フレームワークは何ですか？

DRYアプローチを確実にするために、すべての検証ロジックはもちろんビジネスロジック（モデル）に入る必要があります。どのように検証フレームワークからJavaScriptを生成することができ、ビューに提示検証メッセージですエラーメッセージをローカライズすることができるはずです。 JQueryとの互換性は完璧ですフレームワークはDbCのアプローチと互換性がありますか？編集：私は、これは今まで素

11熱

2答えて

.NET 4.0の契約によるデザインは、どのようにエッフェルと比較されますか？

私はバートランド・メイヤー本人以外なしで大学でエッフェルを教えられる「喜び」を持っていただけで.NET 4.0が契約による設計が含まれることをお読みください。は、いくつかの洞察力を持つ誰もが、これはエッフェルの既存の機能セットと比較されますどのように強力に手の込んだことはできますか？インタフェースの契約はサポートされますか？

1熱

2答えて

契約は、静的型のものと同様に、動的言語にも容易に適用できますか？

タイトルはかなり要点を要約しています。不十分/未診断の重大な障害を起こさずに動的言語を使用する場合、契約強制を有効または無効にすることが可能かどうかについて興味がありますか？もしそうでなければ、DbCの強制力の除去可能性の精神に従い、オプション/リムーバブルではなく、コンポーネントのロジックの必須部分であると私には思えます。

5熱

3答えて

自動定理証明で使用するためのCでの契約による設計

私はCプロジェクトのいくつかに取り組んでいます。コードの検証に自動定理証明を使用したいと思います。理想的には、ATPを使用して関数契約を検証するだけです。 design by contractスタイルのコーディングを可能にするC/gccや外部ソフトウェア/パッケージ/ etcの機能はありますか？もしそうでなければ、それだけで私自身で始めることができます。私のリファレンスはMSRのSpec＃やS

4熱

2答えて

契約による設計を行うためにどのようなツールを使用していますか？

私はMicrosoft CodeContractsを3週間使っていましたが、今では私のコードの半分は単なる契約書です。 IL rewriteはカバレッジツールに何かを表示させてコンパイル時間をあまり許容しないので、私は何十もの未解決の場所を持っています。私はこれが好きではありません。そして、今は助けを求める良い時期です。あなたの定期的な開発にどんなツールが使用されますか？

1熱

3答えて

引数チェックまたはjava（GWT）での契約による設計。どこから始めれば？

私はGWTをプレイしています。私は基本的な議論のチェックを探しています。私は不変量や結果を保証する必要はありません。トピックに関するベストプラクティスについて私が興味を持っているもの例えばは、C＃で、私は、このオプションのいずれかを使用します。 if (arg1 != null) throw new ArgumentNulException....; // Official for publi