運用契約とは何ですか？

コンピュータープログラミングとコンピューターサイエンスの領域では、操作契約は、特定の関数がプログラム内の異なる要素をどのように変更するかを指定または文書化する方法です。抽象プログラミングインターフェイス（API）やインターフェイスコントロールドキュメントとは異なり、コンピューターアプリケーションまたはシステムの作成の開発とモデリングの段階で操作契約が使用されます。最も基本的なレベルでは、契約は操作の4つの機能、特に操作の名前、設計の他の領域での操作への参照、操作が実行される前の入力または状態の要件、および操作後のシステムまたは変数の状態を定義します。契約は、操作が内部的にどのように機能するかについて具体的なものを定義するものではなく、代わりにプログラムの状態がその使用によってどのように影響を受けるかを扱うだけです。

操作契約は、プログラムモデル内のすべての操作に対して構築されていません。 insTead、彼らは特に複雑または追跡が困難な運用のために予約されています。統一されたモデリング言語（UML）などのいくつかのコンピューターモデリング言語は、操作契約をサポートし、操作が実行された後にプログラムの状態をどのように変更できるかを視覚化する方法を持っています。

操作契約を作成するために必要な最初の2つの定義は、操作の名前であり、これは何でもあり、相互参照があります。相互参照とは、定義されている操作を使用する、またはその処理で操作が使用する他の操作またはプログラムモデルの領域のリストです。これは、全体的な設計がどのように相互作用するかを見るのに役立ち、モデルのある領域の変更が他の領域にどのように影響するかを見るのに特に役立ちます。

操作契約次に、操作の実行に必要な前提条件を定義します。これには、特定の変数を必要とすることが含まれます適切な値をロードするか、プログラムの特定の部分が特定の状態にあることを要求できます。操作が実行されたときに前処理が満たされない場合、操作は行われないか、完全に失敗する可能性があります。契約は抽象ツールとして使用されるため、通常、前提条件はかなり一般的であり、特定の変数よりもプログラムの状態に関係しています。

操作契約の最終部分は、事後条件を定義します。ポストコンディションは、操作の実行により変更されたプログラムモデル内のアイテムのリストです。これにより、データ構造の変更またはプログラムの状態の変更を指定できます。たとえば、制御を別のモジュールに移行するなどです。明確に定義された操作契約を使用することにより、実際の実装が始まる前にプログラムを効果的にモデル化および修正できます。