软件测试-根据状态迁移图设计测试用例

测试用例状态迁移图

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

状态迁移图测试用例设计方法的步骤如下:

(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覆盖等。???

相关推荐
测试界茜茜12 小时前
16:00开始面试,16:08就出来了,问的问题有点变态。。。
自动化测试·软件测试·功能测试·程序人生·面试·职场和发展
浪裡遊2 天前
Linux常用指令
linux·运维·服务器·chrome·功能测试
天才测试猿3 天前
软件测试之功能测试详解
自动化测试·软件测试·python·功能测试·测试工具·职场和发展·测试用例
HtwHUAT3 天前
五、web自动化测试01
前端·css·chrome·python·功能测试·selenium·html
测试工程喵3 天前
如何高效定位Bug:测试工程师的问题诊断艺术
功能测试·测试用例·bug·模块测试·缺陷管理·bug定位
车载测试工程师4 天前
车载功能测试-车载域控/BCM控制器测试用例开发流程【用例导出方法+优先级划分原则】
功能测试·安全·车载系统·测试用例·测试覆盖率
riveting5 天前
明远智睿2351开发板四核1.4G Linux处理器:驱动创新的引擎
linux·运维·服务器·人工智能·功能测试·音频·智能硬件
测试工程喵6 天前
测试用例书写规范详解:构建高效测试体系的基础
功能测试·测试用例·模块测试·测试覆盖率·用例规范
第三方软件测评6 天前
软件功能测试和非功能测试有什么区别和联系?
软件测试·功能测试
测试工程喵10 天前
测试用例的生命周期:从诞生到退役的全过程管理
功能测试·测试用例·模块测试·缺陷管理·测试用例生命周期