软件演化和维护过程中若干关键技术研究

软件演化是不可避免的，因为软件在使用过程中会面临着这样一些问题：新的需求不断出现，事务环境经常变化，需要修正随时出现的错误，不时有新的计算机和设备接入到系统中，以及系统的性能和可靠性需要改进等等。为了解决这些问题，软件维护过程中采用的新技术的研究就显得很重要。本项目旨在研究一类基于程序切片和程序转换的软件维护技术，目的是想利用程序切片和程序转换的相关技术来解决软件维护过程中进行代码理解、再工程、影响分析、修改传播、回归测试和错误定位时遇到的问题。具体内容包括：基于程序切片和程序转换技术的软件理解、软件再工程（包括逆向工程，结构调整和正向工程）、软件修改影响范围的界定、软件修改传播模型的建立、回归测试用例的选择和优化以及错误定位的算法和实现等。我们相信，这些技术的成功研究和推广使用必将对现有的软件维护和演化技术和方法产生积极影响。