文件名称:
The Craft of Model-Based Testing
开发工具:
文件大小: 14mb
下载次数: 0
上传时间: 2018-08-29
详细说明： 作者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章基于开源模型的测试工具 ...展开收缩
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
