| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 1、绪论 | 第11-14页 |
| ·研究背景与意义 | 第11-12页 |
| ·研究内容与成果 | 第12-14页 |
| 2、契约式设计理论 | 第14-22页 |
| ·契约式设计的定义及其对程序开发的意义 | 第14-16页 |
| ·国内外研究现状 | 第16-22页 |
| 3、VERIJAVA 语言的设计、定义与特性 | 第22-44页 |
| ·VERIJAVA 语言系统整体架构 | 第22-24页 |
| ·VERIJAVA 中需要支持的契约条件 | 第24-26页 |
| ·VERIJAVA 词法语法定义 | 第26-27页 |
| ·VERIJAVA 语义说明 | 第27-29页 |
| ·VERIJAVA 中的契约研究与分析 | 第29-39页 |
| ·完整实例及分析 | 第39-41页 |
| ·本章小结 | 第41-44页 |
| 4、VERIJAVA 程序的动态检查 | 第44-52页 |
| ·契约的校验 | 第44-45页 |
| ·基于AOP 的契约动态检查 | 第45-47页 |
| ·契约动态检查工具架构设计 | 第47-50页 |
| ·AOP 动态检查器与VERIJAVA 编译器的对比 | 第50-51页 |
| ·本章小结 | 第51-52页 |
| 5、VERIJAVA 工具包 | 第52-67页 |
| ·工具概述 | 第52-53页 |
| ·ECLIPSE 及其插件技术 | 第53-54页 |
| ·工具实现及分析 | 第54-62页 |
| ·工具使用实例 | 第62-65页 |
| ·性能测试与分析 | 第65-67页 |
| 6、总结与展望 | 第67-68页 |
| 参考文献 | 第68-70页 |
| 致谢 | 第70-71页 |
| 攻读硕士期间已发表论文 | 第71页 |