テストケース設計：想定のエラーも仕様の一部である