|
|||||
|
|
| 基于逆向程序流和函数依赖集的程序切片算法 | |
| 作者姓名： | 刘艳 李龙澍 |
| 作者单位： | 安徽大学计算机科学与技术学院;安徽大学计算智能与信号处理教育部重点实验室 |
| 基金项目： | 安徽高等学校省级自然科学基金资助项目(KJ2011Z020) |
| 摘 要： | 程序切片技术大多是根据程序依赖图(PDG)和系统依赖图(SDG)的图可达性算法来优化得到感兴趣的程序集合,但是构造PDG和SDG需要很大的空间开销。本文提出一种基于逆向程序流和函数依赖集的切片算法,从兴趣点开始扫描逆向程序流来计算程序切片,只计算与切片相关的数据依赖,并且考虑函数调用时切片的计算,提高计算切片的效率。通过实例表明该算法减少了计算程序切片的复杂度,具有一定的可行性和实用性。 |
| 关 键 词： | 程序切片 动态程序切片算法 函数依赖集 逆向程序流 |
| 本文献已被 CNKI 等数据库收录！ | |