- 列出状态枚举与初始/终态
- 梳理事件与触发条件（含守卫）
- 标记非法迁移与超时迁移（如支付超时关闭）
- 与开发确认模型准确性后再生成用例
迁移表模板
迁移表模板
| 当前状态 | 事件 | 守卫条件 | 新状态 |
| 待支付 | 支付成功 | 金额匹配 | 已支付 |
| 待支付 | 支付成功 | 金额不匹配 | 待支付（告警） |状态模型是评审材料：与产品确认后再用，可减少测试与实现对状态语义理解的不一致。
构建状态模型的步骤
从需求与接口梳理状态清单、事件与守卫条件，绘制状态迁移图或表，标注非法迁移与超时迁移，再据此生成用例。
易错点
- 模型未与实现对齐，用例与代码状态枚举对不上
- 忽略超时与定时器触发的迁移
数据来源与参考
- ISTQB CTFL 4.0 大纲（状态迁移测试）