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

基本信息

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

摘要

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