基于不變量的軟錯(cuò)誤檢測(cè)方法
大?。?/span>0.63 MB 人氣： 2018-01-17 需要積分：1
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）
標(biāo)簽：檢測(cè)方法(9746)
軟錯(cuò)誤是高輻照空間環(huán)境下影響計(jì)算可靠性的主要因素，結(jié)果錯(cuò)誤（silent data corruption，簡(jiǎn)稱SDC）是軟錯(cuò)誤造成的一種特殊的故障類型．針對(duì)SDC難以檢測(cè)的問題。提出了一種基于不變量的檢測(cè)方法．不變量是運(yùn)行時(shí)刻保持不變的程序特征．在軟錯(cuò)誤發(fā)生后，由于程序受到影響，不變量一般不再滿足．根據(jù)該原理，在源代碼中插入以不變量為內(nèi)容的斷言，利用發(fā)生軟錯(cuò)誤后斷言報(bào)錯(cuò)來檢測(cè)軟錯(cuò)誤．首先，根據(jù)錯(cuò)誤傳播分析確定了檢測(cè)位置，提取了檢測(cè)位置的不變量；定義了表征不變量檢測(cè)能力的滲透率在同一檢測(cè)位置依據(jù)滲透率將不變量轉(zhuǎn)化為斷言．通過錯(cuò)誤注入實(shí)驗(yàn)，驗(yàn)證了該檢測(cè)方法的有效性，實(shí)驗(yàn)結(jié)果表明：該檢測(cè)方法具備較高的檢出率和較低的檢測(cè)代價(jià)，為星載系統(tǒng)的軟錯(cuò)誤防護(hù)提供了新的解決思路．
?
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%
下載地址
基于不變量的軟錯(cuò)誤檢測(cè)方法下載
相關(guān)電子資料下載
- 第二屆大會(huì)回顧第21期 | 開源操作系統(tǒng)中API誤用缺陷自動(dòng)化檢測(cè)方法 175
- can通訊故障快速檢測(cè)方法有哪些 328
- 武漢凱迪正大對(duì)電纜探傷檢測(cè)方法簡(jiǎn)述 216
- 常用的幾種BGA焊點(diǎn)缺陷或故障檢測(cè)方法 202
- 電動(dòng)機(jī)故障檢測(cè)方法有哪些 555
- 微波檢測(cè)主要檢測(cè)方法有哪些 284
- 常用的無損檢測(cè)方法有哪些?主要應(yīng)用如何? 583
- 常用的無損檢測(cè)方法有哪些?有何優(yōu)缺點(diǎn) 496
- 12芯M16接口信號(hào)傳輸檢測(cè)方法有哪些 106
- 6芯M16接口抗沖擊性能檢測(cè)方法 75