图书介绍

软件质量保障与测试PDF|Epub|txt|kindle电子书版本网盘下载

软件质量保障与测试
  • 朱鸿,金凌紫著 著
  • 出版社: 北京:科学出版社
  • ISBN:7030061241
  • 出版时间:1997
  • 标注页数:254页
  • 文件大小:10MB
  • 文件页数:270页
  • 主题词:软件质量

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示:(请使用BT下载软件FDM进行下载)软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]

下载说明

软件质量保障与测试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

热门推荐