發(fā)布時間：2018-11-25 15:57

【摘要】：過程間分析技術(shù)通常用于靜態(tài)檢測并行程序中的錯誤模式實例,目前已成為靜態(tài)測試、錯誤模式匹配等領(lǐng)域的研究熱點。然而,現(xiàn)存的過程內(nèi)分析技術(shù)對于并行錯誤的靜態(tài)測試效果尚不夠理想。為此,文章試圖運用過程間分析技術(shù)對并行程序進(jìn)行"錯誤模式"的匹配。通過遍歷構(gòu)建的全局控制流圖,分析圖中單個節(jié)點所包含的語句,對其中可能出現(xiàn)錯誤的程序進(jìn)行了錯誤模式的匹配,最終得出"錯誤定位"的結(jié)果。通過在實際開源系統(tǒng)中的應(yīng)用,結(jié)果表明文中所提出的方法效果良好,具有較好的錯誤定位能力。
[Abstract]:Inter-process analysis is usually used to detect error pattern instances in parallel programs. It has become a hotspot in the field of static testing and error pattern matching. However, the existing in-process analysis techniques are not ideal for the static testing of parallel errors. Therefore, this paper attempts to use inter-process analysis technology to match the "error pattern" of parallel programs. By traversing the constructed global control flow diagram and analyzing the statements contained by a single node in the diagram, the program that may have errors is matched with the wrong pattern, and the result of "error location" is obtained. Through the application in the actual open source system, the results show that the proposed method is effective and has good error location ability.
【作者單位】： 西北工業(yè)大學(xué)軟件與微電子學(xué)院;
【基金】：國家自然科學(xué)基金(61402370) 中央高�；究蒲袠I(yè)務(wù)費專項資金資助
【分類號】：TP311.53

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 殷杰;邊旭興;;并行程序表征的語義發(fā)展趨勢探析[J];科學(xué)技術(shù)哲學(xué)研究;2012年04期

2 周玉清;;關(guān)于并行程序驗證方法的討論[J];計算機研究與發(fā)展;1982年09期

3 劉杰,遲利華,胡慶豐;并行程序的優(yōu)化與性能評價[J];計算機工程與科學(xué);2000年05期

4 董超群;陸林生;;域:支持并行程序概念設(shè)計的一種抽象手段[J];計算機科學(xué);2001年10期

5 劉建,沈美明,鄭緯民;調(diào)試器對并行程序干擾特性的研究[J];計算機學(xué)報;2002年02期

6 萬劍怡,孫永強,薛錦云;一種將設(shè)計模式用于程序精化演算的并行程序設(shè)計方法研究[J];計算機研究與發(fā)展;2003年02期

7 陸林生,董超群,王玲秋,史濤;并行程序概念設(shè)計方法的研究[J];計算機學(xué)報;2003年09期

8 張學(xué)波,李曉梅;分布式存儲環(huán)境下并行程序的優(yōu)化[J];裝備指揮技術(shù)學(xué)院學(xué)報;2004年02期

9 陳素芬,萬劍怡,曾雪強,薛錦云;一種典型并行程序風(fēng)范——“管理者-工人”的設(shè)計模式開發(fā)與實現(xiàn)[J];計算機與現(xiàn)代化;2005年08期

10 蔣光慶;文鋒;;并行程序?qū)嵱脙?yōu)化方法討論[J];信息工程大學(xué)學(xué)報;2006年04期

相關(guān)會議論文 前6條

1 王巍;方濱興;張宏莉;;網(wǎng)格環(huán)境下的限定性并行程序可達(dá)性測試算法[A];全國網(wǎng)絡(luò)與信息安全技術(shù)研討會'2005論文集（上冊）[C];2005年

2 王恩柱;劉曉平;;一個可視化并行程序開發(fā)平臺的實現(xiàn)[A];計算機技術(shù)與應(yīng)用進(jìn)展——全國第17屆計算機科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會議論文集（上冊）[C];2006年

3 鄭啟龍;王昊;吳曉偉;房明;;HPMR:多核集群上的高性能計算支撐平臺[A];2008年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2008年

4 李正夫;郭權(quán);王希誠;;新藥研發(fā)網(wǎng)格下的一種藥物分子對接并行程序[A];計算機技術(shù)與應(yīng)用進(jìn)展·2007——全國第18屆計算機技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會議論文集[C];2007年

5 趙鵬;張丹丹;汪魯兵;田振夫;錢躍z，

本文編號：2356679