软件测试作为保证软件质量,提高软件可靠性的重要手段,在软件开发过程中起着不可替代的作用,而测试数据生成则是软件测试的核心与关键。实际测试活动中,往往要求能达到一定程度的路径覆盖。因此,探讨采用一种辅助生成路径测试数据的有效手段,具有十分重要的意义。 程序切片技术是一种分析和理解程序的技术,具有可以简化问题,缩小目标范围的特点,在软件维护、程序调试、测试、代码理解等诸多领域有着广泛的应用。 本文全面系统地阐述了程序切片技术并研究了现有的研究成果,在已有动态切片算法基础上,引入了支配关系这一概念,提出了一种新的基于前向分析的动态切片算法。通过引入支配关系表示出程序中谓词的覆盖范围,由支配关系的传递性,清晰地表示出源程序的程序结构;从而实现了对每条语句或语句块而言,只要关心在动态执行过程中语句或语句块的本身,该语句或语句块有无支配点以及邻近支配点的执行情况即可判断出该语句是否应包含在相应的切片中。实验表明,这种切片算法是行之有效的。 此外,本文将动态程序切片技术应用于软件测试数据的自动生成中,以提高测试数据的生成效率。通过计算程序中关于分支节点(兴