「契約による設計(Design by Contract)」に基づいたテストで検証すべきことはどれか。

モジュール間の「契約」を定義し、呼び出し側と呼び出される側が条件を守っているかを検証する。