基于过程蓝图的重构研究

摘要

几乎所有成功的软件都是在不断地演进中产生的。随着软件系统的演进,人们不断地修改原有的软件代码及其设计,导致代码逐渐变得臃肿,代码所体现的设计也变得越来越模糊。随着时间的推移,代码的维护会越来越困难,费用越来越高,扩展性也越来越差,如果在软件的演进过程中需求发生变化,对系统的修改将会带来巨大的挑战。为了解决这个问题,在面向对象的领域中,人们提出了重构的概念并对其进行了大量的研究与实践。
　　重构是一种改善软件内部结构而不改变程序行为的方法,它可以增加程序的可理解性和灵活性,提高软件的可复用性。运用自动化工具实现代码重构不仅可以减少手工重构的工作量,而且可以提高重构的速度。然而目前在重构技术领域取得的理论研究与工具开发成果主要集中在基于程序源码的半自动代码重构方面。现有研究表明,文本形式的程序源码表示并不能很好地支持重构。由于源码对程序元素之间的很多关系缺乏直观和明确的表示,从而需要构造其他支持重构的表示,例如控制流图,程序依赖图等,这样就导致了程序分析和计算费用高,重构过程也变得缓慢。
　　针对上述问题,本文从过程级模型重构这个抽象层次对重构技术进行了分析和研究。首先,探讨过程蓝图对于重构技术研究的重要意义,分析重构形式化技术及其应用。其次,针对当前基于程序源码的重构方法的不足,本文提出一种基于过程蓝图的可视化重构形式化框架,探讨该形式化框架中的每个元素,并给出27种过程蓝图的重构操作。最后,设计了一个基于过程蓝图的自动化重构工具。

目录

目录

中文摘要

英文摘要

第一章 绪 论

1.1 前言

1.2 研究动机

1.3 相关工作

1.4本文工作

1.5 论文组织

第二章 重构形式化概述

2.2形式化方法

2.3 重构形式化

2.4 小结

第三章 基于过程蓝图的重构

3.3重构的形式化框架

3.4重构的形式、类别与层次

3.5重构的规格说明

3.6重构的性质

3.7重构的基本过程

3.8重构的实例

3.9小结

第四章 过程蓝图重构工具的设计

4.1重构工具的意义

4.2重构工具的当前研究

4.3重构工具的技术标准

4.4重构工具的实用标准

4.5重构工具的设计

4.6 小结

第五章 结论与展望

参考文献

致谢