软件测试 | 状态迁移法

状态迁移图是对特定系统需求设计测试用例的工具之一，它描述了测试对象和测试数据之间的关系。测试对象的输出行为不仅仅和当前的输入数据有关，而且和测试对象当前的状态有关。状态迁移图是设计状态转换测试用例的基础，基于状态迁移图进行的测试就是状态迁移测试。

---

1.状态迁移图法步骤

1.  画出状态迁移图
2.  通过状态迁移图画出状态转换树
3.  从状态转换树推导出测试路径
4.  根据测试路径编写合法测试用例

2.状态迁移图法例子

• 向航空公司预定机票—>此时机票信息处于“未支付”状态
• 在规定时间内固定如果未支付费用，则机票会变成“超时取消”状态
• 规定时间内顾客支付了机票费用后—>机票信息就变为“已支付”状态
• 旅行当天到达机场后，拿到机票后—>机票信息就变为“已出票”状态
• 登机检票后—>机票信息就变为“已使用”状态
• 在登上飞机之前任何时间可以取消自己的订票信息，如果已经支付了机票的费用，则还可以得到退款，取消后—>订票信息处于“取消”状态

3.解答

 （1）画出状态迁移图

 （2）通过状态迁移图画出状态转换树