DiSL编织器的实现与优化
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-12页 |
| 第一章 引言 | 第12-15页 |
| ·背景 | 第12-14页 |
| ·本文概要 | 第14-15页 |
| 第二章 相关工作 | 第15-19页 |
| ·字节码工程库 | 第15-16页 |
| ·程序分析框架 | 第16页 |
| ·面向方面语言 | 第16-18页 |
| ·部分计值 | 第18-19页 |
| 第三章 动态字节码注入框架 DiSL | 第19-32页 |
| ·背景 | 第19-20页 |
| ·DiSL 的设计 | 第20-21页 |
| ·DiSL 的语言特性 | 第21-28页 |
| ·注入类、代码片段以及标记器 | 第21-22页 |
| ·代码片段的顺序 | 第22页 |
| ·虚拟局部变量 | 第22-23页 |
| ·线程局部变量 | 第23页 |
| ·静态上下文信息 | 第23-25页 |
| ·动态上下文信息 | 第25-26页 |
| ·参数处理器 | 第26-27页 |
| ·筛选器及限定范围 | 第27-28页 |
| ·相关工作比较 | 第28-29页 |
| ·讨论 | 第29-31页 |
| ·表达性 | 第29-30页 |
| ·抽象层次 | 第30页 |
| ·注入代码的合法性 | 第30页 |
| ·对目标程序的影响 | 第30页 |
| ·代码覆盖 | 第30-31页 |
| ·小结 | 第31-32页 |
| 第四章 DiSL 编织器的实现 | 第32-49页 |
| ·背景 | 第32-34页 |
| ·DiSL 编织器的实现 | 第34-41页 |
| ·代码片段内联 | 第34-35页 |
| ·虚拟局部变量 | 第35-36页 |
| ·线程局部变量 | 第36页 |
| ·静态上下文信息 | 第36-37页 |
| ·动态上下文信息 | 第37-39页 |
| ·参数处理器 | 第39-41页 |
| ·案例分析：Senseo | 第41-45页 |
| ·实验 | 第45-48页 |
| ·实验环境 | 第45页 |
| ·评测目标与评测项目 | 第45-46页 |
| ·实验结果及分析 | 第46-48页 |
| ·小结 | 第48-49页 |
| 第五章 部分计值器 Turbo | 第49-67页 |
| ·背景 | 第49-51页 |
| ·Turbo 的优化步骤 | 第51-54页 |
| ·范例分析 | 第54-61页 |
| ·可配置程序分析工具 | 第54-56页 |
| ·监管器归属跟踪工具 | 第56-59页 |
| ·成员变量访问分析工具 | 第59页 |
| ·执行路径分析工具 | 第59-61页 |
| ·实验 | 第61-65页 |
| ·实验环境 | 第61页 |
| ·评测目标及评测项目 | 第61-62页 |
| ·实验结果及分析 | 第62-65页 |
| ·相关工作 | 第65页 |
| ·小结 | 第65-67页 |
| 全文总结 | 第67-69页 |
| 参考文献 | 第69-74页 |
| 致谢 | 第74-75页 |
| 攻读学位期间发表的学术论文目录 | 第75页 |
