计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2015年
5期
1082-1092
,共11页
程序差别分析%X10%程序流图%软件测试%程序调试
程序差彆分析%X10%程序流圖%軟件測試%程序調試
정서차별분석%X10%정서류도%연건측시%정서조시
program differencing%X10%program diagram%software test%program debugging
程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动、同步等,从而为有效进行程序差别分析设置了障碍.文中研究基于PGAS模型的X10并行程序的程序差别分析方法,并设计了一种语句级的、针对X10程序的程序差别分析算法X10Diff.X10Diff包括下列步骤:(1)匹配原程序和修改后程序中的类、接口、方法及地址;(2)为待分析程序片段构建基于地址的程序流图,并建立相应简化图;(3)迭代扩展并比较简化图,并将差别信息定位到代码中.
程序差彆分析是程序調試的常見手段,其主要用于分析程序不同版本之間的差異信息.然而,將現有程序差彆分析算法擴展到併行程序語言還麵臨衆多挑戰.其主要原因在于併行程序複雜性較高,且存在支持併行活動的特殊機製,如地阯(或線程)、活動、同步等,從而為有效進行程序差彆分析設置瞭障礙.文中研究基于PGAS模型的X10併行程序的程序差彆分析方法,併設計瞭一種語句級的、針對X10程序的程序差彆分析算法X10Diff.X10Diff包括下列步驟:(1)匹配原程序和脩改後程序中的類、接口、方法及地阯;(2)為待分析程序片段構建基于地阯的程序流圖,併建立相應簡化圖;(3)迭代擴展併比較簡化圖,併將差彆信息定位到代碼中.
정서차별분석시정서조시적상견수단,기주요용우분석정서불동판본지간적차이신식.연이,장현유정서차별분석산법확전도병행정서어언환면림음다도전.기주요원인재우병행정서복잡성교고,차존재지지병행활동적특수궤제,여지지(혹선정)、활동、동보등,종이위유효진행정서차별분석설치료장애.문중연구기우PGAS모형적X10병행정서적정서차별분석방법,병설계료일충어구급적、침대X10정서적정서차별분석산법X10Diff.X10Diff포괄하렬보취:(1)필배원정서화수개후정서중적류、접구、방법급지지;(2)위대분석정서편단구건기우지지적정서류도,병건립상응간화도;(3)질대확전병비교간화도,병장차별신식정위도대마중.
