一种基于逆向程序流的程序切片算法

• 作者: 杨献春 白文科 许满武
• 来源期刊: 计算机应用研究
• 关键词: 程序切片 程序逆向流 谓词依赖集 过程内切片 过程间切片
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 软件技术研究
• 页码范围: 920-922,926
• 页数: 4页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.03.037

摘要

传统的程序切片方法一般基于程序依赖图(PDG)和系统依赖图(SDG)的可达性算法,但是在建立PDG和SDG的过程中会计算一些与切片无关的数据依赖,造成时空资源的浪费及切片效率的降低.提出了一种基于程序逆向流的切片算法,它事先建立逆向程序流,再从切片点开始沿逆向程序流扫描程序以获得程序切片,只计算与切片相关的数据依赖,从而提高了切片计算的时空效率.通过实验发现该算法具有一定的可行性和实用性.本算法适用于包括Fortran、C等编程语言在内的命令式程序的切片生成.