FC2ブログ

契約による事前条件・事後条件とか

CppUnitBook Index Page

ここに「CppUnitによるXP‐eXtreme Programming‐実践テスト技法」の「下書き原稿」として全てが公開されている。 事前条件、事後条件を調べてて辿りついた。 [1.3] テスト駆動型開発って何?
ここにあった。


契約プログラミング - プログラミング言語 D 2.0

事前条件・事後条件などからなる契約という概念がD言語には言語に組み込み済。


C++ Labyrinth | 契約による設計

契約とか事前条件・事後条件に関する原典に触れた記事かな。


スポンサーサイト



この記事へのトラックバックURL

http://memolet.blog22.fc2.com/tb.php/958-9eba415e

この記事へのトラックバック

この記事へのコメント