基于程序切片的软件测试技术初探

摘要

程序切片是一种软件调试、测试、理解和维护技术,通过寻找程序内部的相关性来分解程序,从而达到快速错误定位的目的.对程序切片的基本概念、分类、切片准则、切片算法和基于程序切片的软件测试等方面进行了初步探讨.提出了基于程序切片的软件测试的基本方法,并分析了程序切片技术的发展方向和面临的问题.