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

作     者：王兴亚 姜淑娟 鞠小林 邵浩然 WANG Xing-ya;JIANG Shu-juan;JU Xiao-lin;SHAO Hao-ran

作者机构：中国矿业大学计算机科学与技术学院徐州221116 南通大学计算机科学与技术学院南通226019 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2014年第41卷第1期

页      面：250-253,278页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金(61202006 60970032) 江苏省青蓝工程 江苏省自然科学研究项目(12KJB520014) 江苏省研究生培养创新工程(CXZZ12_0935) 南通市应用研究计划(BK2011025 BK2012023)资助 

主　　题：动态切片 前向计算 程序依赖性 三地址码 

摘      要：动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。