基于运用静态和动态分析法的检测行为型设计模式的研究

摘要

这篇论文提出的问题是能否从源代码中检测出设计模式(下简称模式)并描述从Java源代码中如何检测.论文最终将得出一个分析结果,分析由两部分组成,第一部分是运用静态分析来研究源代码,这一部分利用Recoder工具完成了大部分的工作,接着第二部分就是动态分析.运用静态分析研究源代码将产生一些模式候选项,这些模式候选项是一些由类和方法组成的结构,将作为动态分析的输入,动态分析监控模式候选项的动态执行的情况,得出进一步的结果.作为模式检测的目的是可以自动(或半自动)检测任何Java程序中的设计模式.虽然本论文的目的是只针对行为型设计模式进行检测,但是其结果可以提供一些研究思路基础,将来可以进一步研究开发出可以检测其它设计模式的工具.本论文使用的检测方式和算法与检测其它设计模式的方法有许多共同之处,而且部分已经被重用.

目录

文摘

英文文摘

华南理工大学学位论文原创性声明及学位论文版权使用授权书

第一章绪论

1.1问题描述

1.2文章结构

1.3研究的背景和目的

1.4研究的方法

1.5范围

第二章概念与技术现状

2.1抽象的不同层次

2.2逆向工程

2.3软件的不同视图

2.4设计模式

2.5本文分析的行为型设计模式

2.5.1调停者模式

2.5.2责任链模式

2.5.3访问者模式

2.6有关标准

2.7 Recoder工具

2.8自动逆向工程和模式检测

2.9本章小结

第三章分析的方法

3.1静态分析

3.1.1静态分析调停者模式

3.1.2静态分析责任链模式

3.1.3静态分析访问者模式

3.2静态分析的结论

3.3动态分析

3.3.1使用代码工具的例子

3.3.2动态分析调停者模式

3.3.3动态分析责任链模式

3.3.4动态分析访问者模式

3.4动态分析的结论

3.5本章小结

第四章测试

4.1测试思路

4.2初步测试

4.3对Recoder库测试

4.4对一个应用系统进行测试

4.5有关命名规范的测试

4.6测试充分性

4.7评估的标准

4.8本章小结

结论

参考文献

致谢

附录