图书介绍
软件质量保障与测试PDF|Epub|txt|kindle电子书版本网盘下载
![软件质量保障与测试](https://www.shukui.net/cover/13/31558642.jpg)
- 朱鸿,金凌紫著 著
- 出版社: 北京:科学出版社
- ISBN:7030061241
- 出版时间:1997
- 标注页数:254页
- 文件大小:10MB
- 文件页数:270页
- 主题词:软件质量
PDF下载
下载说明
软件质量保障与测试PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
目 录1
中创软件丛书序言1
序1
前言1
第一章引言1
参考文献6
第二章质量7
2.1质量与质量观7
2.2软件质量因素12
2.2.1 质量因素的层次结构12
2.2.2质量要素间的关系18
参考文献21
第三章质量度量22
3.1度量的数学理论22
3.1.1 度量的数学结构23
3.1.2标度与标度类型25
3.1.3度量结果运算的有意义性27
3.1.4 间接度量29
3.2软件质量度量31
3.2.1 McCall的质量度量31
3.2.2软件复杂性度量35
3.3软件质量的综合评价38
参考文献40
第四章质量管理41
4.1质量管理一般原理41
4.1.1概念与术语41
4.1.2质量体系45
4.1.3质量体系的认证48
4.2软件生产的质量体系50
4.2.1质量链与质量环50
4.2.3文档与质量记录54
4.2.2软件质量体系要素54
4.2.4软件质量控制技术56
4.3配置管理与修改控制56
参考文献59
第五章静态测试60
5.1概念与术语60
5.2测试方法62
5.2.1结构化走通62
5.2.2 Fagan检查64
5.3测试内容65
5.3.1 需求定义的静态测试65
5.3.2设计文档的静态测试68
5.3.3源代码的静态测试72
参考文献74
第六章动态测试原理76
6.1概念与术语76
6.2测试过程与方法78
6.3测试的充分性81
参考文献88
第七章控制流测试89
7.1 程序结构的流图模型89
7.2语句测试、分支测试与路径测试93
7.3循环体测试99
7.4 以复杂度为基础的测试102
7.5决策谓词测试103
参考文献107
第八章数据流测试108
8.1概念与术语108
8.2数据的定义-引用关系测试111
8.3数据间交互作用的测试114
8.4计算环境的测试116
8.5结构性数据与动态数据的测试118
8.6过程间的数据流测试121
参考文献123
第九章排错性测试125
9.1 植错法125
9.2变异体测试127
9.2.1测试方法与过程127
9.2.2理论基础129
9.2.3优缺点129
9.3弱变异体测试131
9.4 小结133
参考文献134
第十章分域测试与功能测试137
10.1软件输入空间的分解137
10.1.1按照需求的分解137
10.1.2按照实现的分解141
10.1.3按照需求分解与按照实现分解的结合143
10.2边界条件测试143
10.3功能函数测试148
10.3.1 代数测试149
10.3.2摄动测试150
参考文献151
第十一章测试方法的揭错能力152
11.1揭错能力比较152
11.1.1评判标准152
11.1.2随机测试与选择性测试的比较153
11.1.3 静态测试与动态测试的比较156
11.1.4动态测试方法之间的比较158
11.2影响测试效率的因素161
11.2.1人为因素162
11.2.2软件类型162
11.2.3错误类型163
11.2.4测试充分度164
参考文献165
12.1 Weyuker公理系统167
第十二章测试充分性的公理系统167
12.1.1 公理系统168
12.1.2公理之间的关系174
12.1.3公理系统的推广177
12.1.4与其它性质的关系179
12.1.5对充分性准则的评价182
12.2路径准则的公理系统185
12.2.1 Weyuker公理与路径准则的性质186
12.2.2 BHB公理189
12.2.3公理系统195
12.2.4对控制流准则的评价196
参考文献203
第十三章充分性度量理论205
13.1 数值系统205
13.2公理207
13.3度量理论性质212
13.4.1选择性测试与随机测试214
13.4各种度量方法的特征214
13.4.2 限于程序定义域的和限于功能规约定义域的度量220
13.4.3结构性测试与排错性测试221
参考文献222
第十四章软件测试的逻辑基础——归纳推理223
14.1 Weyuker公理系统的归纳推理解释224
14.1.1 极限识别归纳推理模型224
14.1.2充分性公理的归纳推理解释227
1 4.1.3测试充分性与软件正确性的关系230
14.2 充分性度量公理系统的归纳推理解释235
14.2.1 概率近似归纳推理模型236
14.2.2充分性度量的归纳推理解释239
14.2.3测试充分度与软件可靠性的关系242
参考文献246
索引249