1、测试设计自动化之路-基于模型的测试 自我介绍 第一部分：理论 什么是基于模型的测试 由来与发展 demo 概念 基本实施方法 优势 挑战 第二部分：实践 简单模型建模 简单安卓自动化测试建模目录目录 第三部分：业界动态 ISTQB ISO 参考网站自我介绍7Now从开发转向测试初级/高级/专家级大纲评审/翻译/命题29119 评审/起草/翻译MBT给测试“装上大脑”测试的智能化，给测试执行装上大脑，告诉测试执行应该做什么测试，做哪些测试人工测试执行自动测试执行自动测试设计（MBT）抽象全局一致覆盖大覆盖细全流程自动化对使用者使用者的要求高高，对产产品品的质量改善巨大质量改

2、善巨大，对效率效率的提升巨大提升巨大，使得能够进行抽象思维，建模思维，自动化思维的人能够充分发挥充分发挥他们的效率效率。建模工具和测试生成自动化测试执行系统被测系统绘制模型（建模）用例和脚本刺激/反馈demo什么是基于模型的测试在特定应用领域的工具同时生成成用例和可执行脚本需要新的流程和管理特定描述语言的工具Conformiq目前业界的MBT工具有 26+，开源的有10+，分别适合不同的编程语言和特定的领域模型，比如状态机6个，BPMN 3个,流程图 1个什么是基于模型的测试-一些工具 用状态机来表述的行为模型用例生成：在状态和迁移的拓扑图中枚举出多条路径什么是基于模型的测试-概念 用例图和序

3、列图表述的需求模型用例生成：对每个需求将交互过程列举生成测试。将多个序列图综合起来列举可能的交互什么是基于模型的测试-概念 用表格表述的数据模型参数与取值参数与取值P2V1V2P1V1XXV2XXV3XX 还有更多的描述，更多的模型：决策表，分类树。用例生成：对参数取值进行组合产生用例什么是基于模型的测试-概念 基于模型的测试：将被测试对象的某个方面用模型来描述 利用模型的信息产生测试用例和脚本（自动）（可选）自动的执行生成的用例和脚本什么是基于模型的测试-概念基于模型的测试-实施传统人工的流程自动化实现测试分析获得要测试的详细内容测试用例和脚本设计，明确测试的步骤，期待结果和测试集合基于模型

4、的测试-实施减少到减少到若干天若干天测试计划测试计划/策略策略(人工人工)测试分析测试分析/设计设计(人工人工)测试执行测试执行/报告报告(业界普遍可自动化业界普遍可自动化)Product Product PlanPlanRequirementRequirementDesign/ImplementDesign/ImplementRelease/Bug FixRelease/Bug Fix测试计划测试计划/策略策略(工具支持工具支持)测试分析和设计测试分析和设计(自动化生成自动化生成)测试执行和报告测试执行和报告（已自动化）（已自动化）Model Based Test Model Based T

5、est 系统支持系统支持测试计划测试计划/策略策略测试分析设计测试分析设计测试执行测试执行/报告报告定义定义Use CaseUse Case建立执行集合，执建立执行集合，执行，自动生成测试行，自动生成测试报告报告几分钟（人工）几分钟（人工）在浏览器上在浏览器上https:/www.modelhttps:/www.model-drivendriven- 最简单的模型：1.系统的基本用法a.项目，SUT创建b.行为模型建模c.相关脚本输入d.需求模型建模e.模型关联f.用例生成g.可读的用例文本生成起始/结束3状态单状态相关脚本输入建模实践-1 Copy/paste 3State模型到当前项目改名

6、为3States-Gen最简单的模型：1.系统的基本用法a.项目，SUT创建b.行为模型建模c.相关脚本输入d.需求模型建模e.模型关联f.用例生成g.可读的用例文本生成建模实践-1 建模实践-1 最简单的模型：1.系统的基本用法a.项目，SUT创建b.行为模型建模c.相关脚本输入d.需求模型建模e.模型关联f.用例生成g.可读的用例文本生成最简单的模型：1.系统的基本用法a.项目，SUT创建b.行为模型建模c.相关脚本输入d.需求模型建模e.模型关联f.用例生成g.可读的用例文本生成生成的用例建模实践-1 最简单的模型：1.系统的基本用法a.项目，SUT创建b.行为模型建模c.相关脚本输入d

7、.需求模型建模e.模型关联f.用例生成g.可读的用例文本生成建模实践-1 测试生成系统Model Based Test(服务器)大家PC上的浏览器HTTP自动化测试执行系统ScriptEngineServiceTest LogicCommunicationExecution LogicPicCompareAndroid 建模，生成，执行，查看报告执行命令以安卓Uiautomator为例实践2的环境说明测试结果建模实践-2 画模型很简单方便，但要作为测试模型还是有必要的工作流值得遵循第一步：准备-功能理解与分析第二步：建模-建立模型和生成用例第三步：执行-集成，调试和测试执行每一步内还有若干环节

8、建模实践-2 建模与生成1.熟悉app行为开始2.进行抽象考虑3.列出需求4.绘制草图5.列出Use Case功能理解与分析6.绘制模型7.创建USE CASE模型8.关联生成用例9.查看分析生成的用例10.填写子脚本11.脚本/用例调试12.构建自动化测试集合13.MBT在线或离线执行14.查看测试报告模型的执行建模实践-2 1.熟悉app行为实践学习仅涵盖3个功能：分类浏览搜索购物车主界面建模实践-2 1.熟悉app行为实践学习仅涵盖3个功能：分类浏览搜索购物车建模实践-2 1.熟悉app行为实践学习仅涵盖3个功能：分类浏览搜索购物车建模实践-2 1.熟悉app行为实践学习仅涵盖3个功能：

9、分类浏览搜索购物车建模实践-2 建模实践-2 2.进行抽象考虑分类的行为有：滚动，定位到各级分类，点击分类，点击分类的内容，进入浏览商品条目，点击商品特定条目，进入商品详细信息的浏览。以上每一步都是有返回事件进行返回。商品详细信息由商品，详情，评价，推荐组成。每个可以互相通过点击名称来切换。并且返回键会返回“商品”页面。界面的迁移可以抽象为状态的变化分类的内容可以由数据模型来组成。进一步抽象背后的状态为分类，搜索，购物车根据迁移和返回的情况注意到分类，搜索和购物车返回的情况不同。其背后相同的是入口点搜索的行为有：激活搜索框输入搜索点击搜索按钮或选择一个候选词进入搜索结果列表后行为与进入商品浏览

10、相同购物车的行为分为：购物车内容与商品浏览相同编辑功能，编辑状态下可以删除内容2.进行抽象考虑一般在这里还可以初步形成对自动化测试系统提供的API或关键字的“需求”点击APP界面下方“分类”按钮在“分类”画面中“滚动”在“分类”画面中“定位元素”在“分类”画面中定位大分类和子分类（根据显示的“名称”）检查子类内容（是否包含指定的内容，如“男装”大类里的子类是否包含“T恤”。根据参数来定位商品。参数为商品名的字符串。可以是部分匹配。点击进入商品详细自动化系统应提供最基础的操作如”返回“，”home“在自动化执行系统中，应该提供data 变量名 变量值 add/replace。用于数据模型处理在”

11、上海品茶“，点击搜索框进入搜索，输入字符串。该字符串由参数指定点击“搜索进入搜索结果进入购物车添加购物车购物车页面的编辑操作以上原始需求可进一步提炼为自动化测试系统的软件需求。如：对界面元素的“tap”操作可统一为”click“关键字建模实践-2 3.列出需求详细需求用use case来描述概要需求用use case来描述建模实践-2 4.绘制草图行为模型的草图绘制主要的状态来表达最基本的行为根据软件行为添加稍次要的状态建模实践-2 4.绘制草图行为模型的草图通过添加事件描述更详细的行为建模实践-2 建模实践-2 4.绘制草图行为模型的草图出现了二义性：在“商品详情”里“返回”到“商品列表”还是“

12、购物车列表”建模实践-2 4.绘制草图行为模型的草图列表是核心分类是状态（通过返回识别到）列表是核心搜索是状态（通过返回识别到）列表是核心购物车是状态（通过返回识别到）所以考虑重新绘制4.绘制草图行为模型的草图-2分类是状态搜索是状态购物车是状态建模实践-2 4.绘制草图行为模型的草图-2列表是核心建模实践-2 4.绘制草图行为模型的草图-2为避免二义性，不得不重复建模实践-2 4.绘制草图行为模型的草图-2还是有点复杂重复内容太多建模实践-2 4.绘制草图行为模型的草图-3抽象保留核心内容建模实践-2 4.绘制草图行为模型的草图-3抽象程度够了建模实践-2 行为模型的草图-3 对应的用例5.

13、列出Use Case分类浏览购物车操作搜索操作建模实践-2 6.绘制模型在草图的基础上补上行为的细节建模实践-2 6.绘制模型在草图的基础上补上行为的细节明确说明每个状态检查的内容和每个事件触发的动作这里未来将填入自动化脚本片段建模实践-2 7.创建USE CASE模型建模实践-2 8.关联生成用例“关联use case”概念：某组状态和迁移代表的行为“实现”了某个需求。就把这组状态/迁移标记为“主干”。其他与此功能密切相关，经常出现“组合”情况的行为，则标记为“关联”用例生成时，优先生成主干上的路径，其次生成关联路径。非关联的可能带到也可能不被覆盖到。单击用例圈，选中双击状态图上状态，选中设

14、置为“主干”（变为蓝色底色）再次单击，选中设置为“关联”（变为绿色底色）最后点击”Relation”按钮确认用例与行为关联的建立建模实践-2 8.关联生成用例生成算法用参数：Case Size:指要生成的测试用例数量允许的上限。即最多生成不超过多少个用例。即若模型内生成的用例即使全部生成出来也少于这个数量，则不再多加。而模型内生成出来的用例多余这个数量，则去掉重复度多的，逐次递减。Max Loop Size:指允许的最大环的大小。环的大小指环内包含多少节点。Max Steps:指一个用例最长包含多少个步骤。Generation Mode:Full cover全覆盖：包含覆盖主干，关联和未关联的

15、所有状态和迁移。Trunk Relation Cover：包含覆盖主干和关联的路径。（路径中经过未标记的节点也会被“带”到，但不会特意覆盖）Data Model:对数据模型优化的生成算法，对数据进行组合覆盖。设置好参数后，点击生成用例建模实践-2 9.查看分析生成的用例生成的用例集合在项目内可以看到用例图用例生成的测试集合双击9建模实践-2 9.查看分析生成的用例选中生成的用例可以看到用例覆盖的内容建模实践-2 10.填写子脚本针对每个状态/迁移，结合关键字的说明输入子脚本。多条命令可以由”;”隔开建模实践-2 11.脚本/用例调试2.双击启动执行环境1.启动模拟器3.输入用户名密码，点击登陆

16、执行系统和被测试对象启动完毕建模实践-2 11.脚本/用例调试双击打开用例浏览页面点击run按钮进入调试界面选择在哪个执行系统上执行（这里只有一个）9建模实践-2 11.脚本/用例调试调试控制设置断点当前执行到的步骤执行过并通过的步骤可以查看当前执行的log建模实践-2 12.构建自动化测试集合右键调出上下文菜单新建测试集合概念：生成的测试用例在执行时每次生新的执行“实例”。每次执行的结果都应该被记录和保存。9 9建模实践-2 12.构建自动化测试集合编辑自动化测试集合选择加入到测试集合里用例的来源选择加入到测试集合里的测试用例是否实时显示行为状态图用例的过滤器加入到执行集合从执行集合中删除执

17、行顺序组合建模实践-2 12.构建自动化测试集合编辑自动化测试集合通过注意到用例对行为图的覆盖，可以手工选择需要执行的用例建模实践-2 建模实践-2 12.构建自动化测试集合编辑自动化测试集合行为图，直观显示选择的内容模型元素列表，选择要覆盖或排除的模型元素添加/删除要排除的模型元素添加/删除要覆盖的模型元素12.构建自动化测试集合编辑自动化测试集合建模实践-2 12.构建自动化测试集合编辑自动化测试集合排除了要排除的，包含了必须包含的建模实践-2 建模实践-2 12.构建自动化测试集合编辑自动化测试集合加入测试集合，提交12.构建自动化测试集合编辑自动化测试集合测试集合当有执行系统注册到服务

18、器时，可以运行建模实践-2 13.MBT在线或离线执行建模实践-2 13.MBT在线或离线执行在线执行建模实践-2 13.MBT在线或离线执行在线执行建模实践-2 14.查看测试报告建模实践-2 14.查看测试报告另一个运行结果每个UC的用例通过情况每个UC的详细检查点通过情况需求(UC)测试用例检查点追溯矩阵建模实践-2 第二部分：建模实践小结第三部分：业界动态基于模型的测试-ISTQB体系基于模型的测试-ISTQB体系MBT概念MBT建模方法测试生成标准的选择实现与执行评估与实施基于模型的测试-ISO标准化活动SW test methodology（ISO29119）Internation

19、al standard for Software testMerge supportBritish StandardKnowledge&methodologyKevin Chen（Project Editor)29119-8(Model Based test)ISO29119-8 MBT(Model based test)29119-1/2/-5(Keyword driven)CD(Committee draft)FDIS(Final draft international standard,for public release)Target:promote MBT

20、into the new ISO29119Stuart ReidWG26 ChairmanISO29119-1Concept&VocabularyISO29119-2ProcessISO29119-3DocumentationISO29119-4Testing TechniquesISO29119-5Keyword Driven TestingISO29119-6Agile TestingISO29119-7Automotive TestingISO29119-9Game TestingISO29119-10PerformanceTesting29119-7 Automotive Testin

21、g29119-9 Game Testing29119-10 Performance TestingProject EditorReviewer基于模型的测试-ISO标准化活动基于模型的测试-ISO标准化活动流程的标准化整体流程基于模型的测试-ISO标准化活动流程的标准化MBT策略基于模型的测试-ISO标准化活动流程的标准化MBT建模基于模型的测试-ISO标准化活动流程的标准化MBT生成和执行基于模型的测试-ISO标准化活动流程的标准化对传统测试标准流程的修订基于模型的测试-ISO标准化活动流程的标准化MBT相关的度量Output Process Traditional Test Measure

22、ments MBT Specific Model Complexity Model Quality Modelling Efficiency Improvements in development Activities 传统测试度量：测试覆盖通过/失败。MBT的测试度量：模型对需求的覆盖生成的用例脚本的需求覆盖生成的用例和脚本数量每个模型发现的缺陷数量。模型复杂度模型质量建模效率引入基于模型的测试后对开发活动的改善基于模型的测试-ISO标准化活动流程的标准化MBT及相关系统技术架构基于模型的测试-ISO标准化活动流程的标准化MBT及相关系统不同的实施方式基于模型的测试-参考网站http:/mit.bme.hu/micskeiz/pages/modelbased_testing.html不断维护的相当全面的MBT工具和活跃的社区链接索引http:/