基于SPARC處理器單粒子翻轉故障注入的測試方法及系統(tǒng)

基本信息

申請?zhí)?/td> CN201810398608.2 申請日 -
公開（公告）號 CN108710551B 公開（公告）日 2021-12-07
申請公布號 CN108710551B 申請公布日 2021-12-07
分類號 G06F11/22（2006.01）I;G06F11/26（2006.01）I 分類 計算；推算；計數(shù);
發(fā)明人 李鵬宇;江云松;黃晨;朱體洲;房振軍;郭華;于倩;董燕;劉露咪;鄭小萌 申請（專利權）人 北京軒宇信息技術有限公司
代理機構 中國航天科技專利中心 代理人 武瑩
地址 100190北京市海淀區(qū)科學院南路2號融科資訊中心C座南樓1101-1102
法律狀態(tài) -

摘要

摘要 基于SPARC處理器單粒子翻轉故障注入的測試系統(tǒng)，包含故障注入測試數(shù)據(jù)生成模塊、故障注入自動化測試執(zhí)行模塊、故障注入自動化輸出測試報告模塊。本發(fā)明解決了SPARC處理器單粒子翻轉故障類型繁多、缺乏故障注入的專項測試、缺乏故障注入的精確控制、硬平臺測試環(huán)境手工操作效率低等缺陷和不足。通過軟件仿真故障注入建立模型，對注入的單粒子翻轉故障精確的監(jiān)控和執(zhí)行序列化操作，具有配置腳本激勵靈活、全數(shù)字仿真系統(tǒng)建模高速運行、模擬SPARC處理器單粒子故障驅動、動態(tài)運行時分析驗證等優(yōu)點。對提升我國航天型號軟件可靠性與安全性確認測試與驗證具有重要的意義。