-
题名X10程序的差别分析方法
- 1
-
-
作者
陈雨亭
杨威
赵建军
-
机构
上海交通大学软件学院
上海市计算机软件评测重点实验室
中国科学院软件研究所计算机科学重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2015年第5期1082-1092,共11页
-
基金
国家“九七三”重点基础研究发展规划项目基金(2015CB352203)
国家自然科学基金(91118004,61100051,61272102)
+1 种基金
中国科学院软件研究所计算机科学国家重点实验室开放基金(SYSKF1101)
上海市计算机软件评测重点实验室开放基金(SSTL2011_02)资助~~
-
文摘
程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动、同步等,从而为有效进行程序差别分析设置了障碍.文中研究基于PGAS模型的X10并行程序的程序差别分析方法,并设计了一种语句级的、针对X10程序的程序差别分析算法X10Diff.X10Diff包括下列步骤:(1)匹配原程序和修改后程序中的类、接口、方法及地址;(2)为待分析程序片段构建基于地址的程序流图,并建立相应简化图;(3)迭代扩展并比较简化图,并将差别信息定位到代码中.
-
关键词
程序差别分析
X10
程序流图
软件测试
程序调试
-
Keywords
program differencing
X10
program diagram
software test
program debugging
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
