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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

7 李劍明;面向星載計算機瞬時故障的軟件控制流錯誤檢測技術(shù)[D];國防科學技術(shù)大學;2009年

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

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

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

，

本文編號：753256