Precondition とは

コンピュータプログラミングでは、前提条件は、コードの一部を実行する直前に、または正式な仕様で操作する前に常に真でなければならない条件または述語です。
前提条件に違反した場合、コードのセクションの効果は未定義となり、その意図された作業を実行してもしなくてもよい。間違った前提条件のためにセキュリティ上の問題が発生する可能性があります。
多くの場合、前提条件は影響を受けるコードセクションのドキュメントに含まれています。前提条件は、コード内でガードやアサーションを使用してテストされることがあります。また、一部の言語では、そのための特定の構文構造があります。
たとえば、階乗はゼロ以上の整数に対してのみ定義されます。したがって、入力数の階乗を計算するプログラムは、その数が整数であり、それがゼロ以上であるという前提条件を持つことになります。