软件测试导论PDF|Epub|txt|kindle电子书版本网盘下载

软件测试导论PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 绪论1

1.1 软件测试的历史和发展1

1.1.1 软件测试的起源1

1.1.2 软件质量问题2

1.1.3 软件测试的发展3

1.2 软件测试术语5

1.3 软件缺陷管理9

1.3.1 缺陷生存周期9

1.3.2 缺陷的描述及属性10

1.4 软件质量模型的发展12

1.4.1 GB/T 16260—1996软件质量模型12

1.4.2 GB/T 16260—2006软件质量模型12

1.4.3 ISO/IEC 25010—2014软件质量模型14

1.4.4 基于质量模型的软件测试标准16

1.5 软件测试模型17

1.5.1 V模型17

1.5.2 W模型18

1.5.3 X模型19

1.5.4 H模型19

1.6 软件测试的局限性20

1.6.1 软件测试的覆盖问题20

1.6.2 穷举测试的局限性22

1.6.3 缺陷的隐蔽性23

1.6.4 软件测试的杀虫剂效应25

1.7 软件测试的分类27

1.7.1 软件功能测试分类27

1.7.2 根据测试阶段分类28

第2章 传统的黑盒测试33

2.1 边界值分析33

2.1.1 边界值分析概念33

2.1.2 边界值分析原则34

2.1.3 边界值确定和分析法35

2.1.4 边界值测试举例44

2.2 等价类47

2.2.1 等价类的概念48

2.2.2 等价类的划分及依据49

2.2.3 等价类测试举例51

2.3 决策表54

2.3.1 决策表的概念54

2.3.2 决策表的建立54

2.3.3 决策表的简化55

2.3.4 决策表规则数统计57

2.3.5 决策表特性59

2.3.6 决策表测试用例设计60

2.4 因果图62

2.4.1 因果图的概念62

2.4.2 因果图设计63

2.4.3 利用因果图设计测试用例63

第3章 基于控制流的测试67

3.1 概述67

3.2 图论基础72

3.3 流程图结构以及表示74

3.4 Python中的条件和判定76

3.4.1 条件与布尔值认定76

3.4.2 判定与短路计算79

3.5 语句覆盖80

3.5.1 语句覆盖定义及其测试81

3.5.2 语句覆盖的优缺点84

3.5.3 语句覆盖与死代码86

3.6 判定覆盖88

3.6.1 判定覆盖简介88

3.6.2 两路分支覆盖89

3.6.3 多路分支覆盖89

3.6.4 不可达分支91

3.6.5 异常处理多分支覆盖92

3.6.6 复合判定覆盖96

3.7 条件覆盖99

3.7.1 简单条件覆盖99

3.7.2 条件判定覆盖102

3.7.3 条件组合覆盖106

3.8 修正条件判定覆盖107

3.8.1 修正条件判定覆盖的定义107

3.8.2 唯一原因法生成MC/DC测试用例109

3.8.3 屏蔽法生成MC/DC测试用例111

3.8.4 二叉树法生成MC/DC测试用例112

3.8.5 MC/DC的进一步讨论115

3.9 路径覆盖117

3.9.1 程序和控制流图表示117

3.9.2 独立路径和圈复杂度121

3.9.3 基本路径覆盖126

第4章 组合测试130

4.1 多参数的故障模型130

4.2 利用正交表实现测试132

4.2.1 拉丁方阵132

4.2.2 正交表135

4.2.3 正交表的性质138

4.2.4 正交表测试139

4.3 组合测试的数学基础和定义143

4.4 成对组合测试用例的生成策略146

4.4.1 CATS算法147

4.4.2 AETG法150

4.4.3 IPO法151

4.4.4 GA法155

4.5 可变强度和具有约束的组合测试157

4.5.1 混合强度的组合测试158

4.5.2 参数值之间的约束160

4.5.3 种子组合和负面测试162

第5章 基于有限状态机的测试167

5.1 有限状态机的定义167

5.1.1 有限状态机167

5.1.2 确定有限状态机和非确定有限状态机170

5.1.3 确定有限状态机和非确定有限状态机的转换172

5.1.4 带状态输出的有限自动机175

5.2 基于有限状态机测试的假设和特性180

5.3 有限状态机的故障模型181

5.4 基于有限状态机的测试183

5.4.1 概述183

5.4.2 状态覆盖测试184

5.4.3 迁移覆盖测试186

5.4.4 周游法（T方法）187

5.4.5 区分序列法（D方法）189

5.4.6 特征序列法（W方法）193

5.4.7 唯一输入／输出序列（U方法）202

第6章 面向对象结构的软件测试209

6.1 Python面向对象209

6.2 Python面向对象编程基础210

6.3 基于类属性和对象属性的测试213

6.4 基于对象创建和销毁的测试220

6.4.1 基于类创建和继承测试220

6.4.2 基于多重继承初始化方法的测试223

6.4.3 多重继承方法解释顺序的测试228

6.4.4 基于对象销毁的测试229

6.5 基于装饰器的测试233

6.6 基于多态的测试240

第7章 基于UML的软件测试246

7.1 UML概念和建模246

7.2 基于用例的软件测试248

7.2.1 用例图的概念248

7.2.2 用例图的覆盖准则250

7.2.3 用例图的测试用例设计255

7.3 基于类图的软件测试260

7.3.1 类图的概念260

7.3.2 类图的覆盖准则264

7.3.3 类图的测试用例设计265

7.4 基于活动图的软件测试268

7.4.1 活动图的概念268

7.4.2 活动图的覆盖准则270

7.4.3 活动图的测试用例设计274

7.5 基于序列图的软件测试282

7.5.1 序列图的概念282

7.5.2 序列图的覆盖准则285

7.5.3 序列图的测试用例设计290

7.6 基于状态图的软件测试方法296

7.6.1 状态图的概念296

7.6.2 状态图的覆盖准则299

7.6.3 状态图的测试用例设计301

第8章 其他测试技术309

8.1 基于Petri网的测试用例生成309

8.1.1 Petri网的定义309

8.1.2 着色Petri网311

8.1.3 几种常见的系统结构模型314

8.1.4 Petri网的行为性质316

8.1.5 基于Petri网的测试318

8.2 蜕变测试327

8.2.1 蜕变测试的出发点327

8.2.2 蜕变测试的基本理论328

8.2.3 蜕变测试的过程329

8.2.4 蜕变测试的例子330

8.3 基于变异的软件测试方法337

8.3.1 变异测试的概念337

8.3.2 变异算子338

8.3.3 变异测试的过程345

8.4 基于故障树的软件测试方法350

8.4.1 故障树的概念351

8.4.2 故障树的建立和分析351

8.4.3 基于故障树的测试用例设计354

附录358

附录A 软件测试大事记358

附录B 常见正交测试表360

附录C PICT工具指南363

附录D pytest测试简介364

附录E 最长公共子序列示例371

参考文献373