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

Dynamic Program Slicing Based on Forward Computation

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

Dynamic program slicing is widely used in software analyzing, testing and debugging. This paper proposed a novel forward computation approach for computing dynamic slices. Firstly our approach computes the influenced set of a defined variable in current executing statement based on the defined and used variables. Secondly it computes the direct dynamic dependence relationship of current statement. Finally it computes the dynamic slice of the variables. Applying this method, we designed and implemented a dynamic program slicing prototype for Java, and performed an experimental study on several open source programs. The experimental results show that the size of program slices by our approach is less than other methods.