原文服务方: 计算机应用研究       
摘要:
传统的程序切片方法一般基于程序依赖图(PDG)和系统依赖图(SDG)的可达性算法,但是在建立PDG和SDG的过程中会计算一些与切片无关的数据依赖,造成时空资源的浪费及切片效率的降低.提出了一种基于程序逆向流的切片算法,它事先建立逆向程序流,再从切片点开始沿逆向程序流扫描程序以获得程序切片,只计算与切片相关的数据依赖,从而提高了切片计算的时空效率.通过实验发现该算法具有一定的可行性和实用性.本算法适用于包括Fortran、C等编程语言在内的命令式程序的切片生成.
推荐文章
一种JAVA程序静态切片的方法
JAVA程序
程序切片
系统依赖图
一种基于程序切片算法的软件故障诊断策略
软件故障诊断
软件密集型装备
程序切片
粗诊断
细诊断
一种改进的用于并发程序静态切片的程序依赖图
静态程序切片
并发程序
程序依赖图
循环-承载数据依赖
一种粗粒度并发程序切片方法
Ada
并发程序
程序切片
程序分析
Petri网
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种基于逆向程序流的程序切片算法
来源期刊 计算机应用研究 学科
关键词 程序切片 程序逆向流 谓词依赖集 过程内切片 过程间切片
年,卷(期) 2009,(3) 所属期刊栏目 软件技术研究
研究方向 页码范围 920-922,926
页数 4页 分类号 TP311.5
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2009.03.037
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (15)
共引文献  (48)
参考文献  (5)
节点文献
引证文献  (10)
同被引文献  (15)
二级引证文献  (9)
1975(1)
  • 参考文献(0)
  • 二级参考文献(1)
1984(3)
  • 参考文献(2)
  • 二级参考文献(1)
1990(2)
  • 参考文献(1)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(1)
  • 二级参考文献(1)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(2)
  • 引证文献(2)
  • 二级引证文献(0)
2011(3)
  • 引证文献(3)
  • 二级引证文献(0)
2012(4)
  • 引证文献(0)
  • 二级引证文献(4)
2013(3)
  • 引证文献(1)
  • 二级引证文献(2)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
2016(4)
  • 引证文献(1)
  • 二级引证文献(3)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
程序切片
程序逆向流
谓词依赖集
过程内切片
过程间切片
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
论文1v1指导