多文件程序切片算法研究及其在回归测试中的应用

摘要

程序切片技术是一种重要的分析和理解程序的技术，具有简化程序，缩小目标范围的特点。程序切片在程序调试、软件维护、测试、度量、逆向工程等许多方面都有着广泛应用。
　　 对于面向过程的程序切片技术，国内外都做了大量的研究，提出了许多面向过程的程序切片计算方法，主要包括过程内程序切片和过程间程序切片。但是这些切片方法大都是针对单个过程的程序或是只有一个源文件的多过程程序提出的，对于计算包含多个源文件的程序切片还存在着不足。随着软件技术的发展，程序规模越来越大，一个程序要分成多个功能模块，包含多个源程序文件。因此，需要一种新的切片计算方法，可以更好的处理多文件的程序切片计算问题。本文提出的基于工程依赖图的程序切片算法便是这种可以计算多文件程序切片的方法。
　　 本文的主要研究工作是在已有过程间程序切片算法的基础上，通过添加全局变量依赖、条件编译依赖和外部引用依赖等依赖关系的分析，构造一种新的程序依赖关系图--工程依赖图以及基于工程依赖图的切片算法，并且将该算法应用于回归测试中，提出了一种测试用例选择系统的实现框架。通过实验结果表明，基于工程依赖图的切片算法以及基于该算法的测试用例选择系统都是可行且有效的。