复杂软件测试数据进化生成理论及应用
| 致谢 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-19页 |
| 1 绪论 | 第19-29页 |
| ·研究动机 | 第20-21页 |
| ·研究目标 | 第21-22页 |
| ·研究内容 | 第22-23页 |
| ·研究方法 | 第23-25页 |
| ·成果及意义 | 第25-26页 |
| ·本文结构 | 第26-28页 |
| ·本章小结 | 第28-29页 |
| 2 测试数据进化生成 | 第29-52页 |
| ·遗传算法综述 | 第29-35页 |
| ·软件测试 | 第35-38页 |
| ·软件测试数据进化生成 | 第38-51页 |
| ·本章小结 | 第51-52页 |
| 3 不可行路径检测 | 第52-72页 |
| ·研究背景 | 第52-53页 |
| ·条件语句相关性判定 | 第53-60页 |
| ·不可行路径检测 | 第60-61页 |
| ·实例分析 | 第61-64页 |
| ·实验 | 第64-70页 |
| ·本章小结 | 第70-72页 |
| 4 多路径覆盖测试数据生成问题建模及进化求解 | 第72-86页 |
| ·研究背景 | 第72-73页 |
| ·问题建模 | 第73-75页 |
| ·基于多种群遗传算法的进化求解 | 第75-77页 |
| ·性能分析 | 第77-79页 |
| ·实验 | 第79-84页 |
| ·本章小结 | 第84-86页 |
| 5 基于分组的很多路径覆盖测试数据进化生成 | 第86-109页 |
| ·研究背景 | 第86-87页 |
| ·问题建模 | 第87-90页 |
| ·基于遗传算法的进化求解 | 第90-92页 |
| ·算法性能分析 | 第92-95页 |
| ·实例分析 | 第95-100页 |
| ·实验 | 第100-107页 |
| ·本章小结 | 第107-109页 |
| 6 基于等价关系的软件可测试性转化 | 第109-125页 |
| ·问题的提出 | 第109-111页 |
| ·基于目标语句等价性的可测试性转化 | 第111-116页 |
| ·实例分析 | 第116-118页 |
| ·实验 | 第118-124页 |
| ·本章小结 | 第124-125页 |
| 7 基于占优关系约简目标语句集的测试数据生成 | 第125-136页 |
| ·研究背景 | 第125-126页 |
| ·基本概念和原理 | 第126-127页 |
| ·基于目标语句约简的测试数据生成 | 第127-132页 |
| ·实验 | 第132-135页 |
| ·本章小结 | 第135-136页 |
| 8 基于路径比较和路径覆盖的变异测试 | 第136-147页 |
| ·研究背景 | 第136-137页 |
| ·基于路径比较的变异测试 | 第137-140页 |
| ·实验 | 第140-145页 |
| ·本章小结 | 第145-147页 |
| 9 结论 | 第147-150页 |
| ·本文所做的工作 | 第147-149页 |
| ·需要进一步研究的问题 | 第149-150页 |
| 参考文献 | 第150-164页 |
| 作者简历 | 第164-167页 |
| 一、基本情况 | 第164页 |
| 二、学术论文 | 第164-165页 |
| 三、获奖情况 | 第165页 |
| 四、研究项目 | 第165-167页 |
| 学位论文数据集 | 第167页 |
