X10程序的差别分析方法  

Program Differencing for X10

作　　者：陈雨亭[1,2] 杨威[1] 赵建军[1,3,2] 

机构地区：[1]上海交通大学软件学院,上海200240 [2]上海市计算机软件评测重点实验室,上海201112 [3]中国科学院软件研究所计算机科学重点实验室,北京100190

出　　处：《计算机学报》2015年第5期1082-1092,共11页Chinese Journal of Computers

基　　金：国家“九七三”重点基础研究发展规划项目基金(2015CB352203);国家自然科学基金(91118004,61100051,61272102);中国科学院软件研究所计算机科学国家重点实验室开放基金(SYSKF1101);上海市计算机软件评测重点实验室开放基金(SSTL2011_02)资助~~

摘　　要：程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动、同步等,从而为有效进行程序差别分析设置了障碍.文中研究基于PGAS模型的X10并行程序的程序差别分析方法,并设计了一种语句级的、针对X10程序的程序差别分析算法X10Diff.X10Diff包括下列步骤:(1)匹配原程序和修改后程序中的类、接口、方法及地址;(2)为待分析程序片段构建基于地址的程序流图,并建立相应简化图;(3)迭代扩展并比较简化图,并将差别信息定位到代码中.Program differencing is a widely used technique for program debugging, while it is still not easily used for parallel programs. One main reason is that a parallel program can be complex, and some mechanisms （e. g. , place, activity, clock, and barrier） also set barriers for program differencing. In this paper we focus on program differencing for X10 parallel programming language, and design an algorithm for differencing of X10 programs. The algorithm contains three steps： （1） match the places, classes, interfaces, methods, and places between programs of two versions; （2） construct the extended program diagrams for the programs and simplify them to simplified diagrams; （3） iteratively unfold and compare the simplified diagrams and identify the differences between the programs.

关 键 词：程序差别分析 X10 程序流图 软件测试 程序调试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]