差分

'''契約による設計'''（Design （[[英語]]：Design By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]の技法のひとつである。'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。の技法のひとつ、または[[プログラミング言語]]の機能のひとつである。

'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字である'''DbC''' (でぃーびーしー) とよばれることもある。 == 概要 ==たとえば、ある[[サブルーチン]]のに[[引数]]があるとして、があるとして、その引数が[[ぬるぽ]]や[[ぬるり]]を防ぐために引数のになることを防ぐためにサブルーチンの先頭部分で[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成などを的確に行えるようにし、やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。

; [[事前条件]] (precondition) :[[サブルーチン]]の開始時に、これを呼ぶ側で保証すべき性質。の開始時に、これを呼ぶ側で保証すべき性質。たとえばというか、ほぼ引数の値のチェックである。

=== [[.NET Framework 4.0]] ===

また、また[[Visual Studio]]用のアドオンも提供されており、契約による設計のキモである[[静的チェック]]や[[ドキュメント]]の自動生成も行いえる。とくに[[静的チェック]]はとても重要な要素であり、これが使えないとただの[[コーディング規約]]程度の話で終わってしまい、契約による設計の魅力の99.9999%が失われる。 なおが失われる。なお[[アドオン]]が使えない[[Visual Studio Express]]ではツール群が使えないので、ただの実行時のエラーチェックと化し、前述のように契約による設計の魅力の99.9999%が失われる。

=== D言語 ===[[D言語]] ===の契約による設計機能は初の正式版リリースにあわせた目玉機能として大々的に宣伝されていた。しかし、プロジェクト自体のゴタゴタで正式リリースが遅れに遅れたことで[[.NET Framework 4.0]]に先を越されるという事態になった。残念賞である。

=== Sather ===[[EiffelSather]] ===は[[Eiffel]]は契約による設計を提唱・サポートした一番最初のから派生した[[プログラミング言語サブセット]]だそうだ。まったく知らない。であり、その後に独自の進化を遂げてものらしい。まったく知らない。

=== [[Sather]] Eiffel ===[[Eiffel]]から派生したは契約による設計を提唱およびサポートした一番最初の[[サブセットプログラミング言語]]で独自の進化を遂げてものらしい。だそうだ。