基于AOP的契约式开发方法研究及其语言与工具支持
| 摘要 | 第1-8页 |
| Abstract | 第8-13页 |
| 第一章 引言 | 第13-19页 |
| ·研究背景 | 第13-16页 |
| ·契约式开发 | 第13-14页 |
| ·面向方面编程 | 第14-15页 |
| ·在契约式开发中应用AOP技术 | 第15-16页 |
| ·问题总结 | 第16页 |
| ·解决方案 | 第16-17页 |
| ·AOP-DBC对应关系 | 第16-17页 |
| ·ACDL语言 | 第17页 |
| ·AJMaker工具 | 第17页 |
| ·本文的主要贡献 | 第17-18页 |
| ·本文的组织结构 | 第18-19页 |
| 第二章 面向方面编程 | 第19-34页 |
| ·AOP产生背景 | 第19-21页 |
| ·面向方面编程概述 | 第21-24页 |
| ·AOP核心思想 | 第21-22页 |
| ·什么是Aspect | 第22页 |
| ·AOP特性 | 第22-23页 |
| ·AOP的软件开发过程 | 第23-24页 |
| ·AOP的传统应用领域 | 第24页 |
| ·面向方面编程的实现技术 | 第24-30页 |
| ·AOP语言规范 | 第24-25页 |
| ·AOP的语言实现 | 第25-26页 |
| ·AOP的织入过程 | 第26-27页 |
| ·AspectJ-Java的AOP实现 | 第27-30页 |
| ·面向方面编程的研究内容 | 第30-33页 |
| ·面向方面的软件工程 | 第30-32页 |
| ·面向方面的程序分析、度量与测试 | 第32-33页 |
| ·小结 | 第33-34页 |
| 第三章 AOP在契约式开发中的应用 | 第34-47页 |
| ·契约式开发 | 第34-40页 |
| ·在Observer模式中支持契约 | 第36-39页 |
| ·契约式开发和单元测试 | 第39页 |
| ·DBC和OCL | 第39-40页 |
| ·AOP增强契约式开发 | 第40-43页 |
| ·模块化契约 | 第40-41页 |
| ·对应关系 | 第41页 |
| ·使用AspectJ支持契约 | 第41-43页 |
| ·国内外相关研究工作 | 第43-45页 |
| ·DOT | 第43-44页 |
| ·OCLE | 第44-45页 |
| ·其他 | 第45页 |
| ·小结 | 第45-47页 |
| 第四章 ACDL语言 | 第47-70页 |
| ·设计目的 | 第47-48页 |
| ·独立描述约束 | 第47页 |
| ·无副作用 | 第47页 |
| ·详细的上下文信息 | 第47页 |
| ·可转换性 | 第47-48页 |
| ·灵活性 | 第48页 |
| ·目标用户 | 第48页 |
| ·ACDL语言特征 | 第48-49页 |
| ·语言描述 | 第49-63页 |
| ·contract | 第49-50页 |
| ·checkpoint | 第50页 |
| ·condition | 第50-53页 |
| ·before | 第50-51页 |
| ·after | 第51-52页 |
| ·beforeAndAfter | 第52-53页 |
| ·关于不变式检查的一些讨论 | 第53-54页 |
| ·ACDL中的抽象机制 | 第54-55页 |
| ·语言框架 | 第55-56页 |
| ·集合操作 | 第56-63页 |
| ·集合公共操作 | 第57页 |
| ·Set集合的操作符 | 第57-58页 |
| ·Bag集合的操作符 | 第58-59页 |
| ·Sequence集合的操作符 | 第59-60页 |
| ·集合操作实例 | 第60-63页 |
| ·ACDL主要语法规则 | 第63-65页 |
| ·目标语言 | 第65-66页 |
| ·使用ACDL集成DBC软件开发流程 | 第66-69页 |
| ·ACDL与上层设计 | 第66-68页 |
| ·VDM | 第67页 |
| ·VDM-ACDL转换的可行性分析 | 第67-68页 |
| ·小结 | 第68页 |
| ·ACDL与下层实现 | 第68-69页 |
| ·小结 | 第69-70页 |
| 第五章 AJMaker工具的实现框架 | 第70-86页 |
| ·AJMaker框架 | 第70-71页 |
| ·代码生成模块的实现 | 第71-77页 |
| ·契约描述 | 第71-72页 |
| ·代码生成机制 | 第72-73页 |
| ·用户接口 | 第73-77页 |
| ·为类添加不变式条件约束 | 第73-74页 |
| ·为方法添加前置/后置条件约束 | 第74-76页 |
| ·代码生成 | 第76-77页 |
| ·转换解析模块的实现 | 第77-84页 |
| ·简单映射 | 第77-79页 |
| ·集合操作映射 | 第79-84页 |
| ·@pre的处理 | 第84页 |
| ·契约的异常处理 | 第84-85页 |
| ·小结 | 第85-86页 |
| 第六章 总结与展望 | 第86-88页 |
| ·关于ACDL语言的一些讨论和总结 | 第86-87页 |
| ·对未来工作的展望 | 第87-88页 |
| 第七章 参考文献 | 第88-92页 |
| 致谢 | 第92-93页 |
| 附录 攻读学位期间发表的学术论文目录 | 第93页 |
