The Craft of Model-Based Testing

【文件属性】：
文件名称：The Craft of Model-Based Testing
文件大小：14.43MB
文件格式：PDF
更新时间：2021-09-18 03:38:53
基于模型 作者Paul C Jorgensen在他最新的作品中，以他娴熟的工匠的方法来掌握基于模型的测试（MBT）。要成为MBT的专家，软件测试者必须将其理解为工艺，而不是艺术。这意味着测试员应该深入了解基础课题，并在进行建模和测试技术方面进行良好的实践。需要判断，以及了解MBT的工具。 本书的第一部分帮助测试人员制定了这一判断。它从MBT的概述开始，并且深入处理了九个不同的测试模型，其中有一章专门针对每个模型。这些章节通过一对例子相结合：简单的保险费计算和描述车库门控制器的事件驱动系统。该书显示了更简单的模型 – 流程图，决策表和UML活动图表 – 表达了保险费问题的重要方面。它还显示了基于过渡的模型 – 有限状态机，Petri网和状态图是车库门控制器所必需的，但是对保险费问题而言是过度的。每章都描述了模型可以支持MBT的程度。 本书的第二部分让测试人员更了解MBT工具。它检查了六种商业MBT产品，展示了每种产品的突出特点，并展示了使用该产品对保险费和车库门控制器的问题。这些章节各自对组织中实施MBT的建议进行了总结。最后一章描述了六种开放源码工具，用于整理测试人员对MBT的了解。此外，该书还支持国际软件测试认证委员会（ISTQB®）MBT认证课程。 目录 第1部分基于模型的测试模型理论 第1章基于模型的测试概述 第二章流程图 第3章决策表 第四章有限状态机 第5章Petri网 第6章事件驱动的Petri网 第七章状态图 第8章游泳车道事件驱动的Petri网 第9章面向对象的模型 第10章业务流程建模与符号 第2部分基于模型的测试的实践 第11章国际软件测试认证委员会 第12章在组织中实施Mbt 第13章向基于模型的测试工具供应商提供的信息 第14章智慧与认证 第十五章妊娠 第16章Conformiq，Inc 第17章Elvior 第19章验证系统国际有限公司 第20章基于开源模型的测试工具