契約プログラミング、または、契約による設計 (Design By Contract) - Carrotsword daily notes.

DbCという言葉は数年前にD言語の存在を知ったときに初めて聞いたのだけど、Contract4Jというものがあることを聞いてから、最近またちょっと気になって調べています。 どんなものか Wikipediaの契約プログラミングの項によれば、以下の通り ソフトウェア開発工程で、あるコードを使用した際にエラーが生じたとする。この時エラーには2つの可能性がある: * コードの実装に誤りがあった * コードを使う側に誤りがあった。 契約では、コードの利用条件を主処理とは別に定めることでエラーの位置を明確にする。契約違反が発生すると例外などの形で実行は中断される。 コードの利用条件（すなわち、契約）として提示できる条件の種類は以下の通り 事前条件 : コードが実行される前に整えられるべき状況の条件。 事後条件 : コード実行後にコードが保証する状況の条件。 不変条件 : コードの実行如何にかかわらず常に