事後条件

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

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

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

例:

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