摘要
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用。
Dynamic program slicing is computed regarding a program′s input, obtained the subset of original program which potentially affect the final results by removing zero or more statements from the original program. Dynamic program slicing is applied to program debugging, program comprehension, software testing and software maintenance. The paper discusses basic concepts in dynamic slicing at first, then presents a dynamic slicing method based-on dynamic flow, it′s application in software test and program debugging is discussed at last.
出处
《东北农业大学学报》
CAS
CSCD
2005年第3期397-400,共4页
Journal of Northeast Agricultural University
基金
黑龙江省教育厅科技项目(10541098)
关键词
程序切片
动态切片
切片准则
program slicing
dynamic slicing
slicing criterion