X10程序的差别分析方法

作     者：陈雨亭 杨威 赵建军 CHEN Yu-Ting;YANG Wei;ZHAO Jian-Jun

作者机构：上海交通大学软件学院上海200240 上海市计算机软件评测重点实验室上海201112 中国科学院软件研究所计算机科学重点实验室北京100190 

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

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2015年第38卷第5期

页      码：1082-1092页

摘      要：程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动、同步等,从而为有效进行程序差别分析设置了障碍.文中研究基于PGAS模型的X10并行程序的程序差别分析方法,并设计了一种语句级的、针对X10程序的程序差别分析算法X10Diff.X10Diff包括下列步骤:(1)匹配原程序和修改后程序中的类、接口、方法及地址;(2)为待分析程序片段构建基于地址的程序流图,并建立相应简化图;(3)迭代扩展并比较简化图,并将差别信息定位到代码中.

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3724/sp.j.1016.2015.01082

馆 藏 号：203274273...