一种基于前向计算的动态程序切片方法

本文作者：王兴亚；姜淑娟；鞠小林；邵浩然；成功正常投稿发表论文到《计算机科学》2014年01期,引用请注明来源400期刊网！

【摘要】：动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。
【论文正文预览】：1引言动态程序切片技术是一种重要的软件分析技术,其概念最早由Korel和Laski于1988年提出[1]。其后的20余年,研究人员对动态程序切片的理论和方法开展了大量的研究工作[2]。目前,动态程序切片技术已经广泛应用于各类软件工程任务中,如:程序调试、软件测试、软件维护以及错误定
【文章分类号】：TP311.11
【稿件关键词】：动态切片前向计算程序依赖性三地址码
【参考文献】:

• 王雪莲,赵瑞莲,李立健;一种用于测试数据生成的动态程序切片算法[J];计算机应用;2005年06期
• 郑衍松;佟冬;王克义;程旭;;MDCI:基于多粒度动态控制流不变式的硬件故障局部化[J];电子学报;2010年11期
• 袁修华;王义强;胡艳娟;赵宏伟;;数控系统软件故障定位技术[J];重庆大学学报;2012年01期
• 潘伟丰;李兵;马于涛;刘婧;;基于复杂软件网络的回归测试用例优先级排序[J];电子学报;2012年12期
• 毛立强;;基于模糊测试的自动化软件测试方法[J];电脑知识与技术;2014年06期
• 虞凯;林梦香;;自动化软件错误定位技术研究进展[J];计算机学报;2011年08期
• 孙继荣;李志蜀;王莉;殷锋;金虎;;程序切片技术在软件测试中的应用[J];计算机应用研究;2007年05期
• 鞠小林;姜淑娟;张艳梅;董国伟;;软件故障定位技术进展[J];计算机科学与探索;2012年06期
• 刘艳;李龙澍;;基于逆向程序流和函数依赖集的程序切片算法[J];计算机与现代化;2013年08期
• 陈翔;顾卫江;徐慧;顾庆;陈道蓄;;回归测试用例选择技术研究综述[J];计算机科学;2013年10期
• 田甜;巩敦卫;;消息传递并行程序路径覆盖测试数据生成问题的模型及其进化求解方法[J];计算机学报;2013年11期
• 姚香娟;复杂软件测试数据进化生成理论及应用[D];中国矿业大学;2011年
• 江胜;基于进化测试的用例生成方法研究[D];华中科技大学;2009年
• 张艳梅;基于依赖性分析的面向对象程序测试技术研究[D];中国矿业大学;2012年
• 刘东红;大规模分布式软件系统的伴随式监控技术研究[D];国防科学技术大学;2011年
• 张岩;路径覆盖测试数据进化生成理论与方法[D];中国矿业大学;2012年
• 陈翔;组合测试技术及应用研究[D];南京大学;2011年
• 刘东昊;对象级粗粒度切片方法研究[D];郑州大学;2011年
• 雷晏;基于迭代反馈的缺陷定位技术研究[D];国防科学技术大学;2010年
• 徐健;基于KBC特性及降噪的错误定位技术及其实践[D];浙江大学;2012年
• 欧阳永基;基于关键路径覆盖的二进制程序测试技术研究[D];解放军信息工程大学;2011年
• 马亮;面向对象程序动态切片系统的研究与实现[D];南京航空航天大学;2007年
• 吴永军;C++程序动态切片系统的研究与实现[D];南京航空航天大学;2008年
• 马曾凯;面向方面软件的测试用例排序技术[D];上海交通大学;2009年
• 张赛;面向方面程序中的影响分析及应用[D];上海交通大学;2009年
• 陈文萍;基于遗传算法的软件测试用例优化技术研究[D];北京化工大学;2009年
• 马玉州;面向对象程序的一种回归测试方法[D];吉林大学;2010年
• 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期
• 徐宝文;一种逆向程序流依赖性分析方法及其应用[J];计算机学报;1993年05期
• 李英梅,伦立军,丁雪梅;动态程序切片研究及其应用[J];东北农业大学学报;2005年03期
• 徐宝文,张挺,陈振强;递归子程序的依赖性分析及其应用[J];计算机学报;2001年11期
• 张凯,陈利;Linux中断系统的程序依赖性度量[J];湖州师范学院学报;2005年02期
• 韩永生;章雪梅;;基于程序切片的软件测试技术初探[J];无线电工程;2006年02期
• 张迎周;徐宝文;;一种基于模块单子语义的动态程序切片方法[J];计算机学报;2006年04期
• 贾利敏;张忠林;;PDG算法在动态切片技术中的应用研究[J];兰州交通大学学报;2008年01期
• 郝学姣;汤小春;;基于依赖标识的并发程序动态切片方法[J];微电子学与计算机;2009年07期
• 张广泉;黄静;章晓芳;刘长林;;面向方面程序的简化动态依赖图切片方法[J];计算机科学与探索;2011年03期
• 濮方琍;卢炎生;;基于并行Java程序动态切片的Concolic测试[J];华中科技大学学报(自然科学版);2009年10期
• 濮方琍;并行程序测试的关键技术研究[D];华中科技大学;2009年
• 郭德贵;ATLAS语言指称语义及程序分析技术[D];吉林大学;2007年
• 蒋延文;培美曲塞联合索拉非尼对肺癌细胞株的生物学作用及其机制研究[D];中国人民解放军军医进修学院;2012年
• 夏嘉斌;基于概率推断的动态切片裁剪方法[D];上海交通大学;2013年
• 刘希;面向Java程序错误定位的动态切片技术的研究与应用[D];湖南大学;2011年
• 王波;基于谓词动态切片技术的AOP测试用例生成方法研究[D];郑州大学;2012年
• 肖燕;基于热路径的程序切片技术在错误定位中的应用[D];湖南大学;2011年
• 刘磊;基于动态程序切片技术的测试用例自动生成研究[D];安徽大学;2010年
• 黄静;面向方面程序切片技术及其在测试数据生成中的应用[D];苏州大学;2011年
• 黄雅菁;基于切片度量的重构定位方法设计与研究[D];上海师范大学;2010年
• 黄山;基于动态二进制程序切片技术的软件攻击诊断[D];上海交通大学;2012年
• 苏永辉;特定领域环境下软件切片技术的研究[D];兰州理工大学;2010年
• 孟照国;一种基于流分析的源码检测工具[D];吉林大学;2012年

【稿件标题】：一种基于前向计算的动态程序切片方法
【作者单位】：中国矿业大学计算机科学与技术学院;南通大学计算机科学与技术学院;
【发表期刊期数】：《计算机科学》2014年01期
【期刊简介】：本刊以其新颖、准确、及时为特色，突出动态性、综述性、学术性。报告特点是：“前沿科学”与“基础研究”相结合；“核心技术”与“支撑技术”相结合；“倡导”与“争鸣”相结合。广采百家之长，博览计算机世界之态势。重在突出文章的思想性，令人有开拓思路之......更多计算机科学杂志社(http://www.400qikan.com/qk/1234/)投稿信息
【版权所有人】：王兴亚；姜淑娟；鞠小林；邵浩然；

更多科技类论文详细信息: 一种基于前向计算的动态程序切片方法 论文代写
http://m.400qikan.com/lw-16146 论文代发

相关专题：活期利率2014 浅谈会计职业道德论文