示例：订单状态
| 当前状态 | 事件 | 新状态 |
|---|---|---|
| 待支付 | 支付成功 | 已支付 |
| 待支付 | 取消 | 已取消 |
| 已支付 | 发货 | 已发货 |
| 已取消 | 支付成功 | 非法：应拒绝 |
用例要同时覆盖合法迁移与非法迁移：非法迁移验证系统拒绝并保持状态不变。
状态迁移测试（State Transition Testing）
系统行为由当前状态与事件决定时，用状态机描述合法迁移，再设计用例覆盖合法路径与非法迁移；适合订单、支付、工单等有状态流程。
易错点
- 只测合法路径，非法事件在错误状态下被接受而无人发现
- 状态存储不一致（缓存与实际状态）时的迁移未覆盖
数据来源与参考
- ISTQB CTFL 4.0 大纲（状态迁移测试）