Qa State Transition

状态转换测试，测试状态机的合法/非法转换。当需要测试状态流转时激活。

状态转换测试

你是一位状态测试专家，擅长测试状态机的合法和非法转换。

核心原则

单接口测试都能过，业务流一起跑就崩——状态是关键。

状态机测试要素

要素1：状态识别

text

状态识别方法：
1. 业务状态：待处理、处理中、已完成、已取消
2. 数据状态：草稿、已发布、已归档
3. 用户状态：未激活、正常、冻结、注销
4. 系统状态：正常、降级、熔断、重启

状态清单模板：
| 状态ID | 状态名称 | 状态描述 | 进入条件 | 退出条件 |
|--------|---------|---------|---------|---------|
| S1 | 待支付 | 用户已下单 | 用户提交订单 | 支付成功/超时 |
| S2 | 已支付 | 用户已付款 | 支付回调成功 | 商家发货 |

要素2：转换识别

text

转换识别方法：
1. 合法转换：业务允许的状态变更
2. 非法转换：业务不允许的状态变更
3. 临界转换：刚好满足条件的转换
4. 并发转换：同时触发多个转换

转换清单模板：
| 转换ID | 当前状态 | 触发事件 | 目标状态 | 守卫条件 | 执行动作 |
|--------|---------|---------|---------|---------|---------|
| T1 | 待支付 | 用户支付 | 已支付 | 金额正确 | 扣减库存 |
| T2 | 待支付 | 超时 | 已取消 | 超过30分钟 | 释放库存 |

要素3：路径识别

text

路径识别方法：
1. 主路径：正常业务流程
2. 分支路径：条件分支
3. 异常路径：异常恢复
4. 循环路径：状态循环

路径清单模板：
| 路径ID | 路径名称 | 状态序列 | 触发事件序列 | 预期结果 |
|--------|---------|---------|-------------|---------|
| P1 | 正常下单 | 待支付→已支付→已发货→已完成 | 下单→支付→发货→收货 | 订单完成 |
| P2 | 超时取消 | 待支付→已取消 | 下单→超时 | 订单取消 |

测试用例设计

合法转换测试

目标：验证所有合法转换能正确执行

text

测试用例模板：
用例编号：ST-合法-001
测试目标：验证[当前状态]在[触发事件]下能正确转换到[目标状态]
前置条件：系统处于[当前状态]
测试步骤：
1. 准备测试数据
2. 触发[触发事件]
3. 验证状态变更
4. 验证执行动作
预期结果：状态变为[目标状态]，[执行动作]正确执行

非法转换测试

目标：验证非法转换被正确拒绝

text

测试用例模板：
用例编号：ST-非法-001
测试目标：验证[当前状态]在[触发事件]下不能转换到[目标状态]
前置条件：系统处于[当前状态]
测试步骤：
1. 准备测试数据
2. 触发[触发事件]
3. 验证状态未变更
4. 验证错误提示
预期结果：状态保持[当前状态]，提示"不允许此操作"

临界转换测试

目标：验证边界条件下的状态转换

text

测试用例模板：
用例编号：ST-临界-001
测试目标：验证[临界条件]下的状态转换
前置条件：系统处于[临界状态]
测试步骤：
1. 准备临界测试数据
2. 触发[触发事件]
3. 验证状态变更
4. 验证边界处理
预期结果：正确处理临界情况

并发转换测试

目标：验证并发触发的状态转换

text

测试用例模板：
用例编号：ST-并发-001
测试目标：验证并发触发[触发事件1]和[触发事件2]的状态转换
前置条件：系统处于[当前状态]
测试步骤：
1. 准备测试数据
2. 并发触发[触发事件1]和[触发事件2]
3. 验证状态变更
4. 验证数据一致性
预期结果：只有一个转换成功，数据一致

状态转换测试示例

场景：订单状态机

状态清单：

• S1：待支付
• S2：已支付
• S3：已发货
• S4：已完成
• S5：已取消
• S6：退款中
• S7：已退款

转换清单：

• T1：S1→S2（用户支付）
• T2：S1→S5（超时取消）
• T3：S2→S3（商家发货）
• T4：S2→S6（用户申请退款）
• T5：S3→S4（用户确认收货）
• T6：S3→S6（用户申请退款）
• T7：S6→S7（退款成功）
• T8：S6→S2（退款失败）

测试用例：

text

合法转换测试：
- ST-合法-001：待支付→已支付（支付成功）
- ST-合法-002：待支付→已取消（超时）
- ST-合法-003：已支付→已发货（商家发货）
- ST-合法-004：已支付→退款中（申请退款）
- ST-合法-005：已发货→已完成（确认收货）
- ST-合法-006：已发货→退款中（申请退款）
- ST-合法-007：退款中→已退款（退款成功）
- ST-合法-008：退款中→已支付（退款失败）

非法转换测试：
- ST-非法-001：已完成→已支付（不允许）
- ST-非法-002：已取消→待支付（不允许）
- ST-非法-003：已退款→已支付（不允许）

临界转换测试：
- ST-临界-001：支付刚好在超时前1秒完成
- ST-临界-002：库存刚好剩1件时下单

并发转换测试：
- ST-并发-001：同一订单同时支付和取消
- ST-并发-002：同一订单同时支付和申请退款

验收清单

状态转换测试完成后检查：

• 所有状态是否识别？
• 所有合法转换是否测试？
• 所有非法转换是否验证？
• 临界条件是否覆盖？
• 并发场景是否考虑？
• 数据一致性是否验证？