基于模型的测试：一个软件工艺师的方法 pdf 网盘 高速 下载地址大全 免费

本书是知名的“Craftsman”系列软件测试书籍中的新作，主要讨论基于模型的测试（MBT）技术。作为一门手艺而非艺术，其关键在于：对被测软件或系统的理解，选择合适工具的能力，以及使用这些工具的经验。围绕这三个方面，书中不仅综合阐述了MBT的理论知识及工具，而且分享了作者的实战经验。 本书共两个部分：第一部分讲解理论知识，介绍了9种不同的测试模型，包括流程图、决策表、有限状态机、Petri网和UML等；第二部分关注工具及实践，介绍了6个商用的MBT产品和6个开源的MBT工具，包括Yest、CertifyIt、TestOptimal和ModelJUnit 2.5等。书中设计了两个贯穿各章的例子，一个简单的保费计算系统，一个事件驱动的车库门控系统，以帮助读者深入理解建模过程和工具的应用技巧。

出版者的话 译者序 前言 致谢 作者简介 第一部分　基于模型测试的模型理论 第1章　基于模型测试概述 2 1.1　基本术语 2 1.2　事件 3 1.3　测试用例 4 1.4　测试用例的执行框架 4 1.5　MBT中的模型 4 1.6　ISTQB中的MBT扩展 5 1.7　MBT的形式 5 1.8　案例集 5 1.8.1　单元级问题：保费计算 5 1.8.2 系统级问题：车库门控系统 6 1.8.3　其他案例 7 1.9　MBT的技术现状 8 参考文献 9 第2章　流程图 10 2.1　定义与表示法 10 2.2　技术详解 10 2.3　案例分析 12 2.3.1　日期计算函数 12 2.3.2　风寒指数表 12 2.3.3　保费计算流程图 13 2.3.4　车库门控系统流程图 13 2.4　基于流程图派生的测试用例 15 2.4.1　保费计算问题的测试用例 15 2.4.2　车库门控系统的测试用例 17 2.5　优势与局限 18 2.6　经验教训 20 参考文献 20 第3章　决策表 21 3.1　定义与表示法 21 3.2　技术详解 22 3.2.1　决策表的精简 22 3.2.2　有互斥条件的决策表 22 3.2.3　冗余和不一致的决策表 24 3.2.4　决策表引擎 24 3.3　案例分析 25 3.3.1　日期计算函数 25 3.3.2　汽车刮水器控制器 26 3.3.3　铁路道口门控制器 27 3.4　基于决策表派生的测试用例 28 3.4.1　保费计算问题的决策表 28 3.4.2　车库门控系统的决策表 30 3.4.3　车库门控系统的测试用例 31 3.5　优势与局限 32 3.6　经验教训 32 参考文献 33 第4章　有限状态机 34 4.1　定义与表示法 34 4.1.1　有限状态机的矩阵表达 35 4.1.2　有限状态机的文本表达 36 4.1.3　有限状态机的惯例与约束 36 4.2　技术详解 38 4.2.1　有限状态机的解释 38 4.2.2　有限状态机的实践 40 4.2.3　有限状态机引擎 40 4.3　案例分析 41 4.3.1　汽车刮水器控制器 41 4.3.2　铁路道口门控制器 43 4.4　基于有限状态机派生的测试用例 44 4.4.1　保费计算问题 45 4.4.2　车库门控系统 46 4.5　经验教训 47 4.6　优势与局限 48 参考文献 49 第5章　Petri网 50 5.1　定义与表示法 50 5.1.1　可变迁与可点火 51 5.1.2　惯例 51 5.1.3　非图形化的表达方式 52 5.2　技术详解 53 5.2.1　顺序、选择和循环 54 5.2.2　可用、不可用和激活 55 5.2.3　触发 55 5.2.4　挂起、恢复和暂停 55 5.2.5　冲突和优先级 56 5.2.6　互斥 56 5.2.7　同步 56 5.2.8　标记和可用序列 57 5.2.9　Petri网和有限状态机 58 5.2.10　Petri网引擎 58 5.3　案例分析 59 5.3.1　生产者-消费者问题 59 5.3.2　汽车刮水器控制器 61 5.4　基于Petri网派生的测试用例 62 5.4.1　保费计算问题 63 5.4.2　车库门控系统 65 5.5　经验教训 69 5.6　优势与局限 70 参考文献 71 第6章　事件驱动的Petri网 72 6.1　定义与表示法 73 6.1.1　可变迁与可点火 74 6.1.2　惯例 76 6.1.3　非图形化的表达方式 76 6.2　技术详解 77 6.2.1　上下文敏感输入事件 78 6.2.2　多原因输出事件 78 6.2.3　事件静默 78 6.2.4　事件驱动Petri网的引擎 78 6.2.5 事件驱动Petri网的优势与局限 79 6.3　案例分析 79 6.3.1　铁路道口门控制器 79 6.3.2　汽车刮水器控制器 80 6.4 基于事件驱动Petri网派生的测试用例 82 6.4.1　保费计算问题 83 6.4.2　车库门控系统 83 6.5　经验教训 89 6.6　优势与局限 91 参考文献 92 第7章　状态图 93 7.1　定义与表示法 93 7.2　技术详解 95 7.2.1　基于广播机制的交互 96 7.2.2　状态图引擎 96 7.2.3 基于状态图派生的测试用例 97 7.3　案例分析 98 7.3.1　铁路道口门控制器 98 7.3.2　汽车刮水器控制器 98 7.4　后续问题 99 7.4.1　保费计算问题 99 7.4.2　车库门控系统 99 7.5　经验教训 104 7.6　优势与局限 105 参考文献 105 第8章　泳道型事件驱动的Petri网 106 8.1　定义与表示法 106 8.1.1　可变迁与可点火 106 8.1.2 泳道型事件驱动的Petri网中的事件 107 8.2　技术详解 107 8.2.1　使用泳道模型 107 8.2.2　“模型检验” 109 8.2.3 基于泳道型事件驱动的Petri网派生的测试用例 110 8.3　后续问题 112 8.3.1　保费计算问题 112 8.3.2　车库门控系统 112 8.4 泳道型事件驱动的Petri网派生的测试用例 120 8.5　经验教训 120 参考文献 121 第9章　面向对象的模型 122 9.1　定义与表示法 123 9.1.1　用例图 124 9.1.2　活动图 125 9.1.3　状态图 126 9.1.4　顺序图 126 9.2　案例分析 127 9.3　后续问题 127 9.3.1　保费计算问题 127 9.3.2　车库门控系统 128 9.4 基于UML模型派生的测试用例 138 9.4.1　基于活动图的测试用例 138 9.4.2　基于用例的测试用例 138 9.4.3　基于用例图的测试用例 139 9.4.4　基于顺序图的测试用例 139 9.4.5　基于状态图的测试用例 139 9.5　优势与局限 139 参考文献 141 第10章　业务流程建模和标识 142 10.1　定义与表示法 142 10.2　技术详解 143 10.3　案例分析 143 10.4 基于业务流程建模和标识定义派生的测试用例 143 10.4.1　保费计算问题 143 10.4.2　车库门控系统 144 10.5　优势与局限 144 第二部分　基于模型测试的实践 第11章 国际软件测试评定委员会 148 11.1　ISTQB组织 148 11.2　认证等级 148 11.3　ISTQB的MBT大纲 149 11.3.1　基于模型测试的简介 149 11.3.2　基于模型测试的建模 149 11.3.3　测试用例设计的选择标准 150 11.3.4　MBT测试的实施与执行 150 11.3.5　评估和部署MBT的方法 151 参考文献 152 第12章　在组织内实施MBT 153 12.1　开始 154 12.1.1　识别改变的必要性 154 12.1.2　技术捍卫者 155 12.2　起步 155 12.2.1　候选的MBT产品 155 12.2.2　成功标准 156 12.2.3　试点项目 156 12.3　培训与教育 156 12.4　经验教训 157 12.4.1　物料 157 12.4.2　工具 159 12.4.3　使用工具的能力 159 参考文献 159 第13章 MBT测试工具供应商的信息 160 13.1　模板 160 13.2　单元级问题：保费计算问题 160 13.2.1　问题描述 160 13.2.2　问题模型 161 13.2.3 保费计算问题的程序代码（VB语言） 164 13.3　系统级问题：车库门控系统 165 13.3.1　问题描述 165 13.3.2　问题模型 165 13.3.3 车库门控系统的程序代码（VB语言） 167 第14章 Smartesting公司的Yest和CertifyIt工具 170 14.1　简介 170 14.1.1　产品架构 170 14.1.2　用户支持 171 14.2　使用Yest测试保费计算问题 171 14.3 使用CertifyIt测试车库门控系统174 14.4　供应商的建议 180 参考文献 181 第15章　TestOptimal公司产品 182 15.1　简介 182 15.1.1　产品架构 183 15.1.2　TestOptimal产品套件 183 15.1.3　用户支持 184 15.2　保费计算问题的测试结果 184 15.3　车库门控系统的测试结果 185 15.4　供应商的建议 189 第16章　Conformiq公司产品 190 16.1　简介 190 16.1.1　产品特性 190 16.1.2 Conformiq 360°自动化测试套件 192 16.1.3　用户支持 193 16.2　保费计算问题的测试结果 193 16.2.1　Conformiq Creator的输入 194 16.2.2　生成的测试用例 195 16.2.3　测试覆盖率分析 198 16.3　车库门控系统的测试结果 203 16.3.1 输入图和QML文本文件 203 16.3.2　生成的测试用例 204 16.3.3　追踪矩阵 206 16.4　供应商的建议 208 参考文献 209 第17章　Elvior公司产品 210 17.1　简介 210 17.1.1　Elvior的TestCast工具集 210 17.1.2　相关的测试服务 211 17.2　保费计算问题的测试结果 211 17.2.1　被测系统建模 211 17.2.2　测试覆盖与测试生成 212 17.3　车库门控系统的测试结果 215 17.3.1　被测系统建模 215 17.3.2　测试覆盖与测试生成 215 17.4　供应商的建议 219 第18章　sepp.med公司产品 221 18.1　简介 221 18.1.1　sepp.med概述 221 18.1.2　MBTsuite概述 221 18.1.3　用户支持 222 18.2　保费计算问题的测试结果 222 18.2.1　问题输入 222 18.2.2　生成的测试用例 225 18.2.3　其他供应商提供的信息 229 18.3　车库门控系统的测试结果 229 18.3.1　问题输入 229 18.3.2　生成的测试用例 230 18.3.3　其他供应商提供的信息 234 18.4　供应商的建议 234 参考文献 235 第19章　国际验证系统公司产品 236 19.1　简介 236 19.1.1　RT-Tester工具箱 236 19.1.2 基于模型的测试组件RTT-MBT 238 19.2　案例分析：保费计算问题 242 19.3　案例分析：车库门控系统 244 19.4　供应商的建议 248 参考文献 250 第20章　开源的MBT工具 251 20.1　ModelJUnit 2.5 251 20.1.1　ModelJUnit 2.5概述 251 20.1.2 利用ModelJUnit 2.5测试车库门控系统 251 20.1.3　小结 254 20.2　Spec Explorer 254 20.2.1　Spec Explorer概述 254 20.2.2　Spec Explorer使用方法 254 20.2.3　小结 260 20.3　MISTA 261 20.3.1　MISTA概述 261 20.3.2　MISTA使用方法 262 20.3.3　小结 264 20.4　Auto Focus 3 264 20.4.1　Auto Focus 3概述 264 20.4.2　Auto Focus 3使用方法 265 20.4.3　小结 265 20.5　Graphwalker 266 20.5.1　Graphwalker概述 266 20.5.2　Graphwalker使用方法 266 20.5.3　小结 267 20.6　fMBT 267 20.6.1　fMBT概述 267 20.6.2　fMBT使用方法 268 20.6.3　小结 268 参考文献 268

保罗·C. 乔根森（Paul C.Jorgensen) 软件工程领域的知名学者，大峡谷州立大学荣誉退休教授，在软件产业界和教育界拥有50多年的从业经验。在职业生涯的前20年中，他主要从事工业软件开发和管理工作。1986年以来，他一直在大学为研究生讲授软件工程课程并进行相关研究。他著有《Software Testing：A Craftsman's Approach》和《Modeling Software Behavior：A Craftsman's Approach》等书籍，在程序员中影响甚广。

暂无其它内容！

暂时还没有人为这本书评论！