| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-22页 |
| ·背景介绍 | 第10-16页 |
| ·OOP 的缺陷及弥补 | 第10-11页 |
| ·AOP 概述 | 第11-13页 |
| ·AspectJ 概述 | 第13-15页 |
| ·单元测试技术介绍 | 第15-16页 |
| ·对AOP 程序进行单元测试 | 第16-18页 |
| ·对 AOP 程序进行单元测试的必要性 | 第16-17页 |
| ·测试 AOP 程序的特殊性 | 第17-18页 |
| ·AOP 程序测试数据生成问题的提出 | 第18页 |
| ·国内外研究现状综述 | 第18-20页 |
| ·本文的目标和主要工作 | 第20-21页 |
| ·论文结构 | 第21-22页 |
| 第二章 AOP 的控制流图和覆盖准则 | 第22-43页 |
| ·引言 | 第22页 |
| ·AOP 程序的控制流图模型 | 第22-32页 |
| ·Java 基本结构的控制流图构建 | 第23-27页 |
| ·AspectJ 扩展语句的控制流图构建 | 第27-32页 |
| ·AOP 控制流图模型示例 | 第32-36页 |
| ·AOP 单元测试模块的控制流图 | 第36-38页 |
| ·AOP 单元测试模块的定义 | 第36页 |
| ·单元测试模块的控制流图生成 | 第36-38页 |
| ·传统测试充分性度量准则 | 第38-40页 |
| ·面向方面覆盖准则 | 第40-42页 |
| ·横切节点覆盖 | 第41-42页 |
| ·横切边覆盖 | 第42页 |
| ·本章小结 | 第42-43页 |
| 第三章 AOP 程序可执行路径的产生 | 第43-49页 |
| ·引言 | 第43页 |
| ·AOP 程序结构测试中的路径产生 | 第43-48页 |
| ·DFS 算法 | 第43-44页 |
| ·搜索路径算法 | 第44-47页 |
| ·测试路径的选择 | 第47-48页 |
| ·实例分析 | 第48页 |
| ·小结 | 第48-49页 |
| 第四章 测试数据自动生成方法 | 第49-58页 |
| ·引言 | 第49页 |
| ·静态法 | 第49-50页 |
| ·符号执行（Symbolic Execution） | 第49-50页 |
| ·区间算术法(Interval Computation) | 第50页 |
| ·动态法 | 第50-52页 |
| ·随机法 | 第50-51页 |
| ·面向目标的测试数据生成方法 | 第51-52页 |
| ·面向路径的测试数据生成方法 | 第52页 |
| ·迭代松弛算法及其改进 | 第52-54页 |
| ·术语定义 | 第52-53页 |
| ·迭代松弛法介绍 | 第53页 |
| ·本文提出的改进方法 | 第53-54页 |
| ·测试数据的自动生成流程 | 第54-55页 |
| ·实例分析 | 第55-57页 |
| ·小结 | 第57-58页 |
| 第五章 框架介绍和系统原型开发 | 第58-65页 |
| ·引言 | 第58页 |
| ·AOP 单元测试框架介绍 | 第58-59页 |
| ·AUTDG 系统原型分析 | 第59-60页 |
| ·AUTDG 系统原型设计 | 第60-62页 |
| ·顺序图设计 | 第60-61页 |
| ·类图设计 | 第61-62页 |
| ·系统原型实现 | 第62-64页 |
| ·路径生成子系统实现 | 第62-63页 |
| ·测试数据自动生成子系统实现 | 第63-64页 |
| ·测试准则管理子系统实现 | 第64页 |
| ·小结 | 第64-65页 |
| 第六章 实验与评估 | 第65-70页 |
| ·引言 | 第65页 |
| ·示例程序 | 第65-66页 |
| ·实验实施和结果 | 第66-67页 |
| ·实验评估 | 第67-68页 |
| ·功能性和可用性评估 | 第68页 |
| ·测试数据生成效率评估 | 第68页 |
| ·小结 | 第68-70页 |
| 第七章 结束语 | 第70-72页 |
| ·本文主要贡献 | 第70-71页 |
| ·今后研究工作 | 第71页 |
| ·小结 | 第71-72页 |
| 致谢 | 第72-73页 |
| 参考文献 | 第73-76页 |
| 本文作者在攻读硕士期间所发表的论文 | 第76页 |