一种简化依赖关系的动态程序切片算法

来源 :郑州大学学报：工学版 | 被引量 : 0次 | 上传用户：zhouwenwumo

【摘要】

：

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切

【作者】

：

贾利敏张忠林

【机构】

：

兰州交通大学电子与信息工程学院

【出处】

：

郑州大学学报：工学版

【发表日期】

：

2009年2期

【关键词】

：

动态程序切片切片准则动态程序切片算法依赖关系程序依赖图 dynamic program slicing slice criterion depend

【基金项目】

：

甘肃省科技支撑计划项目(0804JKCA040)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.

其他文献

基于接触的销钉孔塑性变形分析

利用ANSYS的面面接触单元,模拟了某项目事故发生时销钉与销钉孔之间的受力,采用逐步逼近和插值方法求解了销钉所受力的大小.该方法是通过分步计算销钉孔的两个塑性区变形量的

期刊

接触分析塑性变形收敛ANSYS有限元contact analysis plastic deformation convergence ANSYS

昆曼公路老挝段勘查设计工作完成

期刊

昆曼公路设计工作高等级公路前期准备工作东盟自由贸易区老挝国开工建设国际大通道公路专家路面改造

Delphi通过双接口控制AutoCAD绘图

利用AutoCAD提供的编程模型,可使其采取批处理方式高效绘图,还可使应用程序拥有强大的图形功能.编程控制AutoCAD绘图,通常是VB/VBA利用其对象模型的自动化接口绘图,其程序的执行性能相对较低.现提出Delph i通过AutoCAD提供的对象模型的双接口进行绘图的方法,并给出典型实例的具体实现.实例结果表明:Delph i绘图方法既提供了编程灵活性,又使应用程序拥有较高的执行性能,从而为编

期刊

DELPHIAUTOCAD编程模型COM双接口Delphi AutoCAD programming model component objec

韦钰指出：科学家要承担科学教育责任

教育部原副部长、中国科协副主席韦钰院士在日前举行的第三届中国科学家教育家企业家论坛上指出，在知识社会里，除从事研究和技术转化的任务外，科学家需要明确对科学教育、对与决

期刊