随着软件的需求和规模的增大,软件的质量变得日益重要。软件测试是软件质量的最重要解决方案,而测试用例的生成则是软件测试中最重要的环节。由于测试用例生成的效率和方法将直接影响到软件测试的效果,因此,本文对测试用例的自动化生成进行了较为详细的研究,具有十分重要的意义。程序切片是一种程序分解技术,通过对程序进行分解成切片,并对切片进行相关的研究从而达到对整个程序的理解。程序切片在软件的测试、调试、维护和编码等等都有极其广泛的用途。动态切片是程序切片中的一种,本文在对已有的动态切片理论和算法研究的基础上提出了一种改进的算法,通过程序实际的执行路径上的控制依赖和数据依赖节点以及可到达语句求出给定切片准则上的动态切片,并通过一个具体的实例对算法进行验证,实验表明生成的切片是有效的。随后,本文把这种动态切片算法应用到测试用例的自动生成中。具体方法是给定初始输入和指定路径,首先找到给定初始输入的实际执行路径与指定路径的最长公共前缀节点,然后计算该节点的动态切片,并通过不断地调整输入去运行切片,使得程序该节点的谓词函数取反,最后直至运行的路径与给定路径完全相等,则指定路径的测试用例也就生成了。最后,通过实际开发出的测试用例自动工具对实例进行演示,实验表明,基于动态切片技术的测试用例自动生成是行之有效的。