目录 1
第一章 自我测验 1
第二章 程序测试的心理学问题和经济学问题 4
2.1 程序测试的经济学 8
2.2 测试原则 13
参考资料 18
第三章 程序审查会，人工运行及复查 19
3.1 审查会和人工运行 20
3.2 代码审查会 22
3.3 一份供审查会用的错误检验单 25
3.4 人工运行 38
3.5 静态检验 39
3.6 等级评定 40
参考资料 41
第四章 测试情况的设计 43
4.1 逻辑覆盖测试 44
4.2 等价类划分 52
4.3 边值分析 58
4.4 因果图 64
4.5 猜错 84
4.6 策略 86
参考资料 87
第五章 模块测试 88
5.1 测试情况的设计 89
5.2 增式测试………………………………………………？5.3 自顶向下测试与自底向上测试 108
5.4 测试的执行 118
参考资料 120
第六章 高级测试 121
6.1 功能测试 125
6.2 系统测试 126
6.3 验收测试 137
6.4 安装测试 137
6.5 测试计划和控制 138
6.6 测试完成的标准 140
6.7 独立测试机构 146
参考资料 147
第七章 纠错 149
7.1 强力法纠错 150
7.2 归纳法纠错 153
7.3 演绎法纠错 156
7.4 回溯纠错 161
7.5 测试纠错 161
7.6 纠错原则 162
7.7 错误分析 165
参考资料 167
第八章 测试工具和其它测试方法 168
8.1 模块驱动工具 168
8.2 静态流分析工具 170
8.3 测试覆盖监控程序 173
8.4 程序正确性的数学证明 174
8.5 程序正确性证明系统 178
8.6 符号执行系统 179
8.7 测试数据生成程序 182
8.8 环境模拟程序 184
8.9 寄生回路分析 186
8.10 虚拟机 186
8.11 数学软件测试 187
8.12 软件错误研究 189
8.13 软件错误的数据收集 192
8.14 预测模型 193
8.15 复杂性测量 197
8.16 程序库系统 199
8.17 测试实验 200
8.18 纠错实验 202
8.19 交互式纠错工具 203
8.20 编译程序纠错辅助手段 205
8.21 程序状态监控程序 206
8.22 计算机体系结构 207
8.23 有关参考资料的说明 209