軟錯誤是高輻照空間環(huán)境下影響計算可靠性的主要因素，結(jié)果錯誤（silent data corruption，簡稱SDC）是軟錯誤造成的一種特殊的故障類型．針對SDC難以檢測的問題。提出了一種基于不變量的檢測方法．不變量是運行時刻保持不變的程序特征．在軟錯誤發(fā)生后，由于程序受到影響，不變量一般不再滿足．根據(jù)該原理，在源代碼中插入以不變量為內(nèi)容的斷言，利用發(fā)生軟錯誤后斷言報錯來檢測軟錯誤．首先，根據(jù)錯誤傳播分析確定了檢測位置，提取了檢測位置的不變量；定義了表征不變量檢測能力的滲透率在同一檢測位置依據(jù)滲透率將不變量轉(zhuǎn)化為斷言．通過錯誤注入實驗，驗證了該檢測方法的有效性，實驗結(jié)果表明：該檢測方法具備較高的檢出率和較低的檢測代價，為星載系統(tǒng)的軟錯誤防護提供了新的解決思路．
?