ソフトウェア規程の仕様
ソフトウェア、ドキュメント、およびフロントノートの他の形態を含みます
実装者は、法令を満たすため、ユーザーはに依存している法令
法令およびユーザーは、デカップリング達成する
法律の下で、ユーザーの用途を変更する自由を自由を達成するためにそれらの変更を達成するための前提に従ってください。
顧客の視点と同等達成
二つの代替相互実現の同じ法令に従ってください
メソッド規程構造
前置条件
方法が必要です。利用者の責任の規程は、メソッドが呼び出されたときの状態、すなわち。
后置条件
この方法は動作します。規程実装関税、呼び出される適切な方法である状態。
この方法は、前提条件の下で呼び出されると、この方法は、事後条件を遵守しなければなりません。戻り適切な値を含む、所定の例外は、データオブジェクトを変更または維持する、スローされます。
異常行動
行動のメソッドを呼び出すときに前提条件の規程は満足していません。
規程デザイン
不確実性の規程
状態を満たす前提条件のために、唯一のプログラム状態と戻り値を決定します。
非決定規程
状態が前提条件を満たすようにするために、いくつかの可能な法的戻り値とプログラムの状態があります。
これは、法令を達成するためのさまざまなオプションを持っている人、法令が実装され、動作は通常、明確に定義されていることを意味します。
手術規程
実装の一連のステップを考えます。
宣言法令
初期入力/出力の関係の最終状態を与える、それは特定の実装を必要としません。
規程の優れた操作性の規程の宣言。それは操作性コメントの解釈の動作原理を使用する必要がある場合は、コメントは、運用方法、旧法令の一部ではなく、メソッドの内部に配置する必要があります。
規程の強さ
S1、S2≥法令法令IFF
- 前提条件≤S1、S2の前提条件
- 事前条件の場合にはS1、S2、S1≥事後条件事後条件を満足しています
の強さに比較することはできません
S1≥はとs2場合は
、それが安全に、S1、S2を置き換えることができます
規程を強化：前提条件を弱め、事後条件が向上します。