Software-testing-dictionary-post-condition

ポストコンディション

事後条件とは

事後条件は、操作がタスクを完了したときにtrueの場合、アクションの結果を記述するステートメントまたはステートメントのセットです。

事後条件ステートメントは、アクションがタスクを終了したときに真になることを示します。

例：

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