- 作 者：周之英，郑人杰译
- 出 版 社：北京：清华大学出版社
- 出版年份：1985
- ISBN：15235·163
- 标注页数：209 页
- PDF页数：217 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源217 ≥209页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录 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