-
题名动态程序切片研究及其应用
被引量：1
- 1
-
-
作者
李英梅
伦立军
丁雪梅
-
机构
哈尔滨师范大学计算机科学系
-
出处
《东北农业大学学报》
CAS
CSCD
2005年第3期397-400,共4页
-
基金
黑龙江省教育厅科技项目(10541098)
-
文摘
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用。
-
关键词
程序切片
动态切片
切片准则
-
Keywords
program slicing
dynamic slicing
slicing criterion
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种简化依赖关系的动态程序切片算法
被引量：1
- 2
-
-
作者
贾利敏
张忠林
-
机构
兰州交通大学电子与信息工程学院
-
出处
《郑州大学学报（工学版）》
CAS
北大核心
2009年第2期84-87,共4页
-
基金
甘肃省科技支撑计划项目(0804JKCA040)
-
文摘
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.
-
关键词
动态程序切片
切片准则
动态程序切片算法
依赖关系
程序依赖图
-
Keywords
dynamic program slicing
slice criterion
dependence relationship
program dependence graph
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名状态图描述的动态切片技术
- 3
-
-
作者
苗春雨
陈丽娜
-
机构
浙江师范大学行知学院
浙江师范大学数理与信息工程学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第5期204-207,214,共5页
-
基金
浙江省浙江师范大学计算机软件与理论重中之重学科开放基金(60873120)
浙江师范大学行知学院科研基金(201223)资助
-
文摘
众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。
-
关键词
Statechart描述
动态切片
切片准则
可观察语义
-
Keywords
Statechart specification
Dynamic slicing
Slice criterion
Observable semantics
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
