使用逃逸分析和依赖性分析识别设计模式的行为特征

声明

摘要

第一章 前言

1．1 选题依据

1．2 设计模式识别领域的研究现状及存在的问题

1．2．1 研究现状

1．2．2 存在的问题

1．3 主要研究内容

1．3．1 创建对象行为的识别

1．3．2 委托行为的依赖性特征描述和识别

1．3．3 备忘录生成行为的依赖性特征描述和识别

1．3．4 Observer模式中数据观察行为的依赖性特征描述和识别

1．3．5 设计模式识别标准

1．3．6 设计模式自动识别工具JDP-Detector

1．4 论文结构

第二章 逃逸分析和依赖性分析简介

2．1 Soot简介

2．2 控制流分析和到达定值数据流分析

2．3 流敏感的指向分析

2．4 逃逸分析

2．5 依赖图和依赖性分析

2．5．1 程序依赖图

2．5．2 系统依赖图

2．6 本章小结

第三章 识别设计模式的行为特征

3．1 创建对象行为的识别

3．1．1 创建对象行为的定义

3．1．2 创建对象行为的识别算法

3．1．3 实例分析

3．2 方法间委托行为的识别

3．2．1 委托行为的定义

3．2．2 委托行为的识别算法

3．2．3 实例分析

3．3 Memento模式中的备忘录生成行为的识别

3．3．1 备忘录生成行为的依赖性特征

3．3．2 备忘录生成行为的识别算法

3．3．3 一个记录状态增量的备忘录模式实例分析

3．3．4 一个记录状态历史的备忘录模式实例分析

3．4 Observer模式中数据观察行为的识别

3．4．1 数据观察行为的依赖性特征

3．4．2 数据观察行为的识别算法

3．4．3 一个拉模型的观察者模式实例分析

3．4．4 一个推模型的观察者模式实例分析

3．5 本章小结

第四章 设计模式的识别标准及工具

4．1 设计模式的识别标准

4．1．1 识别范围

4．1．2 两个准则：肯定性准则和否定性准则

4．1．3 两个特征：结构特征和行为特征

4．1．4 两个条件：必要条件和典型条件

4．2 设计模式的XML表示

4．2．1 角色类标签

4．2．2 必要条件和典型条件

4．3 设计模式自动化识别工具——JDP-Detector

4．3．1 系统架构

4．3．2 识别过程

4．3．3 可视化界面

4．3．4 与DP-Miner的比较

4．4 本章小结

第五章 实验

5．1 实验环境

5．2 实验选择的设计模式

5．3 实验结果分析

5．4 相关实验结果比较

5．4．1 与DP-Miner的识别结果比较

5．4．2 与DPD的识别结果比较

5．5 本章小结

第六章 总结与展望

6．1 本文工作总结

6．1 未来工作展望

致谢

参考文献

附录 条件标签