摘要
程序切片是一种分析和理解程序的技术，是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解．程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关，而且与影响该变量的值的语句和谓词以及受该变量的值影响的语句和谓词有关．文中详细阐述了程序切片技术的研究与进展情况，并对目前存在各种程序切片方法和工具进行了比较；简单介绍了文中提出的面向对象的分层切片方法及其算法的思想；最后分析了程序切片技术目前还存在的一些问题及其发展趋势．
Program slicing is a static analysis technique that extracts all statements relevant to the computation of a given variable. Program slicing is useful in program debugging, software maintenance, and program understanding. Program slices can be used to reduce the effort in examining software by allowing a software auditor to focus attention on one computation at a time. In this paper, the research and development of program slicing is discussed, all kinds of program slicing methods are compared, the progress made in object-oriented program slicing domain is also presented, and current problem and future directions are analyzed at the end of the paper.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2000年第3期284-291,共8页
Journal of Computer Research and Development
基金
合肥经济技术学院科研基金!项目编号99-183
江苏省自然科学基金!项目编号BK99038
关键词
数据依赖
程序切片
分层切片
面向对象
源程序
data dependence, control dependence, dependence graph, program slicing, hierarchy slicing
