- 作 者：周之英，郑人杰译
- 出 版 社：北京：清华大学出版社
- 出版年份：1985
- ISBN：15235·163
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
目录 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