浅谈程序重构识别研究与实现.docVIP

浅谈程序重构识别研究与实现 　　一、研究背景 　　软件也是有生命周期的，在软件使用过程中，软件需要升级、更改，以适应新的需求。一般软件的更改都是迫于外部的压力，譬如客户要求或者是行业竞争。而这些更改必然会对程序原有的结构造成破坏，降低质量，提高程序复杂度，结果软件使用的维护成本被提高，以后再次升级将会变得困难。Brooks指出所有软件都存在这个问题，而且修复进行得越晚，成本越高，代价越大，直到代价超过重新开发。解决这个问题，需要一种能够提高软件质量同时降低程序复杂度的技术。重构就是能够解决这个问题的一项重要技术手段。重构是指在不改变软件外部行为的前提下，以提高软件内部质量为目的，对软件实施更改的一种技术。重构过程有三个阶段： 　　1.识别：找出需要重构的地方，确定重构的方式； 　　2.代码实施：对需要重构的位置的代码进行重构； 　　3.验证：验证重构后和重构前的程序能否实现相同的功能，不能因为重构改变代码的功能。 　　我们重构的目的是最终让系统更加简单，也就是说，让系统职责分配更清晰，代码复杂度更低。 　　重构的主要功能是通过软件的修复来提高软件的性能。因此，重构可作为一项软件辅助技术应用到大部分软件的维护活动中去： 　　1.重构是一种重要的预防性维护措施。它既不修正错误，又不增加新功能，而是用于提高代码可读性或改变代码内部结构与设计。它通过对类、变量和方法的重新分配，降低代码冗余度，提高软件质量（如模块性、重用性、复杂性、可维护性、可理解性和效率）。 　　2.重构可用于逆向工程中，它能够分析遗留系统，使恶化的代码重新组织，转换成良好的形式。特别是我们需要给现有程序添加新的功能很困难的时候，开发人员先进行代码重构，新功能的添加就会特别简单。 　　重构的过程是对代码进行更改，这涉及装程序，所以重构不是一个简单的轻量级的软件技术，需要花费大量的精力和时间： 　　1.识别程序中哪些地方存在“坏味道”、哪些代码需要被重构是重构的难点，因为对于“坏味道”的理解取决于很多因素，在很大程度上存在主观性。因此，如何自动识别重构对象是限制重构技术发展的瓶颈，目前大部分工作都是基于人工的代码检测，大大降低重构效率，这也是制约重构发展的最大障碍。 　　2.在重构实施阶段，需要对“坏味道”进行调整，使得问题代码按照预期的方式进行调整。对这些代码的修改必定会影响到程序中的其他部分，需要为不同的“坏味道”设计安全的程序转换。为了避免重构过程牵涉到整个程序，要限定重构的规模。在同一个程序中，同样类型的“坏味道”会重复多次出现，只是表现形式不同，要使一次重构实施能同时修改所有具有相同类型的问题代码。这些都是在重构实施阶段需要被考虑的问题。 　　3.重构后的代码必须能够正确运行，并具有与原程序相同的行为。不幸的是，对正确性和行为不变性的研究十分缺乏。这主要是因为程序的行为会涉及运行时的动态信息，而重构是一种静态的代码分析技术。要把动态的行为通过静态的方式来验证，是一项重大挑战。 　　我们可以通过一种形式化的图转换技术，建立一个完整的重构模型。首先，把程序转换成等价的图表示，识别出图中具有不合理关系的“坏味道”作为重构对象；然后，通过程序切片技术，提取与重构对象相关的语句，按照图转换规则对其实施重构；最后，验证被转换的图仍表示一个正确的程序，且转换前后具有相同的行为。 　　二、重构识别的现状 　　目前，对重构对象的识别主要依靠手动方法，这样不但效率低，而且正确性不高，从而制约了重构技术的发展。因此，自动识别重构对象对重构技术的发展非常重要。现有的重构识别方法主要通过程序分析、可视化和度量等技术来辅助实现。 　　识别重构对象的方法之一是静态分析。Kamiy首先提出一种自动识别克隆代码的技术，消除程序中的冗余代码。Katao利用动态分析技术，开发出能够自动检测程序不变量的工具Daikon，进而删除不影响程序运行的不变量。 　　另外一种识别重构对象的方法是可视化技术，它根据不同需求，将程序在不同层次进行抽象，然后在这个抽象层次上发现潜在的“坏味道”。Simon利用基于度量的可视化技术，把程序的内聚度在2D图上抽象出来，辅助维护人员识别重构对象。Bohnet将组件之间的交互（调用关系）可视化在3D空间，在不同的抽象层次（从方法间的交互到系统间的交互）上分析组件之间的交互，从而识别不合理的调用关系。 　　度量技术也是重构识别的重要方法。如Chidamber提出的LCOM度量可反映一个类中的方法与属性之间交互的紧密程度。Briand提出一种针对类的接口的度量，来分析这个类的接口定义的是否合理。Sheetz等通过Fan-out度量，来反映一个类与外界的耦合度，这可以帮助识别程序中类间交互的“坏味道”。Ott在一些简单度量的基础之上，定义