運用契約とは何ですか？

computerコンピュータープログラミングとコンピューターサイエンスの領域では、操作契約は、特定の機能がプログラム内で異なる要素をどのように変更するかを指定または文書化する方法です。抽象プログラミングインターフェイス（API）やインターフェイスコントロールドキュメントとは異なり、コンピューターアプリケーションまたはシステムの作成の開発とモデリングの段階で操作契約が使用されます。最も基本的なレベルでは、契約は操作の4つの機能、特に操作の名前、設計の他の領域での操作への参照、操作前の入力または状態の要件、およびの状態を定義します。操作後のシステムまたは変数が実行されました。契約は、操作が内部的にどのように機能するかについて具体的なものを定義するものではなく、代わりにプログラムの状態が使用によってどのように影響を受けるかを扱うだけです。代わりに、それらは特に複雑または追跡が困難な操作のために予約されています。統一されたモデリング言語（UML）などのいくつかのコンピューターモデリング言語は、操作契約をサポートし、操作が実行された後にプログラムの状態がどのように変更できるかを視覚化する方法を持っています。操作の名前であり、それは何でもあり、相互参照があります。相互参照とは、定義されている操作を使用する、またはその処理で操作が使用する他の操作またはプログラムモデルの領域のリストです。これは、全体的な設計がどのように相互作用するかを見るのに役立ち、モデルのある領域の変更が他の領域にどのように影響するかを見るのに特に役立ちます。これには、特定の変数を適切な値でロードする必要があるか、プログラムの特定の部分が特定の状態にあることが要求される場合があります。操作が実行されたときに前処理が満たされない場合、操作は行われないか、完全に失敗する可能性があります。契約は抽象的なツールとして使用されるため、通常、前提条件はかなり一般的であり、特定の変数よりもプログラムの状態に関係しています。ポストコンディションは、操作の実行により変更されたプログラムモデル内のアイテムのリストです。これにより、データ構造の変更またはプログラムの状態の変更を指定できます。たとえば、制御を別のモジュールに移行するなどです。明確に定義された操作契約を使用することにより、実際の実装が始まる前にプログラムを効果的にモデル化および修正できます。