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