| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-14页 |
| ·研究背景与发展现状 | 第10-11页 |
| ·研究内容 | 第11页 |
| ·论文结构 | 第11-14页 |
| 第2章 软件测试技术概述 | 第14-22页 |
| ·软件测试相关概念 | 第14-16页 |
| ·测试用例(Test Case) | 第14页 |
| ·测试需求(Test requirement) | 第14-15页 |
| ·测试充分性准则(Test Adequacy Criteria) | 第15-16页 |
| ·软件测试技术分类 | 第16-17页 |
| ·静态测试与动态测试 | 第16-17页 |
| ·单元测试、集成测试、系统测试 | 第17页 |
| ·测试技术介绍 | 第17-19页 |
| ·基于随机算法的控制流测试技术 | 第17-18页 |
| ·基于遗传算法的控制流测试技术 | 第18页 |
| ·数据流测试技术 | 第18-19页 |
| ·类的自动测试 | 第19页 |
| ·本章小结 | 第19-22页 |
| 第3章 遗传算法 | 第22-28页 |
| ·遗传算法基本概念 | 第22-25页 |
| ·遗传算法流程 | 第25-26页 |
| ·测试技术中的遗传算法 | 第26页 |
| ·本章小结 | 第26-28页 |
| 第4章 基于数据流分析的自动测试技术 | 第28-48页 |
| ·数据流测试基本概念 | 第28-31页 |
| ·变量定义与变量使用 | 第28-30页 |
| ·类测试的层次 | 第30-31页 |
| ·基于类测试的图形结构 | 第31-37页 |
| ·方法调用层次图与方法序列生成器 | 第32-34页 |
| ·方法控制流图与类控制流图 | 第34-35页 |
| ·数据类型结构图(Data Type Structure Graph) | 第35-37页 |
| ·数据流计算 | 第37-42页 |
| ·控制流图的预处理 | 第37-39页 |
| ·基于控制流图的数据流计算 | 第39-42页 |
| ·利用GA生成测试用例 | 第42-46页 |
| ·DTGA算法流程 | 第42-43页 |
| ·DTGA算法实现 | 第43-46页 |
| ·本章小结 | 第46-48页 |
| 第5章 自动数据流测试系统设计与实现 | 第48-68页 |
| ·系统设计思想 | 第48页 |
| ·系统总体框架设计 | 第48-50页 |
| ·系统实现 | 第50-63页 |
| ·解析部件Parser | 第50-54页 |
| ·CFG构造部件CFGBuilder | 第54-57页 |
| ·DTSG构造部件DTSGBuilder | 第57-59页 |
| ·分块以及代码插装器 | 第59-60页 |
| ·数据流分析器DataFlowAnalyser | 第60-61页 |
| ·遗传算法部件DTGA | 第61-63页 |
| ·生成测试报告 | 第63页 |
| ·系统界面 | 第63-66页 |
| ·界面设计 | 第63-65页 |
| ·界面操作步骤 | 第65-66页 |
| ·本章小结 | 第66-68页 |
| 第6章 实验结果与分析 | 第68-76页 |
| ·实验数据 | 第68-69页 |
| ·实验结果 | 第69-74页 |
| ·覆盖率比较 | 第69-70页 |
| ·搜索时间比较 | 第70-72页 |
| ·迭代次数比较 | 第72-73页 |
| ·测试用例规模比较 | 第73-74页 |
| ·实验结论 | 第74-75页 |
| ·本章小节 | 第75-76页 |
| 第7章 结论 | 第76-78页 |
| ·总结 | 第76页 |
| ·展望 | 第76-78页 |
| 参考文献 | 第78-82页 |
| 攻读学位期间研究成果 | 第82-84页 |
| 致谢 | 第84-86页 |
| 研究生履历 | 第86页 |