程序切片技术是一种分解程序的技术,可将一个复杂的大程序根据需要分解成满足计算需要的小程序,同时保持所选程序功能的相对完整性和计算结果的正确性.本文首先广泛、深入地研究了程序切片理论,对目前各种程序切片技术进行归纳总结,并简单介绍了几个程序切片工具.然后简要回顾了回归测试的基础理论及面临的问题,在此基础上,进一步研究了程序切片技术在降低回归测试成本方面的应用.根据对程序切片技术在回归测试领域内应用现状的分析,可知目前相关研究工作都没有区分回归测试所要检验的修改类型,可操作性不好,并且无法充分发挥程序切片技术的优点.为此,本文提出了一种利用"条件切片"技术,来专门检验对于循环和选择结构中"控制谓词"的修改的方法,从而更进一步降低回归测试的成本.最后,本文提出了一个"利用程序切片技术降低回归测试成本"的实用框架.该框架一方面可对一个软件修改前后的两个版本进行比较,计算出新版本相对于旧版本的差别程序,使得对差别程序进行回归测试与对软件新版本进行回归测试等效;另一方面,该框架能够有效复用软件旧版本的测试套件和测试结果,进一步减小回归测试套件的大小,使得要重新运行的测试用例数目大大减少.