基于模型的测试：一个软件工艺师的方法

基本信息

• 商品名称：基于模型的测试：一个软件工艺师的方法
• 作者：[美]保罗·C. 乔根森（Paul C. Jorgensen)
• 定价：79
• 出版社：机械工业
• ISBN号：9787111628989

其他参考信息（以实物为准）

• 出版时间：2019-07-01
• 印刷时间：2019-07-02
• 版次：1
• 印次：1
• 开本：16开
• 包装：平装
• 页数：268
• 字数：170千字

内容提要

本书是知名的“Craftsman”系列软件测试书籍中的新作，主要讨论基于模型的测试（MBT）技术。第壹部分讲解理论知识，介绍了9种不同的测试模型。第二部分关注实践方法，涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子，一个简单的保费计算系统，一个事件驱动的车库门控系统，以帮助读者深入理解建模过程和工具的应用技巧。

作者简介

作者简介 The Craft of Model-Based Testing Paul C. Jorgensen博士从事电话交换系统软件开发工作20年，这是他的 份职业。他于1986年开始了大学教学工作，先在位于亚利桑那州坦佩市的亚利桑那州立大学教授研究生的软件工程课程，后于1988年在位于密歇根州阿伦达尔的大峡谷州立大学担任正教授。在从事学术工作之余，他还短暂从事过“软件范型”的咨询业务。他曾服务于数据系统语言会议（CODASYL）、计算机协会（ACM）、电气和电子工程师协会（IEEE）标准委员会。2012年，他所在大学以“杰出学科贡献奖”表彰了他这一生的成就。
  除了他的软件测试书籍《Software Testing: A Craftsman’s Approach》（第4版）之外，他还是《Modeling Software Behavior: A Craftsman’s Approach》一书的作者，以及《Mathematics for Data Processing》（McGraw-Hill，1970）一书和《Structured Methods—Merging Models, Techniques, and CASE》（McGraw-Hill, 1993）一书的合著者。*近，Jorgensen博士参与了 软件测试评定委员会（ISTQB）的工作，他与人合作编写了相关工作的 教学大纲，并担任了ISTQB术语工作组的副 。他是ISTQB“基于模型的测试”教学大纲的审阅者。
  在意大利生活和工作的三年，使他成为一个坚定的“Italophile”（喜爱意大利的人）。他和妻子Carol以及女儿Kirsten和Katia曾多次访问那里的朋友。自2000年以来，Paul和Carol每年夏天都会在南达科他州Pine Ridge保护区的Porcupine学校做志愿者。他的大学电子邮件地址是jorgensp@gvsu.edu，他在2017年夏天成为荣誉退休教授，也可以通过pauljorgensen42@gmail.com联系他。

目录

目　录
The Craft of Model-Based Testing
出版者的话
译者序
前言
致谢
作者简介
部分　基于模型测试的模型理论
第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
0章　业务流程建模和标识 142
10.1　定义与表示法 142
10.2　技术详解 143
10.3　案例分析 143
10.4基于业务流程建模和标识定义派生的测 例 143
10.4.1　保费计算问题 143
10.4.2　车库门控系统 144
10.5　优势与局限 144
第二部分　基于模型测试的实践
1章 软件测试评定委员会 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
2章　在组织内实施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
3章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
4章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
5章　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
6章　Conformiq公司产品 190
16.1　简介 190
16.1.1　产品特性 190
16.1.2Conformiq 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
7章　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
8章　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
9章　 验证系统公司产品 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