黑盒测试用例设计方法-状态迁移图

状态迁移图测试用例设计

状态迁移图理论

很多需求用状态机的方式来描述，状态机的测试主要关注状态转移是否正确。对于一个有限状态机，通过测试验证其在给定的条件内是否能够产生需要的状态变化，有没有不可达的状态和非法的状态，是否可能产生非法的状态转移等。通过构造能导致状态迁移的事件来测试状态之间的转换，多用于协议测试，使用这种方法可以设计逆向的测试用例，如状态和事件的非法组合

状态迁移图设计过程

状态迁移图的测试用例设计步骤如下：
步骤一：画出状态迁移图
步骤二：列出状态-事件表
步骤三：画出状态转换树，根据转换树导出测试路径
步骤四：根据路径编写测试用例

下面有一个实际商城订单状态转变的需求
步骤一：根据需求画出的状态迁移图如下：

步骤二：列出状态事件表如下表：

前一状态	后一状态	事件
初始化	待支付	提交订单
待支付	已取消	不支付，取消订单
待支付	待发货	支付成功
待发货	待收货	商家发货
待发货	售后中	申请退货
待收货	已完成	确认收货
待收货	售后中	申请退货
已完成	售后中	申请退货
售后中	待发货	取消申请
售后中	待收货	取消申请
售后中	已完成	取消申请
售后中	已退货	退货成功

步骤三：根据状态迁移图画状态迁移树

根据迁移树推导出以下路径：
1:初始化——待支付——已取消
2.初始化——待支付——待发货——售后中——已退货
3.初始化——待支付——待发货——售后中——待发货
4.初始化——待支付——待发货——待收货——售后中——已退货
5.初始化——待支付——待发货——待收货——售后中——待收货
6.初始化——待支付——待发货——待收货——已完成——售后中——已退货
7.初始化——待支付——待发货——待收货——已完成——售后中——已完成
步骤四：根据路径编写测试用例，不多描述了

通过状态迁移图发现过的BUG

个人用得最多的状态迁移图就是订单，售后单的状态，几乎每一个状态转换过程都发现过BUG，比如支付成功订单还是待支付，取消售后状态没有恢复正常，订单发货就变成已完成等等

个人心得

状态迁移图是个很实用的测试用例设计方法，步骤比较繁琐，熟练的话，先画出状态迁移图，然后直接转换状态迁移树，甚至直接用思维导图画出状态迁移树，然后根据状态迁移树的分支一个个编写用例即可。在绘制状态迁移图之前一定要熟读需求，把所有状态都列出来，然后根据每一个状态去思考这个状态从哪里转变过来，又可以转变成什么状态，这样就不容易遗漏路径了。