甘肃省建设厅特种工查询网站,公司网站建设存在问题,课程视频网站建设的必要性,大庆网站建设黑icp备1900测试用例状态迁移图
许多需求用状态机的方式来描述#xff0c;状态机的测试主要关注状态转移是否正确。对于一个有限状态机#xff0c;通过测试验证其在给定的条件内是否能够产生需要的状态变化#xff0c;有没有不可达的状态和非法的状态#xff0c;是否可能产生非法的状…测试用例状态迁移图
许多需求用状态机的方式来描述状态机的测试主要关注状态转移是否正确。对于一个有限状态机通过测试验证其在给定的条件内是否能够产生需要的状态变化有没有不可达的状态和非法的状态是否可能产生非法的状态转移等。通过构造能导致状态迁移的事件来测试状态之间的转换多用于协议测试使用这种方法可以设计逆向的测试用例如状态和事件的非法组合。 状态迁移图测试用例设计方法的步骤如下 (1)画出状态迁移图 (2)列出状态-事件表 (3)画出状态转换树并从状态转换树推导出测试路径 (4)根据测试路径编写测试用例 【实例】使用状态迁移分析法分析从提交到解决整个过程中Bug 状态变化的情况 列出状态-事件表 根据状态迁移图画状态转换树
根据状态转换树可以推导出以下路径 路径1初始化→打开→修改→回归→打开。 路径2初始化→打开→修改→回归→关闭。 路径3初始化→打开→CCB 评审→非问题。 路径4初始化→打开→CCB 评审→修改→打开。 路径5初始化→打开→CCB 评审→挂起→打开。 路径6初始化→重复问题关闭。 路径7初始化→非问题关闭。 步骤4根据测试路径编写测试用例以路径6 为例设计的测试用例
2 状态机的覆盖目标
状态机有不同的覆盖目标带来不同的用例生成复杂度。
1状态覆盖状态机中的每个状态至少访问一次状态覆盖是最基本的覆盖目标。
2迁移覆盖状态机中的每个迁移至少触发一次迁移覆盖包含状态覆盖实现迁移覆盖则必然实现了状态覆盖。
3状态格局覆盖状态机包含层次、并发结构在状态机运行的某个时刻可能有多个状态处于激活状态它们构成一个状态格局state configuration。实现状态格局覆盖意味着被测系统所有可能的状态组合被覆盖。实现状态格局覆盖必然实现了状态覆盖。
4状态格局迁移覆盖即状态格局之间所有迁移至少触发一次。 除上述状态机覆盖目标外还可进一步对迁移守卫条件guard进行覆盖包括对guard的判定覆盖、MC/DC覆盖等。???
