软件测试是人们发现,纠正,预防软件错误以及完善软件功能的重要手段。软件测试的目的是为了发现程序中的错误,软件测试的过程就是利用测试数据运行并发现软件中错误的过程。随着软件规模的不断增大,软件测试的地位显得越来越重要。程序切片技术是一种分析和理解程序的技术,具有可以简化问题,缩小目标范围的特点,在软件维护、程序调试、测试、代码理解等诸多领域有着广泛的应用。基于程序切片的软件测试是一种以程序或程序和需要相结合为基础的测试,根据程序的不同切片来缩小软件的测试范围,并提高软件测试的效率。同时由于程序切片考虑程序存在的各种依赖关系(不仅仅是数据依赖和控制依赖),使得测试的准确性得到提高。目前,对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很多的限制性,而且效率低,积极选择可达路径的思想可有效地减少不可达路径的产生。本文系统地阐述了程序切片技术并研究了现有的研究成果,在已有可达路径算法基础上,引入了程序切片技术,提出了基于程序切片方法的可达路径选择算法。通过引入程序切片方法,在路径选择过程中分析程序结构的特点从而表示出程序中谓词的覆盖范围,即到达指定点处的可达路径。由程序切片方法,可以清晰地表示出源程序中可达路径所覆盖的程序结构;从而实现了对每条语句或语句块而言,只要关心在可达路径中的语句。本文提出了一种新的切片概念——路径切片,将程序切片思想应用于路径选择。该切片形式作为一个路径的集合,在这种切片上进行路径选择,从而减小了路径选择的盲目性。