基于规则结构型设计模式检测技术研究.docVIP

基于规则结构型设计模式检测技术研究 　　摘要：设计模式是面向对象的软件开发中一种可重用的、能够解决软件设计开发中普遍存在问题的方法。识别软件系统中的设计模式能够帮助相关开发人员和维护人员更好的理解软件系统的设计。尤其是GoF[1]中的结构型设计模式，解决了如何组合类和对象获得更大结构的设计问题。所以对于结构型设计模式的识别能够有效地提高软件的理解和可维护性。在该论文中展示了是一种识别面向对象软件系统中设计模式的方法。该方法能够自动的识别出软件系统中的结构型设计模式。 　　关键词：设计模式检测；源代码分析；逆向工程 　　中图分类号：TP311 文献标识码：A 文章编号：1009-3044（2015）08-0236-04 　　Abstract： Design Patterns are reusable design elements in object-oriented software design and development. Design Patterns aim at providing solutions for recurring design problems in software development. Detecting design patterns in existing software systems can improve the comprehension of software systems. The structural design patterns mentioned in GoF Patterns[1] are concerned with how classes and objects are composed to form larger structures. Thus， detecting structural design patterns are extremely useful for software comprehension and maintenance. In this paper I present an approach to detect design patterns in object-oriented software systems. It is an approach for automatically detection of structural design patterns. 　　Key words： design pattern detection； source code analysis； reverse engineering 　　1 课题背景 　　对软件系统的全面深入理解对于现代软件工程的发展有着举足轻重的作用。因为软件理解是保证软件有效维护和再工程的一个重要因素[2]。随着软件规模的日益增大，软件理解的工作变得越发的重要。 　　如果软件系统具有完整的文档信息，那么想要全面理解一个已有系统也并非难事。但是，现实的状况是在软件开发的过程中相关文档缺失、不全面，或者文档与系统不一致。这样则给软件理解造成了很大的阻碍。由此也导致了软件维护和再工程的代价昂贵、需要耗费大量的人力物力或者根本无法得以继续。 　　由于设计模式中包含了解决一般常见设计问题的通用解决方法，尤其是其中的结构型设计模式，通过继承机制或者对象组合的方式使得类和对象能够相互组合并构成更大的系统。所以提取结构型设计模式的相关信息能够帮助我们更加充分的理解系统。 　　2 识别过程 　　本论文中所研究的设计模式识别算法是基于抽象语法树静态分析的自动化识别。其基本方法如图1所示. 　　2.1 从源代码生成抽象语法树 　　本论文所提出的设计模式识别方法是基于源代码静态分析的。在本文的识别方法中，首先是根据源代码构建其抽象语法树模型。通过抽象语法树模型的建立，得到程序在更高抽象层面上的表示。再对抽象语法树进行分析，能够有效简化源代码分析的复杂度。抽象语法树的生成，基于第三方开源工具RECODER[3]来实现。 　　2.2分析抽象语法书得到设计模式候选实例 　　设计模式候选实例识别的过程，概括的说即是分析设计模式类图，分解类图中各角色的相互关系；根据分解关系设计算法流程搜索程序的抽象语法树模型，得到满足关系的设计模式候选实例的过程。 　　在本论文中，采用元组的方式来描述一个设计模式实例，即对于任何一个设计模式实例，采用Design Pattern：（Role A， Role B， Role C） 　　的形式来表达。 　　而在分析和分解设计模式类图各角色的相互关系时，本文只关注一下三种类型的关系，即继承、代理、组合关系。本文约定用这三种关系来表