飞机订票系统测试用例

飞机订票系统测试用例需要根据需求提取全部状态，绘制状态迁移图，推导测试路径（状态迁移树），选取测试数据，构造测试用例。根据引用和引用的信息，我们可以得到以下测试用例：
1. Test-1: 取消预定
2. Test-2: 已支付后取消预定并退款
3. Test-3: 已支付且已出票后取消预定并退票退款
4. Test-4: 已支付且已出票且已使用完成出行
5. Test-5: 已支付且已出票且已使用但出现异常后取消预定
6. Test-6: 预定出现异常

根据引用的任务2，我们可以绘制状态迁移图，如下所示：
预订 -> 已支付 -> 已出票 -> 已使用 -> 已完成
| | | |
v v v v
已取消 <- 已取消 <- 已取消 <- 已取消

根据状态迁移图，我们可以推导出以下测试路径（状态迁移树）：
1. 预订 -> 已取消
2. 预订 -> 已支付 -> 已取消
3. 预订 -> 已支付 -> 已出票 -> 已取消
4. 预订 -> 已支付 -> 已出票 -> 已使用 -> 已完成
5. 预订 -> 已支付 -> 已出票 -> 已使用 -> 已取消

根据测试路径，我们可以选取测试数据，构造测试用例，如上所示。