状态迁移图法是一种基于有限状态机的测试方法，用于确保状态在特定条件下正确转换且无未可达状态。该方法包括将需求划分为子片段，绘制状态迁移图，生成状态转换表和树，最后结合非法路径创建测试用例。例如，对于一个能容纳200只苹果的容器，可以定义空、半满和满三种状态，并通过放入和取出操作来构建状态迁移图，进而设计测试路径。
状态迁移图法
含义：针对有限状态机进行测试的一种方法，测试状态之间在给定的条件下能够正确的跳转以及是否有未可达的状态。有限状态机：表示有限个状态以及在这些状态之间转移和动作等行为的数学模型。
使用步骤：
（1）将软件需求规格说明书划分为需求子片段，分析需求子片段，找出状态和状态条状的条件
（2）设定一个初始状态，以圆圈为节点（代表状态），以箭线为跳转方向（跳转条件）画出状态迁移图
（3）根据状态迁移图->状态事件转换表->得到状态转换树->测试路径
（4）添加非法测试路径，结合等价类和边界值生成最终的测试用例
举例：
1.需求片段：容器（能够容纳200只苹果，每次放入一个）
2.状态：空；半满；满 条件：放入；取出
最低0.47元/天 解锁文章
扫一扫
3214
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
