| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·课题研究背景及意义 | 第9页 |
| ·国内外研究现状 | 第9-11页 |
| ·主要工作 | 第11页 |
| ·本文组织结构 | 第11-13页 |
| 第二章 软件测试技术 | 第13-24页 |
| ·软件测试基本概念 | 第13-15页 |
| ·软件测试的定义 | 第13页 |
| ·软件测试的原则 | 第13页 |
| ·软件测试的内容 | 第13-14页 |
| ·软件测试的过程 | 第14-15页 |
| ·软件测试技术的分类 | 第15-23页 |
| ·基于规约的测试 | 第16-19页 |
| ·基于程序的测试 | 第19-23页 |
| ·小结 | 第23-24页 |
| 第三章 面向路径的测试数据生成方法 | 第24-37页 |
| ·随机法 | 第24页 |
| ·静态法 | 第24-26页 |
| ·符号执行法 | 第24-25页 |
| ·区间算术法 | 第25-26页 |
| ·动态法 | 第26-28页 |
| ·直接程序法 | 第26-27页 |
| ·程序插桩法 | 第27页 |
| ·程序步进法 | 第27-28页 |
| ·松弛迭代法 | 第28页 |
| ·试探法 | 第28-36页 |
| ·模拟退火算法 | 第29-30页 |
| ·遗传算法 | 第30-33页 |
| ·蚁群算法 | 第33-34页 |
| ·人工免疫算法 | 第34-36页 |
| ·小结 | 第36-37页 |
| 第四章 粒子群算法的研究与改进 | 第37-52页 |
| ·粒子群算法基本概念 | 第37-40页 |
| ·算法原理及流程 | 第37-38页 |
| ·算法参数 | 第38-39页 |
| ·算法特点 | 第39-40页 |
| ·算法分析 | 第40-46页 |
| ·复杂度分析 | 第40-41页 |
| ·收敛性分析 | 第41-46页 |
| ·改进的吸引排斥粒子群算法 | 第46-51页 |
| ·吸引排斥粒子群算法 | 第46-48页 |
| ·吸引排斥粒子群算法的分析和改进 | 第48-49页 |
| ·算法性能测试 | 第49-51页 |
| ·小结 | 第51-52页 |
| 第五章 基于HC-MARPSO 算法的测试数据生成方法 | 第52-60页 |
| ·基于HC-MARPSO 算法的测试数据生成模型 | 第52-53页 |
| ·测试环境的构造 | 第53-55页 |
| ·路径和参数选取 | 第53页 |
| ·适应度函数的构造和程序插装 | 第53-55页 |
| ·引入爬山算法的改进吸引排斥粒子群算法(HC-MARPSO) | 第55-59页 |
| ·爬山算法 | 第55-56页 |
| ·引入爬山算法的改进吸引排斥粒子群算法 | 第56-58页 |
| ·算法性能测试 | 第58-59页 |
| ·小结 | 第59-60页 |
| 第六章 实验与结果分析 | 第60-64页 |
| ·测试环境的构造 | 第60-62页 |
| ·程序分析和路径选取 | 第60-61页 |
| ·程序的插装和适应度函数的构造 | 第61-62页 |
| ·实验及结果分析 | 第62-63页 |
| ·小结 | 第63-64页 |
| 第七章 总结与展望 | 第64-66页 |
| ·论文总结 | 第64页 |
| ·工作展望 | 第64-66页 |
| 致谢 | 第66-67页 |
| 参考文献 | 第67-71页 |
| 在学期间的研究成果 | 第71-72页 |