基于遗传蚂蚁融合算法的测试用例生成研究
| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 1 绪论 | 第8-16页 |
| ·立题背景和意义 | 第8-9页 |
| ·国内外的研究现状和存在问题 | 第9-13页 |
| ·研究现状 | 第9-12页 |
| ·存在问题 | 第12-13页 |
| ·本文研究主要内容 | 第13页 |
| ·论文结构 | 第13-16页 |
| 2 遗传蚂蚁融合算法 | 第16-24页 |
| ·CG3A算法基本原理 | 第16-18页 |
| ·CG3A算法特点 | 第18页 |
| ·CG3A算法实现 | 第18-20页 |
| ·CG3A算法马尔可夫收敛性分析 | 第20-22页 |
| ·本章小结 | 第22-24页 |
| 3 基于CG3A算法的测试用例自动生成 | 第24-36页 |
| ·软件测试充分性准则 | 第24-25页 |
| ·软件测试覆盖准则 | 第25-27页 |
| ·CG3A算法生成测试用例的几个关键问题 | 第27-32页 |
| ·参数编码策略 | 第27-28页 |
| ·覆盖准则表和适应度函数构造 | 第28-30页 |
| ·CG3A算法关键算子设定 | 第30-32页 |
| ·CG3A算法的测试用例生成 | 第32-34页 |
| ·实验设计 | 第32-33页 |
| ·CG3A算法的测试用例生成 | 第33-34页 |
| ·本章小结 | 第34-36页 |
| 4 测试用例生成的智能算法比较分析 | 第36-50页 |
| ·其它三种智能算法 | 第36-42页 |
| ·SGA基本原理特点和实现 | 第36-38页 |
| ·IIGA基本原理特点和实现 | 第38-40页 |
| ·SAGA基本原理特点和实现 | 第40-42页 |
| ·其它三种智能算法关键算子设定 | 第42-44页 |
| ·实验设计 | 第44-45页 |
| ·仿真实验 | 第45-49页 |
| ·本章小结 | 第49-50页 |
| 5 一种测试用例集最小化生成算法探索 | 第50-62页 |
| ·引言 | 第50页 |
| ·基本概念和术语 | 第50-52页 |
| ·测试用例集最小化生成算法 | 第52-56页 |
| ·现有方法及存在问题 | 第52-53页 |
| ·一种测试用例集最小化生成算法探索 | 第53-56页 |
| ·实例分析 | 第56-59页 |
| ·MTS算法验证 | 第59-60页 |
| ·本章小结 | 第60-62页 |
| 6 总结与展望 | 第62-64页 |
| ·总结 | 第62页 |
| ·下一步工作展望 | 第62-64页 |
| 致谢 | 第64-66页 |
| 参考文献 | 第66-70页 |
| 攻读硕士学位期间发表论文 | 第70页 |
