【演讲材料】Qt全球峰会2025-基于模型的测试_重塑软件验证.pdf

1、基于模型的测试重塑软件验证Qt Group中国QA解决方案工程师李晶金基于模型的测试基于模型的测试(MBT)重塑软件验证1.简介2.测试复杂复杂UI应用程序应用程序的挑战3.什么是基于模型的测试基于模型的测试(MBT)？4.MBT的优势5.Squish是什么？6.Squish中MBT功能功能的介绍7.结论27 October 2025本次分享不涉及以下内容：本次分享不涉及以下内容：作为理论或学术概念的 MBT 通用的测试自动化策略37 May 2025简介简介本次分享涉及到的内容：本次分享涉及到的内容：识别出复杂应用程序测试中的实际问题 将模型驱动测试（MBT）作为解决方案 考虑将Squish

2、作为模型驱动测试（MBT）的工具47 May 2025测试复杂测试复杂UI应用程序的挑战应用程序的挑战UI应用程序57 May 2025UI应用程序状态状态states67 May 2025测试复杂测试复杂UI应用程序的挑战应用程序的挑战UI应用程序状态状态states转换转换transitions77 May 2025测试复杂测试复杂UI应用程序的挑战应用程序的挑战27 October 2025选择正确的测试方法至关重要至关重要。UI应用程序状态状态states转换转换transitions用户交互用户交互User interactions87 May 2025测试复杂测试复杂UI应用程序的

3、挑战应用程序的挑战仅依赖测试脚本的风险仅依赖测试脚本的风险97 May 2025测试复杂测试复杂UI应用程序的挑战应用程序的挑战仅依赖测试脚本的风险仅依赖测试脚本的风险难以识别所有可能的场景 覆盖不全面覆盖不全面107 May 2025测试复杂测试复杂UI应用程序的挑战应用程序的挑战仅依赖测试脚本的风险仅依赖测试脚本的风险难以识别所有可能的场景 覆盖不全面覆盖不全面冗余和低效 测试重复测试重复117 May 2025测试复杂测试复杂UI应用程序的挑战应用程序的挑战仅依赖测试脚本的风险仅依赖测试脚本的风险难以识别所有可能的场景 覆盖不全面覆盖不全面冗余和低效 测试重复测试重复UI界面会随着时间发

4、生变化 维护成本增加维护成本增加127 May 2025测试复杂测试复杂UI应用程序的挑战应用程序的挑战什么是MBT基于模型的测试?MBT是一种软件测试方法软件测试方法，它的测试场景是系统行为的抽象表示，我们称之模型模型137 May 202527 October 2025Model-模型模型 定义被测系统（SUT）的状态和转换 可以使用状态图、活动图、BPMN、UML等进行可视化展示 作为测试用例生成的基础147 May 202527 October 2025MBT测试的优势测试的优势157 May 202527 October 2025提高覆盖率覆盖率很好地概述被测应用程序（AUT）的状态

5、MBT测试的优势测试的优势167 May 202527 October 2025提高覆盖率覆盖率很好地概述被测应用程序（AUT）的状态可视化方法可视化方法易于设计测试用例MBT测试的优势测试的优势177 May 202527 October 2025提高覆盖率覆盖率很好地概述被测应用程序（AUT）的状态可视化方法可视化方法易于设计测试用例促进模块化模块化每个步骤都与一个函数相关联MBT测试的优势测试的优势187 May 202527 October 2025提高覆盖率覆盖率很好地概述被测应用程序（AUT）的状态可视化方法可视化方法易于设计测试用例促进模块化模块化每个步骤都与一个函数相关联可复用

6、性可复用性单一模型中可衍生出多个测试用例同一模型可有不同的实现方式。MBT测试的优势测试的优势197 May 202527 October 2025不同层级的抽象抽象从高层级的业务逻辑到低层级具体实现的动作添加用户添加用户VS按下添加按钮按下添加按钮提高覆盖率覆盖率很好地概述被测应用程序（AUT）的状态可视化方法可视化方法易于设计测试用例促进模块化模块化每个步骤都与一个函数相关联可复用性可复用性单一模型中可衍生出多个测试用例同一模型可有不同的实现方式。MBT测试的优势测试的优势207 May 202527 Octo