基于静态信息获取面向对象程序的动态信息
| 引言 | 第1-9页 |
| 第一章 介绍 | 第9-14页 |
| ·问题的提出 | 第9-11页 |
| ·相关工作 | 第11-12页 |
| ·本文的工作 | 第12-14页 |
| 第二章 Java 程序的静态分析 | 第14-18页 |
| ·语言识别工具(ANTLR) | 第14页 |
| ·定位机制 | 第14-17页 |
| ·由抽象语法树到静态信息 | 第17-18页 |
| 第三章 静态信息和动态信息的数据结构 | 第18-24页 |
| ·源程序静态分析的结果 | 第18页 |
| ·挂接点(Anchor Point) | 第18-19页 |
| ·挂接点和动态信息结构 | 第19-21页 |
| ·对象的引用与程序理解 | 第21页 |
| ·与实例变量相关的信息结构 | 第21-22页 |
| ·容器对象的处理 | 第22-23页 |
| ·程序的分支和循环的控制条件及方法返回语句 | 第23-24页 |
| 第四章 Java 程序的源代码扩展及监测结果 | 第24-34页 |
| ·环境参数的配置 | 第24-25页 |
| ·针对消息的源代码扩展 | 第25-26页 |
| ·针对实例变量的源代码扩展 | 第26-27页 |
| ·监测代码的执行及结果 | 第27-28页 |
| ·一个咖啡加热器程序实例 | 第28-34页 |
| 第五章 扩展后代码监测结果的分析方法 | 第34-46页 |
| ·消息 | 第34-35页 |
| ·与程序分析相关的数据结构 | 第35-39页 |
| ·跟踪信息分析算法 | 第39-40页 |
| ·消息的发送者和接收者的确认 | 第40-41页 |
| ·实例对象的识别 | 第41-42页 |
| ·消息的裁剪 | 第42-44页 |
| ·动态视图和UML | 第44-46页 |
| 第六章 实例研究 | 第46-55页 |
| ·Extractor 工具 | 第46-47页 |
| ·实现环境: | 第47页 |
| ·待分析软件----咖啡加热器 | 第47-55页 |
| 结论 | 第55-57页 |
| 参考文献 | 第57-59页 |
| 摘要 | 第59-62页 |
| Abstract | 第62-66页 |
| 致谢 | 第66-67页 |
| 导师及作者简介 | 第67-68页 |
