事後条件

この関数を実行した後の事後条件として、返り値のリストが必ずアルファベット順にソートされていることを保証する。

ユニットテストを記述する際は、正しい事前条件を与えた時に、期待通りの事後条件が満たされるかを確認する。

システム設計書には、各APIメソッドが成功裏に完了した際に達成されるべき事後条件が厳密に定義されている。