一个分层切片工具模型 |
| |
引用本文: | 谭毅 朱平 等. 一个分层切片工具模型[J]. 计算机科学, 2001, 28(12): 93-96 |
| |
作者姓名: | 谭毅 朱平 等 |
| |
作者单位: | 南京大学计算机系, |
| |
基金项目: | 江苏省自然科学基金(编号BK99038),江苏省应用基础研究(编号BJ2000034)资助 |
| |
摘 要: | 程序切片技术在程序调试、测试、程序理解、逆向工程和软件维护等方面有着广泛的应用。程序切片是一组可能影响到在程序中某个点i的某个变量v的值的语句或谓词的集合。而(v,i)被称作切片准则。这里v也可以是一组变量。自从Mark Weiser提出切片的概念,随着程序依赖图、系统依赖图的出现,传统程序的切片技术已走向成熟。1994年以来,面向对象的程序切片逐渐成为研究的主流。A.Krishnaswamy利用一种面向对象的程序依赖图(OPDG,Object-Ori-ented Program Dependence Graph)来计算面向对象程序的语句切片,但是OPDG不能表示动态绑定等问题。D.Liang,L.D.Larsen和M.J.Harrold扩展系统依赖图来计算面向对象程序的切片,在一定程度上解决了动态绑定和对象参数的问题。这些切片方法都是基于依赖图的,而构造OO程序的依赖图是一件非常复杂的工作,而且构造过程中容易出错,这会导致切片的结果不正确,造成前功尽弃。李必信提出了分层切片的思想,利用逐步求精的方法来得到面向对象程序的切片。
|
关 键 词: | 程序分层切片工具 面向对象 软件理解 |
A Hierarchical Slicing Tool Model |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|