『契約プログラミング的な方法――事前条件と事後条件の表明（assertion）を関数に埋め込む――とテストの関係が整理できていません。事前条件と（クラス不変条件を含む）事後条件を関数内部やクラス内部で表現できるなら、テストに関しては単に適当な境界値を渡して呼び出すだけのように… | mond』