「契約による設計」を編集中

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

たとえば、ある[[サブルーチン]]の[[引数]]があるとして、[[ぬるぽ]]や[[ぬるり]]を防ぐために引数の[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]などを的確に行えるようにし、[[プログラム]]の品質を向上させようというものである。

== 条件の種類 ==
契約は、コードの利用条件が満たされることによって成立する。
それら条件は、満たすべきタイミングと主体によって、以下の3種類に分けられる。

; [[事前条件]] (precondition) :[[サブルーチン]]の開始時に、これを呼ぶ側で保証すべき性質。
; [[事後条件]] (postcondition) :[[サブルーチン]]が、終了時に保証すべき性質。
; [[不変条件]] (invariant) :[[クラス]]などの[[オブジェクト]]がその外部に公開しているすべての操作の開始時と終了時に保証されるべき、オブジェクト毎に共通した性質。
コードを呼ぶ側が[[事前条件]]と[[不変条件]]を満たす義務を負うことで、呼ばれたコードはその条件が恒真であるとの前提を利益として得る。

引き換えに、呼ばれたコードは事後条件と不変条件を義務として負い、呼ぶ側の利益としてこれを保証する。

== 契約による設計をサポートする主な言語 ==
ここに記載するプログラミング言語はあくまで一例でありすべてではない。

=== [[.NET Framework 4.0]] ===
[[.NET Framework 4.0]]では、[[コードコントラクト]]（[[Code Contracts]]）という名前の機能が追加され、[[プログラミング言語]]レベルではなく、[[ランタイム]]レベルで「契約による設計」に対応した。これにより[[.NET Framework]]系のすべての[[プログラミング言語]]が対応することとなった。

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

[[コードコントラクト]]を利用するためのライブラリは[[System.Diagnostics.Contracts 名前空間]]にあり、[[事前条件]]、[[事後条件]]、[[不変条件]]などの表すための[[C Sharp/静的クラス|静的クラス]]が用意されている。

* http://msdn.microsoft.com/en-us/devlabs/dd491992

=== [[D言語]] ===

=== [[Eiffel]] ===
[[Eiffel]]は契約による設計を提唱・サポートした一番最初の[[プログラミング言語]]だそうだ。まったく知らない。

=== [[Sather]] ===
[[Eiffel]]から派生した[[サブセット]]で独自の進化を遂げてものらしい。
まったく知らない。

== 関連項目 ==
* [[バートランド・メイヤー]]（仏：Bertrand Meyer） - 契約による設計の提唱者、[[Eiffel]]を作った[[プログラマー]]
* [[リスコフの置換原則]]（[[Liskov substitution principle]]）
* [[正当性]]（[[Correctness]]）
* [[表明]]（[[Assertion]]）
* [[コーディング規約]]
* [[デザインパターン]]
* [[設計]]
* [[実装]]
* [[仕様]]

== 参考文献 ==
<references/>

== 外部リンク ==

{{stub}}