计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
11期
23-25
,共3页
栅栏%反例%消息传递接口%静态分析%错误诊断
柵欄%反例%消息傳遞接口%靜態分析%錯誤診斷
책란%반례%소식전체접구%정태분석%착오진단
栅栏分析器生成反例以帮助MPI程序员诊断同步错误.然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断.提出了一种改进的反例生成方法.该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入.实验评估表明提出的方法比现有的技术更好地支持同步错误诊断.
柵欄分析器生成反例以幫助MPI程序員診斷同步錯誤.然而,對于某些真實程序現有的反例生成方法不支持快速的錯誤診斷.提齣瞭一種改進的反例生成方法.該方法記錄瞭多值錶達式的傳播歷史併且能夠推導齣觸髮同步錯誤的程序輸入.實驗評估錶明提齣的方法比現有的技術更好地支持同步錯誤診斷.
책란분석기생성반례이방조MPI정서원진단동보착오.연이,대우모사진실정서현유적반례생성방법불지지쾌속적착오진단.제출료일충개진적반례생성방법.해방법기록료다치표체식적전파역사병차능구추도출촉발동보착오적정서수입.실험평고표명제출적방법비현유적기술경호지지지동보착오진단.
