事後条件

ポストコンディションとは？

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

Post Conditionsステートメントは、アクションがタスクを終了したときに何が真になるかを示します。

例：

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