第1章 测试数据进化生成入门

1.1软件测试基本概念

1.1.1软件测试的定义

1.1.2软件测试的目的

1.1.3软件测试的方法

1.1.4软件测试的原则

1.1.5软件测试的分类

1.2基于覆盖的测试数据生成方法

1.2.1测试充分性准则

1.2.2测试数据生成方法

1.3测试数据进化生成

1.3.1问题的转化

1.3.2遗传算法基本原理

1.3.3基于遗传算法的测试数据生成

1.4研究现状及存在的问题

1.4.1测试数据进化生成研究现状

1.4.2存在的问题

1.5主要内容及组织

1.6本章小结

参考文献

第2章 不可执行路径自动检测

2.1研究动机

2.2条件语句之间的相关性

2.2.1条件语句相关性的定义

2.2.2条件语句相关性的判定

2.3条件语句谓词表达式取值概率的估计

2.4不可执行路径的自动检测

2.4.1不可执行路径的检测

2.4.2循环体包含条件语句的不可执行路径检测

2.4.3不可执行路径自动检测的步骤

2.5实例分析

2.6在程序测试中的应用

2.6.1基准程序实验

2.6.2工业程序实验

2.7本章小结

参考文献

第3章 多路径覆盖测试数据进化生成

3.1研究动机

3.2测试数据生成问题的数学模型

3.3基于遗传算法的测试数据生成

3.3.1进化个体适应值计算

3.3.2进化个体比较

3.3.3算法终止条件

3.3.4算法步骤

3.4在基准程序测试中的应用

3.4.1实验设计

3.4.2参数设置

3.4.3性能指标

3.4.4实验结果与分析

3.5本章小结

参考文献

第4章 路径赫夫曼编码表示的多路径覆盖测试数据进化生成

4.1研究动机

4.2路径的赫夫曼编码表示

4.3路径匹配度计算

4.3.1程序插装

4.3.2路径匹配度计算

4.3.3测试数据生成问题的数学模型

4.4适应度函数设计

4.4.1进化个体适应值计算

4.4.2进化个体适应值计算特点

4.4.3算法步骤

4.5在基准程序测试中的应用

4.5.1三角形分类程序

4.5.2其他基准程序

4.5.3复杂路径覆盖实验

4.6本章小结

参考文献

第5章 基于信息共享的多路径覆盖测试数据进化生成

5.1研究动机

5.2测试数据生成问题的数学模型

5.3基于信息共享的测试数据进化生成

5.3.1多种群并行遗传算法

5.3.2测试数据进化生成步骤

5.4性能分析

5.4.1测试数据生成的概率

5.4.2例子

5.5在基准程序测试中的应用

5.5.1三角形分类程序实验

5.5.2其他程序实验

5.6本章小结

参考文献

第6章 基于路径分组的很多路径覆盖测试数据进化生成

6.1研究动机

6.2基于相似度的路径分组

6.3测试数据生成问题的数学模型

6.3.1问题的数学模型

6.3.2子优化问题的约简

6.4基于遗传算法的测试数据生成

6.4.1进化个体编码

6.4.2进化个体适应值

6.4.3算法终止条件

6.4.4算法步骤

6.5性能分析

6.5.1集合测度

6.5.2生成期望测试数据的概率

6.5.3基于相似度的路径分组的合理性

6.5.4子优化问题约简的合理性

6.6实例分析

6.7在程序测试中的应用

6.7.1对比方法

6.7.2参数设置

6.7.3基准程序实验

6.7.4工业程序实验

6.8本章小结

参考文献

第7章 很多路径覆盖测试数据进化生成的并行实现

7.1研究动机

7.2基于相似度和计算资源的路径分组

7.3测试数据生成问题的数学模型

7.4基于遗传算法的测试数据生成

7.5性能分析

7.6在程序测试中的应用

7.6.1程序Insert的目标路径分组

7.6.2性能指标

7.6.3程序Insert实验

7.6.4工业程序实验

7.7本章小结

参考文献

第8章 用于路径覆盖和缺陷检测的测试数据进化生成

8.1研究动机

8.2测试数据生成问题的数学模型

8.2.1决策向量

8.2.2路径表示

8.2.3约束函数

8.2.4目标函数

8.2.5测试数据生成问题的数学模型

8.3基于遗传算法的测试数据生成

8.3.1加权单目标函数

8.3.2基于罚函数方法的约束函数处理

8.3.3算法步骤

8.4在程序测试中的应用

8.4.1缺陷判定方法

8.4.2参数设置

8.4.3实验结果

8.5本章小结

参考文献

第9章 基于搜索空间缩减的路径覆盖测试数据进化生成

9.1研究动机

9.2路径与输入向量之间的相关性

9.2.1节点与输入分量之间的相关性

9.2.2路径与输入向量之间的相关性

9.3用于测试数据进化生成的搜索空间缩减

9.3.1一条目标路径时的搜索空间缩减

9.3.2多条目标路径时的搜索空间缩减

9.4性能分析

9.5在程序测试中的应用

9.5.1单目标路径实验

9.5.2多目标路径实验

9.6本章小结

参考文献

第10章 基于适应值调整的路径覆盖测试数据进化生成

10.1研究动机

10.2进化个体贡献度

10.2.1进化个体贡献度

10.2.2对循环结构的处理

10.3基于进化个体贡献度的适应值调整

10.4性能分析

10.5在程序测试中的应用

10.5.1对比方法、参数设置与评价指标

10.5.2三角形分类程序实验

10.5.3冒泡排序程序实验

10.5.4工业程序实验

10.6本章小结

参考文献

第11章 基于优质初始种群的路径覆盖测试数据进化生成

11.1研究动机

11.2优质初始种群的形成

11.3遗传算子的作用范围

11.4性能分析

11.5实例分析

11.6在程序测试中的应用

11.6.1被测程序

11.6.2遗传算子与参数设置

11.6.3实验设置

11.6.4实验结果

11.7本章小结

参考文献

第12章 基于占优关系的语句覆盖测试数据进化生成

12.1研究动机

12.2占优语句（集）的确定

12.3语句覆盖测试数据进化生成

12.4方法的优点

12.5实例分析

12.6在程序测试中的应用

12.6.1被测程序

12.6.2实验设计

12.6.3实验结果

12.7本章小结

参考文献

第13章 基于占优关系的多语句覆盖测试数据进化生成

13.1研究动机

13.2基于占优关系的目标语句缩减

13.2.1图论基本知识

13.2.2目标语句占优关系图

13.2.3目标语句缩减

13.3缩减后语句覆盖测试数据进化生成

13.4在程序测试中的应用

13.4.1被测程序

13.4.2实验设计

13.4.3实验结果与分析

13.5本章小结

参考文献

第14章 基于路径覆盖的变异测试数据进化生成

14.1研究动机

14.2基于路径比较的变异体杀死准则

14.3变异测试数据进化生成方法

14.3.1目标路径的选择

14.3.2测试数据生成问题的数学模型

14.3.3适应度函数的设计

14.4实例分析

14.5在程序测试中的应用

14.5.1被测程序描述

14.5.2实验设计

14.5.3实验结果及分析

14.6本章小结

参考文献

附录1基本遗传算法源代码

附录2实验程序