测试数据进化生成理论及应用

第1章测试数据进化生成入门1
11软件测试基本概念2
111软件测试的定义2
112软件测试的目的2
113软件测试的方法3
114软件测试的原则3
115软件测试的分类3
12基于覆盖的测试数据生成方法4
121测试充分性准则4
122测试数据生成方法5
13测试数据进化生成6
131问题的转化6
132遗传算法基本原理8
133基于遗传算法的测试数据生成10
14研究现状及存在的问题11
141测试数据进化生成研究现状11
142存在的问题12
15主要内容及组织13
16本章小结15
参考文献16
第2章不可执行路径自动检测19
21研究动机19
22条件语句之间的相关性20
221条件语句相关性的定义21
222条件语句相关性的判定21
23条件语句谓词表达式取值概率的估计23
24不可执行路径的自动检测27
241不可执行路径的检测27
242循环体包含条件语句的不可执行路径检测28
243不可执行路径自动检测的步骤28
25实例分析29
26在程序测试中的应用31
261基准程序实验31
262工业程序实验36
27本章小结37
参考文献38
第3章多路径覆盖测试数据进化生成39
31研究动机39
32测试数据生成问题的数学模型41
33基于遗传算法的测试数据生成42
331进化个体适应值计算42
332进化个体比较44
333算法终止条件45
334算法步骤46
34在基准程序测试中的应用46
341实验设计46
342参数设置47
343性能指标47
344实验结果与分析48
35本章小结51
参考文献52
第4章路径赫夫曼编码表示的多路径覆盖测试数据进化生成53
41研究动机53
42路径的赫夫曼编码表示55
43路径匹配度计算57
431程序插装57
432路径匹配度计算58
433测试数据生成问题的数学模型59
44适应度函数设计60
441进化个体适应值计算60
442进化个体适应值计算特点61
443算法步骤61
45在基准程序测试中的应用62
451三角形分类程序62
452其他基准程序64
453复杂路径覆盖实验64
46本章小结66
参考文献67
. viii .测试数据进化生成理论及应用目录. vii .第5章基于信息共享的多路径覆盖测试数据进化生成68
51研究动机68
52测试数据生成问题的数学模型69
53基于信息共享的测试数据进化生成70
531多种群并行遗传算法71
532测试数据进化生成步骤72
54性能分析73
541测试数据生成的概率73
542例子74
55在基准程序测试中的应用75
551三角形分类程序实验75
552其他程序实验77
56本章小结80
参考文献81
第6章基于路径分组的很多路径覆盖测试数据进化生成83
61研究动机83
62基于相似度的路径分组84
63测试数据生成问题的数学模型85
631问题的数学模型85
632子优化问题的约简86
64基于遗传算法的测试数据生成87
641进化个体编码87
642进化个体适应值88
643算法终止条件88
644算法步骤88
65性能分析89
651集合测度89
652生成期望测试数据的概率90
653基于相似度的路径分组的合理性91
654子优化问题约简的合理性91
66实例分析92
67在程序测试中的应用96
671对比方法97
672参数设置97
673基准程序实验97
674工业程序实验101
68本章小结104
参考文献105
第7章很多路径覆盖测试数据进化生成的并行实现107
71研究动机107
72基于相似度和计算资源的路径分组109
73测试数据生成问题的数学模型110
74基于遗传算法的测试数据生成111
75性能分析111
76在程序测试中的应用113
761程序Insert的目标路径分组113
762性能指标120
763程序Insert实验121
764工业程序实验122
77本章小结125
参考文献126
第8章用于路径覆盖和缺陷检测的测试数据进化生成127
81研究动机127
82测试数据生成问题的数学模型129
821决策向量129
822路径表示129
823约束函数130
824目标函数131
825测试数据生成问题的数学模型132
83基于遗传算法的测试数据生成132
831加权单目标函数133
832基于罚函数方法的约束函数处理133
833算法步骤134
84在程序测试中的应用134
841缺陷判定方法135
842参数设置141
843实验结果141
85本章小结152
参考文献153
. x .测试数据进化生成理论及应用目录. ix .第9章基于搜索空间缩减的路径覆盖测试数据进化生成155
91研究动机155
92路径与输入向量之间的相关性157
921节点与输入分量之间的相关性157
922路径与输入向量之间的相关性158
93用于测试数据进化生成的搜索空间缩减160
931一条目标路径时的搜索空间缩减160
932多条目标路径时的搜索空间缩减163
94性能分析165
95在程序测试中的应用167
951单目标路径实验167
952多目标路径实验169
96本章小结177
参考文献178
第10章基于适应值调整的路径覆盖测试数据进化生成179
101研究动机179
102进化个体贡献度180
1021进化个体贡献度182
1022对循环结构的处理184
103基于进化个体贡献度的适应值调整184
104性能分析185
105在程序测试中的应用186
1051对比方法、参数设置与评价指标186
1052三角形分类程序实验186
1053冒泡排序程序实验189
1054工业程序实验189
106本章小结191
参考文献191
第11章基于优质初始种群的路径覆盖测试数据进化生成193
111研究动机193
112优质初始种群的形成194
113遗传算子的作用范围195
114性能分析196
115实例分析198
116在程序测试中的应用200
1161被测程序200
1162遗传算子与参数设置201
1163实验设置201
1164实验结果201
117本章小结203
参考文献204
第12章基于占优关系的语句覆盖测试数据进化生成206
121研究动机206
122占优语句（集）的确定209
123语句覆盖测试数据进化生成210
124方法的优点211
125实例分析211
126在程序测试中的应用214
1261被测程序214
1262实验设计215
1263实验结果215
127本章小结217
参考文献218
第13章基于占优关系的多语句覆盖测试数据进化生成219
131研究动机219
132基于占优关系的目标语句缩减220
1321图论基本知识220
1322目标语句占优关系图221
1323目标语句缩减222
133缩减后语句覆盖测试数据进化生成222
134在程序测试中的应用224
1341被测程序224
1342实验设计224
1343实验结果与分析225
135本章小结227
参考文献228
第14章基于路径覆盖的变异测试数据进化生成229
141研究动机229
142基于路径比较的变异体杀死准则231
143变异测试数据进化生成方法232
1431目标路径的选择232
1432测试数据生成问题的数学模型233
1433适应度函数的设计233
144实例分析234
145在程序测试中的应用237
1451被测程序描述237
1452实验设计237
1453实验结果及分析238
146本章小结239
参考文献240
附录1基本遗传算法源代码241
附录2实验程序262