【摘要】：過(guò)程間分析技術(shù)通常用于靜態(tài)檢測(cè)并行程序中的錯(cuò)誤模式實(shí)例,目前已成為靜態(tài)測(cè)試、錯(cuò)誤模式匹配等領(lǐng)域的研究熱點(diǎn)。然而,現(xiàn)存的過(guò)程內(nèi)分析技術(shù)對(duì)于并行錯(cuò)誤的靜態(tài)測(cè)試效果尚不夠理想。為此,文章試圖運(yùn)用過(guò)程間分析技術(shù)對(duì)并行程序進(jìn)行"錯(cuò)誤模式"的匹配。通過(guò)遍歷構(gòu)建的全局控制流圖,分析圖中單個(gè)節(jié)點(diǎn)所包含的語(yǔ)句,對(duì)其中可能出現(xiàn)錯(cuò)誤的程序進(jìn)行了錯(cuò)誤模式的匹配,最終得出"錯(cuò)誤定位"的結(jié)果。通過(guò)在實(shí)際開(kāi)源系統(tǒng)中的應(yīng)用,結(jié)果表明文中所提出的方法效果良好,具有較好的錯(cuò)誤定位能力。
[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é)院;
【基金】：國(guó)家自然科學(xué)基金(61402370) 中央高�；究蒲袠I(yè)務(wù)費(fèi)專(zhuān)項(xiàng)資金資助
【分類(lèi)號(hào)】：TP311.53

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5 趙鵬;張丹丹;汪魯兵;田振夫;錢(qián)躍z，

本文編號(hào)：2356679