| 摘要 | 第1-6页 |
| ABSTRACT | 第6-14页 |
| 第一章 绪论 | 第14-22页 |
| ·国内外测试数据生成的研究现状和发展动态 | 第14-18页 |
| ·动态数据结构的测试数据自动生成研究的背景和意义 | 第18-19页 |
| ·本文的主要工作及组织结构 | 第19-20页 |
| ·研究目标及内容 | 第19页 |
| ·本文的组织结构 | 第19-20页 |
| ·本章小结 | 第20-22页 |
| 第二章 动态数据结构的测试数据自动生成研究现状 | 第22-34页 |
| ·基本概念 | 第22-25页 |
| ·几种常见的动态数据结构测试数据自动生成方法 | 第25-32页 |
| ·基于回退算法的测试数据自动生成方法 | 第25-26页 |
| ·基于约束解决的测试数据自动生成方法 | 第26-28页 |
| ·基于地址制图的测试数据自动生成方法 | 第28-30页 |
| ·基于符号执行的测试数据生成方法 | 第30-31页 |
| ·基于遗传算法的测试数据生成方法 | 第31-32页 |
| ·本章小结 | 第32-34页 |
| 第三章 一种新的面向目标的测试路径自动生成方法研究 | 第34-42页 |
| ·面向目标的测试路径生成方法概述 | 第34-35页 |
| ·分支分类方法 | 第35-37页 |
| ·分支分类原则 | 第35页 |
| ·分支的类别 | 第35-37页 |
| ·测试路径生成方法 | 第37-39页 |
| ·基于程序控制流的测试路径生成方法 | 第37-38页 |
| ·基于程序数据流的测试路径生成方法 | 第38-39页 |
| ·本章小结 | 第39-42页 |
| 第四章 针对动态数据结构的测试数据自动生成方法及其实现 | 第42-58页 |
| ·针对动态数据结构的测试数据自动生成方法 | 第42-43页 |
| ·适用范围 | 第42页 |
| ·方法流程 | 第42-43页 |
| ·被测程序的预处理 | 第43-44页 |
| ·针对动态数据结构的约束收集方法研究 | 第44-47页 |
| ·动态数据结构的约束收集方法 | 第45-46页 |
| ·数值型数据的约束收集方法 | 第46-47页 |
| ·针对动态数据结构的约束解决方法研究 | 第47-52页 |
| ·动态数据的结构模型生成方法 | 第47-52页 |
| ·数值型数据的约束解决方法 | 第52页 |
| ·针对动态数据结构的测试数据自动生成系统实现 | 第52-56页 |
| ·系统设计 | 第52-54页 |
| ·系统实现 | 第54-55页 |
| ·系统优缺点 | 第55-56页 |
| ·本章小结 | 第56-58页 |
| 第五章 实验结果分析 | 第58-68页 |
| ·面向目标的测试路径生成实验分析 | 第59-60页 |
| ·针对动态数据结构的测试数据自动生成实验分析 | 第60-64页 |
| ·实验结果的分析和比较 | 第64-65页 |
| ·本章小结 | 第65-68页 |
| 第六章 结束语 | 第68-70页 |
| ·本文的主要工作 | 第68页 |
| ·进一步的工作 | 第68-70页 |
| 参考文献 | 第70-74页 |
| 附录 | 第74-82页 |
| 致谢 | 第82-84页 |
| 攻读学位期间发表的学术论文 | 第84-86页 |
| 作者和导师简介 | 第86-87页 |
| 北京化工大学硕士研究生学位论文答辩委员会决议书 | 第87-88页 |