子系统测试概述 1
第一部分 基本手段 16
第1章 规格说明 16
1.1 规格说明的要素 16
1.1.1 前提 16
1.1.2 后果 17
1.1.3 定义 18
1.2 检查规格说明 19
1.2.1 不完备 19
1.2.2 模糊 19
第2章 SREADHEX例子介绍 20
2.1 引入 20
2.2 规格说明 21
2.3 代码 23
第3章 构建测试需求检查单 26
3.1.1 前提与后果 27
3.1 查找规格说明中的线索 27
3.1.2 变量 28
3.1.3 操作 28
3.1.4 定义 28
3.2 查找代码中的线索 29
3.2.1 变量 29
3.2.2 模式操作 30
3.2.3 函数调用 31
3.3 找出SREADHEX的线索 32
3.3.1 代码 34
3.3.2 我们现在所处的位置 36
3.4 通过前提、后果和定义获取测试需求 36
3.4.1 简单验证前提 36
3.4.2 使用OR的验证前提 37
3.4.3 使用AND的验证前提 40
3.4.4 AND和OR组合验证前提 41
3.4.5 假设前提 42
3.4.6 后果 43
3.4.7 定义 45
3.5 找出SREADHEX的测试需求 46
3.6 通过大纲确定测试需求 51
3.7 通过SREADHEX说明大纲的使用 52
3.8 我们现在所处的位置 77
3.9 使用测试需求大纲规则小结 78
3.10 集成测试需求 79
3.10.1 集成测试需求的一个例子 81
3.10.2 另一个例子 81
3.10.3 最后一个例子 83
3.11 SREADHEX的集成测试需求 83
3.12 错误猜测 83
3.13 根据规格说明扫描代码 84
第4章 测试规格说明 85
4.1 标记将要使用的规格说明 86
4.2 一般测试规格说明 86
4.3 错误测试规格说明 93
4.4 构建测试规格说明要注意的问题 94
4.5 有关测试形式的规则 95
4.6 有关测试内容的规则 96
4.7 分别测试规格说明和代码 99
4.7.1 通过规格说明处理需求 99
4.7.2 根据代码进行需求的while处理 100
4.8 SREADHEX测试规格说明 100
4.8.1 设计注释 102
4.8.2 测试1 103
4.8.3 测试2 104
4.8.4 测试3 109
4.8.5 测试3(续) 111
4.8.6 测试4 114
4.8.7 测试5、6和7 118
4.8.8 测试8 119
4.9 我们现在所处的位置 122
5.1.2 比较实际结果和预期结果 123
5.1.1 向子系统提供输入 123
5.1 测试驱动器 123
第5章 测试驱动器与套件驱动器 123
5.2 套件驱动器 125
5.3 测试自己的驱动器 126
5.4 SREADHEX驱动器 126
5.4.1 大纲与文件结构 126
5.4.2 驱动器与桩 127
5.4.3 运行测试 128
5.5 我们现在所处的位置 129
第6章 采用问题大纲审查代码 130
6.1 责任 131
6.2 审查SREADHEX 132
第7章 利用覆盖率检验测试套件 134
7.1 覆盖率的类型 134
7.2 不可行的覆盖率 136
7.3 运用覆盖率信息 137
7.3.2 需要小心运用覆盖率的一个例子 139
7.3.1 覆盖率成本的一个例子 139
7.4 一个较大例子 140
7.4.1 程序 140
7.4.2 使用通用覆盖率工具(GCT) 141
7.4.3 覆盖率 142
7.4.4 新测试 145
7.5 SREADHEX的覆盖率 145
7.6 我们现在所处的位置 149
第8章 清理 150
第9章 其他提示 151
9.1 使用优先级较低的需求 151
9.2 不确定的限制 151
第二部分 实施子系统测试 154
第10章 实施 154
10.1 运用覆盖率 154
10.2 改进测试规格说明 154
10.3 改进测试需求 155
10.4 并行改进规格说明分析 156
第11章 完善 157
第三部分 实践中的子系统测试 162
第12章 使用更典型的规格说明 162
12.1 例子：GREPORT 163
12.2 过程 165
12.3 练习 172
12.4 通过代码导出规格说明 175
13.1.1 制订测试进度表 180
13.1 复杂性的应对方案 180
第13章 处理大型子系统 180
13.1.2 例程需求 181
13.1.3 较大子系统中的ERROR需求 183
13.2 大型子系统的危险 185
13.2.1 内部测试驱动器 186
13.2.2 外部调试器 189
13.2.3 没有调试器时的方法 189
13.3 选择子系统 189
第14章 测试错误修改与其他维护变更 191
14.1 一个例子 193
14.2 测试变更的基本过程 193
14.3 传播缺陷 197
14.4 相似性缺陷 200
14.5 测试较大变更 201
14.6 测试套件退化 202
第15章 时间进度压力下的测试 203
15.1 没有足够时间的测试 203
15.2 几乎没有足够时间的测试 204
第四部分 举例与扩展 206
第16章 句法测试 206
16.1 符号 206
16.2 测试需求 208
16.2.1 邻近项 209
16.2.2 序列 209
16.2.3 替换项 209
16.2.4 简单重复 210
16.2.5 重复与替换项 211
16.3 交互 213
第17章 第二个完整例子：MAX 215
17.1 规格说明 215
17.2 通过规格说明导出测试 216
17.2.1 线索 216
17.2.2 来自前提和后果的需求 217
17.2.3 扫描大纲 218
17.2.4 测试设计 227
17.3 通过代码导出测试 231
17.4 使用问题大纲 236
17.5 测试驱动器与测试运行 238
17.6 使用覆盖率 241
第18章 测试一致性关系 243
18.1 构建测试需求检查单 250
18.1.1 基本检查单 250
18.1.2 增加缺陷可视性的注释 253
18.1.3 测试这个例子 259
18.2.1 多于两个变量 261
18.2 多样性问题 261
18.2.2 检验子系统的其他部分 263
18.2.3 如果检查由库例程完成 266
18.2.4 未检查或不可能的ERROR需求 267
18.2.5 如果多个变量可以同时变更 267
第19章 状态机与状态图 271
19.1 状态机 271
19.1.1 实现 272
19.1.2 稀疏状态机 275
19.1.3 冗余迁移 275
19.2 状态图 276
19.2.1 状态行动 276
19.2.2 条件状态迁移 278
19.2.3 嵌套状态 279
19.2.4 历史信息 282
19.2.5 状态图实现框架 283
19.3.1 模型什么时候有用 285
19.3 什么时候和怎样构建模型 285
19.3.2 构建模型 286
19.4 审查状态机和状态图 288
19.4.1 检查模型 288
19.4.2 审查行动 291
19.4.3 检查实现映射 291
19.5 测试状态机和状态图 291
19.5.1 测试需求 292
19.5.2 来自状态图的需求 294
19.5.3 测试规格说明 296
19.5.4 测试实现 298
19.5.5 覆盖率 299
19.6 多个状态机 299
19.6.1 独立状态机 299
19.6.2 通信状态机 302
第20章 测试使用可重用软件的子系统 305
20.1 测试需求 305
20.2 覆盖率 307
第21章 测试基于对象的软件 308
21.1 背景 308
21.1.1 术语 309
21.1.2 其他方法 310
21.2 子系统规模与测试实现 310
21.2.1 两种特例 312
21.2.2 另一种方法 312
21.3 类测试需求大纲 313
21.3.1 组织 313
21.3.2 第一步：对象使用需求 314
21.3.3 第二步：状态机需求 315
21.3.4 第三步：成员函数集成需求 315
21.3.5 第四步：对象的聚合 316
21.4 使用类需求大纲 316
21.5 时间进度压力 316
第22章 面向对象的软件1:继承 318
22.1 测试规格说明与实现 320
22.2 导出类的类型 322
22.3 导出类需求大纲 325
22.3.1 复制基类需求大纲 325
22.3.2 处理新成员 327
22.3.3 处理顶替成员函数 327
22.3.4 处理继承成员函数 329
22.3.5 更新剩余的对象使用需求 330
22.3.6 更新状态机需求 330
22.3.7 多继承 331
22.4 成员函数的测试需求检查单 331
22.4.1 新的成员函数 331
22.4.2 顶替成员函数 331
22.4.3 继承成员函数 332
22.5 针对已变更外部例程的测试需求检查单 332
22.6 通用性(模板) 333
23.1 abstract_hash_table:一个抽象类 338
第23章 测试导出类的一个例子 338
23.2 hash_table:一个导出类 345
23.2.1 hash_table大纲 346
23.2.2 hash_table成员函数的测试需求检查单 347
23.2.3 hash_table测试规格说明与实现 349
23.3 checking_hash_table:另一个导出类 349
23.3.1 checking_hash_table大纲 350
23.3.2 checking_hash_table成员函数的测试需求检查单 352
23.3.3 实现checking_hash_table测试 353
23.4 abstract_hash_table＜Item，sz＞：模板类 353
第24章 面向对象的软件2:动态捆绑 357
24.1 虚拟调用需求大纲 357
24.1.1 捆绑虚拟调用大纲 358
24.1.2 怎样处理数据成员？ 363
24.1.3 在变更中构建虚拟调用大纲 364
24.2.2 增加了导出类 365
24.2.3 维护 365
24.2 使用虚拟调用需求大纲 365
24.2.1 编写了新的外部代码 365
第五部分 测试需求的乘积 369
第25章 简单测试需求乘积 369
25.1 变量需求可达性 369
25.1.1 过程——通过规格说明和代码来处理 374
25.1.3 测试大型子系统的含意 376
25.1.4 举例：一致性检查 376
25.1.2 过程——只通过规格说明来处理 376
25.1.5 举例：根据sreadhex规格说明来处理 377
25.1.6 举例：构建sreadhex规格说明 378
25.2 复杂布尔表达式 379
25.2.1 导出需求的大纲 380
25.2.2 举例 382
25.3 创建布尔便利定义 382
25.3.1 过程 384
25.3.2 greport例子 386
25.3.3 greport的其他问题 387
25.4 数据流测试 389
25.5 一些理论 392
第26章 操作测试需求的乘积 394
26.1 过程 396
26.1.1 找出交互线索 396
26.1.2 乘积 398
26.1.3 覆盖率 399
26.1.4 举例 400
26.2 发散操作 401
第六部分 附录 404
附录A 测试需求大纲(学生版) 404
附录B 测试需求大纲(标准版) 414
附录C 与POSIX有关的测试需求大纲(部分样本) 432
附录D 代码审查问题大纲 435
附录E 复杂布尔表达式需求大纲 440
附录F 用于测试编写内容的检查单 447
参考文献 460
术语表 466