摘要
程序切片是一种软件调试、测试、理解和维护技术,通过寻找程序内部的相关性来分解程序,从而达到快速错误定位的目的。对程序切片的基本概念、分类、切片准则、切片算法和基于程序切片的软件测试等方面进行了初步探讨。提出了基于程序切片的软件测试的基本方法,并分析了程序切片技术的发展方向和面临的问题。
Program slicing is a technology of software debugging, test, maintenance, and understanding. It can be used to locate the mistakes rapidly. This paper discusses the basic concept, classification, standard, arithmetic of program slicing and software test based on program slicing, and analyzes the existing problem and future development of program slicing technique.
出处
《无线电工程》
2006年第2期61-64,共4页
Radio Engineering
关键词
程序切片
软件测试
静态切片
动态切片
program slicing
software test
static slicing
dynamic slicing
