论文部分内容阅读
在软件开发与维护中,潜在着一种软件内部结构复杂化和有序性降低的趋势。为了消除和改变这种趋势,引发了软件重构技术的研究。重构,其目的是在不改变软件的外在行为的前提下调整软件内部结构,提供了一种高效且受控的代码整理技术。尽管表面上重构是代码的一种整理,实际上却是对代码中蕴涵的设计的调整。 泛型程序设计是C++语言通过模板机制支持的一种程序设计方法。本文在对泛型程序设计深入研究的基础上,对泛型程序重构进行了分析和研究,提出并形式化描述了一组适用于泛型程序设计的重构操作以及对应的前提条件,设计并实现了支持泛型程序重构的自动化工具的原型CppRefactory。重构的前提条件是检测程序和重构操作是否会改变软件的外在行为,而且重构工具也需要通过实现自动化检测前提条件达到可靠性的要求。