文件名称：论文研究-一种基于逆向程序流的程序切片算法.pdf
文件大小：117KB
文件格式：PDF
更新时间：2022-08-11 17:35:34
程序切片,程序逆向流,谓词依赖集,过程内切片,过程间切片
传统的程序切片方法一般基于程序依赖图(PDG)和系统依赖图(SDG)的可达性算法，但是在建立PDG和SDG的过程中会计算一些与切片无关的数据依赖，造成时空资源的浪费及切片效率的降低。提出了一种基于程序逆向流的切片算法，它事先建立逆向程序流，再从切片点开始沿逆向程序流扫描程序以获得程序切片，只计算与切片相关的数据依赖，从而提高了切片计算的时空效率。通过实验发现该算法具有一定的可行性和实用性。本算法适用于包括Fortran、C等编程语言在内的命令式程序的切片生成。