差分
ナビゲーションに移動
検索に移動
編集の要約なし
'''契約による設計'''（Design By Contract、でざいん・ばい・こんとらくと）とは、[[ソースコード]]の中に[[プログラム]]が満たすべき[[仕様]]（契約）についての記述を盛り込み、[[設計]]の安全性を高める[[プログラミング]]の技法のひとつである。'''契約プログラミング'''（Programming By Contract）や、Design by Contract の頭文字であるDbC (でぃーびーしー) とよばれることもある。
たとえば、ある[[サブルーチン]]の[[引数]]があるとして、[[ぬるぽ]]や[[ぬるり]]を防ぐために引数の[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]などを的確に行えるようにし、やドキュメント生成などを的確に行えるようにし、[[プログラム]]の品質を向上させようというものである。
== 条件の種類 ==
