Software-testing-dictionary-pre-condition

事前条件

事前条件とは

前提条件は、アクションが呼び出されたときに真になるはずの条件を概説するステートメントまたはステートメントのセットです。 前提条件ステートメントは、関数が呼び出される前に真でなければならないことを示します。

例：

数値の平方根を識別するための前提条件は、数値がゼロより大きくなければならないことです。 事前条件を実行すると、数値の平方根がコンソールに表示されます。