テストケースの「事後条件」が示す内容はどれか。

事後条件は、テスト手順をすべて実行した後にシステムがどのような状態でなければならないかを定義する。