期待結果と事後条件は排他ではないんだけれど、後者の決定的な特徴は「他のテストケースの事前条件とマッチングして、連結可否を判断することができること」と思ったらにしさんにとっくに言われてた。