| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 1 绪论 | 第12-28页 |
| ·面向方面开发方法及挑战 | 第12-16页 |
| ·AO程序测试中的问题 | 第16-20页 |
| ·AO程序测试技术的国内外研究现状 | 第20-22页 |
| ·本文的研究目标 | 第22-24页 |
| ·本文的主要研究内容 | 第24-26页 |
| ·本文组织结构 | 第26-28页 |
| 2 AO程序测试及单元测试技术基础 | 第28-43页 |
| ·AO编程范型的可测性 | 第28-29页 |
| ·AO编程范型的缺陷模型 | 第29-30页 |
| ·AO程序测试的分类 | 第30-37页 |
| ·AO程序测试及单元测试工具原型 | 第37-38页 |
| ·AO程序单元测试面对的主要技术问题 | 第38-42页 |
| ·小结 | 第42-43页 |
| 3 AO程序的单元缺陷模型 | 第43-58页 |
| ·AO程序缺陷模型的相关研究 | 第43-45页 |
| ·连接点集合定义造成的错误类型分析 | 第45-51页 |
| ·连接点横切功能代码定义造成的错误类型分析 | 第51-56页 |
| ·非单元缺陷类型 | 第56页 |
| ·小结 | 第56-58页 |
| 4 基于谓词规约的ASPECTJ程序静态介入点的测试技术 | 第58-76页 |
| ·介入点测试中的困难问题 | 第58-60页 |
| ·静态介入点的谓词规约模型与缺陷表示 | 第60-61页 |
| ·静态介入点测试的充要准则 | 第61-63页 |
| ·测试方法实现流程 | 第63-68页 |
| ·实验 | 第68-72页 |
| ·讨论 | 第72-74页 |
| ·小结 | 第74-76页 |
| 5 动态介入点的两阶段测试方法 | 第76-115页 |
| ·动态介入点测试中的问题 | 第76-78页 |
| ·介入点的谓词模型 | 第78-91页 |
| ·AO程序的连接点流图 | 第91-96页 |
| ·测试充分性准则及约简规则 | 第96-104页 |
| ·基于连接点流图的动态阶段测试方法 | 第104-105页 |
| ·动态介入点两阶段测试方法的测试应用 | 第105-113页 |
| ·讨论 | 第113-114页 |
| ·小结 | 第114-115页 |
| 6 AO程序单元测试支持系统的设计与实现 | 第115-136页 |
| ·单元测试支持工具的研究现状 | 第115-116页 |
| ·单元测试系统原型AJUTester的总体结构 | 第116-120页 |
| ·连接点流图JPFG的实现 | 第120-131页 |
| ·动态测试域约简算法的实验分析 | 第131-135页 |
| ·小结 | 第135-136页 |
| 7 总结与展望 | 第136-140页 |
| ·本文的主要工作 | 第136-137页 |
| ·未来研究的展望 | 第137-140页 |
| 致谢 | 第140-141页 |
| 参考文献 | 第141-159页 |
| 附录1 攻读博士学位期间的学术论文及获奖情况 | 第159-160页 |
| 附录2 攻读博士学位期间参加的主要科研项目 | 第160页 |