モジュール仕様

モジュール仕様は、各モジュールの、名前、入力の引数、出力の戻り値、前提の条件、実行後の条件、例外などを、はっきり書いた設計の仕様です。

■ 試験で押さえるポイント

• 利用する側は、仕様を見れば中身を知らなくても使えます。

• テストの基準にもなります。

■ 過去問での着眼点

契約による設計（事前条件、事後条件）の考え方を押さえます。

例: 「引数は0以上の整数、戻り値はその階乗」と仕様に書きます。