图书介绍
计算机软件测试技术PDF|Epub|txt|kindle电子书版本网盘下载
- 郑人杰主编 著
- 出版社： 北京：清华大学出版社
- ISBN：7302010420
- 出版时间：1992
- 标注页数：264页
- 文件大小：13MB
- 文件页数：271页
- 主题词：软件开发
PDF下载
下载说明
计算机软件测试技术PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 绪论1
1.1 软件危机和软件生存期1
1.2 软件测试的意义4
1.5 软件测试发展的历史回顾 16
1.3 什么是软件测试8
1.4 应该怎样认识软件测试10
参考文献21
第二章 软件错误与软件质量保证25
2.1 软件错误类型分析25
2.2 程序中隐藏错误数量估计29
2.3 软件质量因素和质量特性31
2.4 软件质量保证的任务35
2.5 程序排错38
参考文献42
第三章 软件测试策略43
3.1 静态方法与动态方法43
3.2 黑盒测试与白盒测试44
3.3 测试步骤48
3.4 人工测试56
参考文献62
第四章 黑盒测试63
4.1 等价类划分63
4.2 因果图68
4.3 正交实验设计法71
4.4 边值分析78
4.5 判定表驱动测试81
4.6 功能测试85
参考文献92
5.1 程序结构分析93
第五章 白盒测试93
5.2 逻辑覆盖101
5.3 域测试110
5.4 符号测试115
5.5 路径分析118
5.6 程序插装129
5.7 程序变异134
参考文献139
第六章 验收测试与测试文档141
6.1 验收测试141
6.2 软件测试文件145
参考文献155
第七章 测试工具与测试环境156
7.1 测试工具综述156
7.2 COBOL软件测试环境COSTE系统简介173
7.3 FORTRAN程序动态测试工具DTFG系统简介181
7.4 测试工具支持下的测试实施184
参考文献202
第八章 程序正确性证明207
8.1 程序正确性证明概述207
8.2 以公理语义学为基础的正确性证明技术209
8.3 程序综合225
参考文献228
第九章 测试可靠性与软件可靠性230
9.1 测试可靠性理论230
9.2 软件可靠性概念237
9.3 软件可靠性模型243
9.4 软件可靠性在软件测试中的应用250
参考文献257
附录1 软件审查用表258
附录2 有关软件测试的术语261