软件测试自动化关键技术研究PDF|Epub|txt|kindle电子书版本网盘下载

软件测试自动化关键技术研究PDF格式电子书版下载

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

1绪论1

1.1 课题研究的背景和意义1

1.2 国内外的研究现状和发展动态2

1.2.1 软件测试技术和软件测试自动化技术2

1.2.2 程序切片技术4

1.2.3 测试数据的自动生成技术4

1.2.4 测试用例集约简技术5

1.2.5 回归测试自动化技术6

1.2.6 软件错误定位技术6

1.3 本书的主要研究内容以及创新点7

1.4 本书的组织结构8

2基于程序切片的测试自动化技术9

2.1 程序切片技术简介9

2.1.1 程序切片概念10

2.1.2 程序切片准则11

2.1.3 程序切片算法12

2.1.4 程序切片分类13

2.2 程序切片技术在软件测试中的应用研究15

2.2.1 程序切片技术在测试数据自动生成中的应用15

2.2.2 程序切片技术在错误定位中的应用16

2.2.3 程序切片技术在回归测试中的应用16

2.2.4 程序切片技术在测试覆盖分析中的应用17

2.2.5 程序切片技术在测试用例集约简中的应用17

2.3 基于程序切片的软件测试过程研究18

2.3.1 采用程序切片改进传统软件测试策略的原因18

2.3.2 基于程序切片的软件测试自动化过程19

2.4 基于切片技术的软件自动测试工具的架构20

2.5 本章小结22

3测试用例集的管理以及测试用例集的自动生成和约简模型24

3.1 相关定义24

3.1.1 测试用例24

3.1.2 测试用例集25

3.2 测试用例集的管理26

3.3 测试用例集的自动生成和约简框架28

3.4 本章小结29

4黑盒测试数据的自动生成和测试用例集约简30

4.1 黑盒测试简介30

4.1.1 黑盒测试定义30

4.1.2 黑盒测试用例生成常用方法31

4.1.3 黑盒测试用例集约简的常用方法31

4.2 黑盒测试用例集的自动生成和约简框架33

4.3 基于I/O关系的黑盒测试用例集约简问题（I，O）34

4.3.1 问题空间（I，O）34

4.3.2 基于程序切片的I/O关系分析35

4.4 Schroeder的算法改进35

4.4.1 Schroeder的3种测试用例集约简算法35

4.4.2 聂长海的解决方案36

4.4.3 Schroeder的算法改进37

4.4.4 算法分析38

4.4.5 实例分析39

4.5 基于着色问题的黑盒测试用例集约简策略41

4.5.1 问题空间（I，O）的首次约简42

4.5.2 利用I/O关系图约简43

4.5.3 利用着色问题对（I，O）约简43

4.5.4 基于I/O关系图着色的测试用例集约简技术44

4.5.5 实例分析45

4.6 本章小结48

5白盒测试数据的自动生成和测试用例集约简49

5.1 白盒测试简介49

5.1.1 白盒测试定义49

5.1.2 程序结构分析50

5.1.3 白盒测试常用覆盖准则52

5.2 白盒测试数据的自动生成和测试用例集约简框架53

5.2.1 面向路径的测试数据自动生成问题53

5.2.2 基于切片技术的测试数据自动生成和测试用例集约简框架54

5.3 基于谓词片的路径可达性判定55

5.3.1 基本概念56

5.3.2 不可达路径判定算法57

5.3.3 实例分析59

5.3.4 算法分析61

5.4 迭代松弛法实现面向路径的测试数据自动生成61

5.4.1 谓词切片的引入62

5.4.2 迭代松弛算法63

5.4.3 谓词函数标准化67

5.4.4 约束系统相容性分析69

5.4.5 改进的迭代松弛法实现测试用例自动生成72

5.4.6 实例分析74

5.5 白盒测试用例集约简技术策略77

5.6 本章小结77

6基于程序切片技术的软件错误定位策略79

6.1 相关研究79

6.2 准备工作80

6.2.1 例程P及其测试用例集管理81

6.2.2 相关定义82

6.3 渐增式软件错误定位策略83

6.3.1 基于程序切片技术的代码含错优先级策略83

6.3.2 基于程序切片技术的渐增式错误定位85

6.3.3 试验及结果分析88

6.3.4 结论91

6.4 二分法交互式错误定位策略91

6.4.1 诊断矩阵E的优化92

6.4.2 代码优先级93

6.4.3 基于切片的二分法交互式错误定位策略94

6.4.4 试验及结果分析95

6.4.5 结论99

6.5 本章小结99

7回归测试策略100

7.1 回归测试概述100

7.1.1 测试用例集的维护101

7.1.2 回归测试用例集的选择101

7.1.3 渐增式回归测试框架102

7.1.4 回归测试用例集优化技术简介103

7.2 相关研究104

7.3 基于程序切片的回归测试用例集选择技术106

7.3.1 基于执行切片的用例集选择107

7.3.2 基于动态切片的用例集选择107

7.3.3 基于CFG和执行切片技术的用例集选择107

7.4 回归测试用例集优化策略109

7.4.1 准备工作110

7.4.2 渐增式约简算法BU113

7.4.3 精简式约简算法BD114

7.4.4 测试用例优先级策略BUP115

7.4.5 时间复杂度分析115

7.5 实例分析以及相关启发式算法比较116

7.6 仿真实验120

7.6.1 仿真实验模型120

7.6.2 仿真实验结果120

7.6.3 实验结果分析122

7.7 本章小结123

8总结125

8.1 本书中的主要工作概述125

8.2 未来工作展望126

参考文献及网站128

后记138