一种参数化的改进SDG程序切片方法

• 作者: 张迎周 徐晨晨 竺殊荣
• 来源期刊: 南京邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 改进SDG 过程内切片 过程间切片 传递依赖边
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 计算机与自动控制
• 页码范围: 75-80,89
• 页数: 7页
• 分类号: TP311
• 字数: 5389字
• 语种: 中文
• DOI: 10.14132/j.cnki.1673-5439.2017.06.012

摘要

程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用.目前主流的过程间程序切片方法是基于系统依赖图(SDG)算法,但这种算法缺乏对过程内切片结果的再使用.文中提出一种参数化的改进SDG切片方法,使用一种新的构造传递依赖边的方法(SummEdge算法),充分复用了过程内切片的结果,无需构造特征子图等中间形式,避免了调用上下文问题和重复计算.此外,文中对算法的效率和精度进行了验证,并与其他切片算法进行比较,实证了改进SDG算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张迎周	南京邮电大学计算机学院	27	142	7.0	10.0
2	徐晨晨	南京邮电大学计算机学院	1	1	1.0	1.0
3	竺殊荣	南京邮电大学计算机学院	1	1	1.0	1.0