本文關(guān)鍵詞：基于結(jié)構(gòu)化標(biāo)簽的控制流錯(cuò)誤檢測(cè)算法

  更多相關(guān)文章： 瞬態(tài)故障 控制流錯(cuò)誤檢測(cè) 基本塊 結(jié)構(gòu)化標(biāo)簽 故障注入 軟件容錯(cuò)

【摘要】：在高輻射宇宙環(huán)境下,大量射線容易使航天計(jì)算機(jī)發(fā)生瞬態(tài)故障,導(dǎo)致程序出現(xiàn)控制流錯(cuò)誤,而傳統(tǒng)控制流錯(cuò)誤檢測(cè)算法存在運(yùn)算復(fù)雜度高、具有滯后性和配置不靈活等缺點(diǎn)。為此,基于結(jié)構(gòu)化標(biāo)簽提出一種可配置的控制流錯(cuò)誤檢測(cè)算法。算法使用2個(gè)標(biāo)簽,通過(guò)對(duì)基本塊設(shè)計(jì)結(jié)構(gòu)引入雙指令環(huán),解決塊間滯后性的問(wèn)題,實(shí)現(xiàn)基本塊間和塊內(nèi)的控制流檢測(cè)。實(shí)驗(yàn)結(jié)果表明,與同類算法相比,該算法在保證等效檢錯(cuò)能力的情況下可使空間開銷降低49.3%,時(shí)間開銷降低17%~45.3%,故障覆蓋率提高6.2%~8.6%。
【作者單位】： 西安交通大學(xué)軟件學(xué)院;西安交通大學(xué)能源與動(dòng)力工程學(xué)院;
【關(guān)鍵詞】： 瞬態(tài)故障 控制流錯(cuò)誤檢測(cè) 基本塊 結(jié)構(gòu)化標(biāo)簽 故障注入 軟件容錯(cuò)
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(61473220) 中央高�；究蒲袠I(yè)務(wù)費(fèi)專項(xiàng)基金資助項(xiàng)目(XJJ2015122) 陜西省工業(yè)公關(guān)計(jì)劃基金資助項(xiàng)目(2013K06-20)
【分類號(hào)】：TP302.8
【正文快照】： 中文引用格式:張鵬,朱利,杜小智,等.基于結(jié)構(gòu)化標(biāo)簽的控制流錯(cuò)誤檢測(cè)算法[J].計(jì)算機(jī)工程,2016,42(6):37-42.英文引用格式:Zhang Peng,Zhu Li,Du Xiaozhi,et al.Control Flow Error Detection Algorithm Based on StructuralTag[J].Computer Engineering,2016,42(6):37-42.1概

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 陳衛(wèi)東,楊建軍,葉澄清,潘云鶴;基于塊的流圖模型及其控制流圖[J];浙江大學(xué)學(xué)報(bào)(工學(xué)版);2003年02期

2 蘆運(yùn)照,張兆慶;控制流路徑敏感的深層代碼優(yōu)化技術(shù)[J];計(jì)算機(jī)工程;2004年10期

3 汪淼;趙榮彩;蔡國(guó)明;丁志芳;;軟件流水中隱式控制流恢復(fù)技術(shù)[J];計(jì)算機(jī)科學(xué);2008年10期

4 龔銳;陳微;劉芳;戴葵;王志英;;一種軟硬件結(jié)合的控制流檢測(cè)與恢復(fù)方法[J];計(jì)算機(jī)研究與發(fā)展;2009年02期

5 張雁;林英;;程序控制流圖自動(dòng)生成的算法[J];計(jì)算機(jī)與數(shù)字工程;2010年02期

6 杜子德;程序控制流圖：一種可觀化的程序設(shè)計(jì)工具[J];計(jì)算機(jī)研究與發(fā)展;1995年12期

7 李愛(ài)國(guó);洪炳昒;王司;;軟件實(shí)現(xiàn)的程序控制流校驗(yàn)方法研究進(jìn)展[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);2008年03期

8 胡剛;張平;李清寶;張翠艷;;基于靜態(tài)模擬的二進(jìn)制控制流恢復(fù)算法[J];計(jì)算機(jī)工程;2011年05期

9 陳新;;基于程序控制流圖源代碼相似程度分析系統(tǒng)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2013年03期

10 李金諾;;一種基于約束分析精簡(jiǎn)控制流圖方法[J];計(jì)算機(jī)與現(xiàn)代化;2013年10期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 夏玉輝;張威;萬(wàn)琳;王洪艷;;一種基于控制流圖的靜態(tài)測(cè)試方法[A];第三屆全國(guó)軟件測(cè)試會(huì)議與移動(dòng)計(jì)算、柵格、智能化高級(jí)論壇論文集[C];2009年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 王偉;使用顯式控制流語(yǔ)言驗(yàn)證匯編程序的方法[D];中國(guó)科學(xué)技術(shù)大學(xué);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 楊克;基于代碼屬性圖的軟件安全漏洞挖掘方法研究[D];燕山大學(xué);2015年

2 衛(wèi)彥伉;星載LTE上行同步處理抗輻照技術(shù)研究[D];解放軍信息工程大學(xué);2014年

3 崔晨;固件代碼控制流圖恢復(fù)技術(shù)研究[D];解放軍信息工程大學(xué);2012年

4 馮斌;靜態(tài)構(gòu)造面向方面程序的控制流圖[D];上海交通大學(xué);2007年

5 楊廣;控制流提取模型及軟件可靠性評(píng)價(jià)應(yīng)用研究[D];大連理工大學(xué);2013年

6 周希;基于靜態(tài)分析的程序控制流圖生成工具的設(shè)計(jì)與實(shí)現(xiàn)[D];中山大學(xué);2013年

7 李劍明;面向星載計(jì)算機(jī)瞬時(shí)故障的軟件控制流錯(cuò)誤檢測(cè)技術(shù)[D];國(guó)防科學(xué)技術(shù)大學(xué);2009年

8 韓紅軍;基于控制流圖的Java語(yǔ)言動(dòng)態(tài)例化的研究[D];北京工業(yè)大學(xué);2002年

9 任浩;基于靜態(tài)分析的C程序控制流圖構(gòu)造方法研究[D];內(nèi)蒙古師范大學(xué);2013年

10 熊利平;基于控制流與數(shù)據(jù)流的面向方面測(cè)試方法研究[D];湖南大學(xué);2013年

，

本文編號(hào)：753256