專利名稱：面向bit軟件測試的處理器故障注入方法及其模擬器的制作方法
技術領域：
本發(fā)明涉及可靠性工程方面的故障注入技術和計算機工程方面的處理器技術，特別是涉及一種面向BIT軟件測試的處理器故障注入方法及其模擬器。
背景技術：
一個系統(tǒng)、設備或產(chǎn)品可靠性再高也不能保證永遠正常工作，使用者和維修者要掌握其健康狀況，要確知有無故障或何處發(fā)生了故障，這就要對其進行監(jiān)控和測試。于是希望系統(tǒng)和設備本身能為此提供方便，這種系統(tǒng)和設備本身所具有的便于監(jiān)控其健康狀況、 易于進行故障診斷測試的特性，就是系統(tǒng)和設備的測試性。測試性是指產(chǎn)品能及時準確地確定其狀態(tài)(可工作、不可工作或性能下降)并隔離其內(nèi)部故障的一種設計特性。隨著系統(tǒng)和設備性能的提高和復雜性的增加，測試性越來越受到人們的重視，許多新技術、新方法都應用到了測試性之中。機內(nèi)測試(Built-In Test，簡稱BIT)是系統(tǒng)或設備內(nèi)部提供的檢測和隔離故障的自動測試能力。當前，機載電子設備增多，機內(nèi)控制高度集中，使得BIT達到空前的重要程度。測試性研究的熱點，就在于研究BIT以及BIT進一步發(fā)展的衍生物，如故障預測與健康管理。由于BIT的目的是為了在系統(tǒng)出現(xiàn)故障時進行檢測、隔離，那么在進行BIT設計時，如何驗證BIT的功能是否達到了預期設計的目標就成為一個問題，與此同時，設備在正常運行過程中，并不會頻繁發(fā)生故障，很難對設備的BIT功能進行全面有效的評估。由于BIT也會發(fā)生故障，存在BIT設計不當、BIT虛警等問題，同時BIT軟件實現(xiàn)部分基本承載了BIT全部邏輯功能，BIT軟件實現(xiàn)部分(簡稱BIT軟件)和普通軟件相比，具有檢測和處理電子設備系統(tǒng)硬件故障的功能特點，實時性強，可靠性要求高。BIT軟件是否可靠決定了航空電子設備能否正確檢測和處理故障，進而關系到整個系統(tǒng)的可靠性和安全性。所以迫切需要一種對BIT軟件進行測試的有效方法和實施途徑。故障注入技術是BIT軟件測試中一種有效的手段，通過人為對系統(tǒng)注入故障并運行BIT軟件，觀察其檢測、隔離故障的能力，從而檢驗BIT軟件的設計是否合理、測試能力是否符合設計要求等。然而傳統(tǒng)故障注入技術面臨諸多問題基于硬件的故障注入技術雖然注入真實的硬件故障，但受限于電路板上元器件的高密集性，已沒有足夠空間附加探針、插座等硬件故障注入設備，而且比較關注的元器件內(nèi)部故障也是無法注入的；基于軟件的故障注入技術在其他應用中有種種好處，但BIT軟件的代碼不開放(或不允許修改)、運行結構復雜、且可達性差，故而軟件故障注入在BIT軟件測試中是無處著手的；最后，采用VHDL、Verilog等硬件描述語言實現(xiàn)的基于模擬/仿真的故障注入技術雖可精確仿真BIT軟件運行的硬件環(huán)境，但無法支撐BIT軟件在其上運行，作為軟件測試工具則無從談起。開展BIT軟件測試，不僅需要相應的試驗方法、技術和規(guī)范，還需要相應的故障注入工具來支持試驗執(zhí)行。但目前，由于在BIT設計指標的考核過程中缺少有效的故障注入工具，BIT軟件測試試驗無法得到充分地執(zhí)行，影響B(tài)IT技術在工程中的應用。隨著航空電子設備復雜度的不斷提高，故障注入工具的缺乏已成為國內(nèi)外開展BIT試驗的瓶頸。綜上所述，常見的故障注入手段應用于BIT軟件測試中，或具有一定局限性、或無法實施，因此尚無有效解決BIT軟件測試難題的故障注入方法。模擬器在計算機工程領域是計算機體系結構研究、處理器指令集研究等方面的重要工具，具有廣泛的實用價值。全系統(tǒng)模擬器模擬了軟件運行的硬件環(huán)境，可支持客戶操作系統(tǒng)及應用軟件在其上的運行。此外，除去運行速度上的差異，軟件在模擬器上運行與在真實硬件上的運行情況是無差別的。目前，國內(nèi)外尚缺乏評測BIT軟件的有效方法和測試設備。在動態(tài)測試方面，受專業(yè)知識、環(huán)境技術條件等方面的限制，存在兩方面的問題(I)在測試用例的設計中缺少對于電子設備系統(tǒng)的全面分析，對異常用例的設計不夠全面；(2)考慮到BIT軟件檢測故障模式而設計的異常用例，但由于BIT軟件自身功能特點，使得部分異常用例的施加需要在實際硬件中注入故障才能實現(xiàn)。但硬件故障注入方法無法適用于高密集度的電子設備中。這樣，很多用例即使設計了也無法執(zhí)行。這些原因都導致BIT軟件測試不充分，使得很多問題 在實際使用過程中才被發(fā)現(xiàn)，造成嚴重的后果。

發(fā)明內(nèi)容
本發(fā)明所要解決的技術問題是如何提供一種有效的用于BIT軟件測試的故障注入技木。具體，本發(fā)明提供了一種面向BIT軟件測試的處理器故障注入方法及其模擬器。一種面向BIT軟件測試的處理器故障注入模擬器，將運行BIT軟件的硬件電路板作為模擬對象，在模擬器中設置如下模塊正常功能模擬模塊、故障行為模擬模塊、故障注入模塊、故障模型解析模塊和外圍交聯(lián)環(huán)境仿真模塊。正常功能模擬模塊用于對處理器、存儲器和外圍設備的元器件的正常行為進行功能級模擬；對處理器的模擬實現(xiàn)方法為對處理器指令集進行模擬執(zhí)行，將源指令代碼以基本塊為粒度進行組織，按需動態(tài)地讀取ニ進制源指令代碼基本塊，并進行翻譯，將翻譯好的目標代碼存放在代碼緩存中，然后執(zhí)行目標代碼。故障模型解析模塊用于對當前測試的采用XML語言描述的故障序列文件進行解祈，得到采用C語言表示的模擬器識別的故障序列，所解析得到的故障序列，采用鏈地址法的哈希表數(shù)據(jù)結構存儲，以故障模式作為哈希關鍵字，同一故障模式的待注入故障構成單向鏈表結構。故障注入模塊接收故障模型解析模塊解析得到的故障序列，在模擬器運行遇到某個故障觀察點時被調(diào)用，故障注入模塊在當前測試的故障序列中，查找具備觸發(fā)條件的，且與當前故障觀察點對應的故障模式相匹配的故障，如果查找到相應的故障，則注入相應的故障。故障行為模擬模塊根據(jù)故障發(fā)生的行為表現(xiàn)，構造相應的故障模擬函數(shù)，進行各種故障模式的故障行為模擬。對于寄存器或ALU操作數(shù)出錯類故障，故障模擬函數(shù)的實現(xiàn)方法是產(chǎn)生相應的故障掩碼與寄存器正常值作與/或/異或操作，之后寫回發(fā)生故障的寄存器，造成數(shù)據(jù)錯誤；對于運算錯誤及預處理錯誤故障，故障模擬函數(shù)的實現(xiàn)方法是依照相應故障行為，造成邏輯運算過程或結果出錯。外圍交聯(lián)環(huán)境仿真模塊用于模擬外圍環(huán)境激勵與模擬器的響應，以及模擬模擬器對外的輸入和輸出。本發(fā)明提出的一種面向BIT軟件測試的處理器故障注入方法，將運行BIT軟件的硬件電路板作為模擬對象，然后進行如下步驟步驟I :對處理器類故障模式進行分析，形成處理器故障模式庫；步驟2 :從處理器故障模式庫中選取符合測試目標的故障模式，并定義相應故障模式下的故障，并對各故障建立故障模型，將所建立的故障模型寫入故障模型序列文件中；所述的故障模型序列文件為用XML語言描述的文件；所述的對各故障建立故障模型，是提取故障的6個特征來建立故障模型，6個特征為元器件，故障位置，故障模式，故障參數(shù)，故障觸發(fā)方式和故障時間；步驟3 :模擬器讀入故障模型序列文件，經(jīng)過故障模型解析模塊解析為模擬器識別的故障序列，然后將故障序列輸入到故障注入模塊中；所述的模擬器識別的故障序列，是用C語言表示的，采用鏈地址法的哈希表數(shù)據(jù)結構存儲，以故障模式作為哈希關鍵字，同一故障模式的待注入故障構成單向鏈表結構； 步驟4 :模擬器對處理器進行模擬，當遇到故障觀察點時，執(zhí)行步驟5 ;所述的模擬器對處理器進行模擬，就是模擬器對處理器指令集進行模擬執(zhí)行，將源指令代碼以基本塊為粒度進行組織，模擬器動態(tài)地、按需要地讀入二進制源指令代碼基本塊，并進行翻譯，將翻譯好的目標代碼存放在模擬器開辟的代碼緩存中，然后執(zhí)行目標代碼；步驟5 :故障注入模塊查詢輸入的故障序列，判斷是否有匹配當前故障觀察點對應的故障模式的故障，若有執(zhí)行下一步驟，若無，轉步驟4執(zhí)行；步驟6:判斷步驟5匹配得到的各故障的觸發(fā)條件是否具備，若都不具備，轉步驟4執(zhí)行，若存在具備觸發(fā)條件的，查找所有具備觸發(fā)條件的故障，然后執(zhí)行步驟7 ；步驟7 :故障注入模塊注入故障，為滿足故障觸發(fā)條件的故障進行觸發(fā)條件設置，并適時觸發(fā)故障；步驟8 :模擬器在觸發(fā)某個故障后，通過故障行為模擬模塊調(diào)用相應的故障模擬函數(shù)實現(xiàn)故障的行為模擬；所述的故障模擬函數(shù)依照相應的故障行為，造成邏輯運算過程或結果出錯，進行各種故障模式的故障行為模擬；步驟9 :監(jiān)控模擬器運行及故障注入過程，回收執(zhí)行結果。本發(fā)明的優(yōu)點與積極效果在于(I)本發(fā)明提供的故障注入方法及模擬器，解決了 BIT軟件測試問題，注入的故障模式種類較全，充分覆蓋了處理器的每種故障發(fā)生下的測試用例，可對電路板級BIT軟件進行較為充分的測試，而只有進行了充分測試的BIT軟件，才能保障航空機載設備BIT預報故障的準確性、及時性，進而保障系統(tǒng)的可靠性、安全性。(2)本發(fā)明提供的故障注入方法及模擬器，在背景技術所述的用于軟、硬件測試的基于模擬的故障注入的應用技術中均有研究前景，而且結合模擬自身獨有的優(yōu)勢，也可將本發(fā)明中的模擬器應用到原型系統(tǒng)的開發(fā)階段，做可靠性預評估、系統(tǒng)測試性設計的早期評價試驗。(3)本發(fā)明提供的故障注入方法及模擬器，對BIT軟件測試中，對硬件和其上運行的應用程序均無侵入性與損害。


圖I是本發(fā)明的模擬器所運行的層次結構示意圖；圖2是本發(fā)明的模擬器整體功能模塊示意圖；圖3是XML描述的故障模型序列文件的一個示例；圖4是本發(fā)明方法中故障建模ー解析的流程示意圖；圖5是解析后的故障序列的一個示例圖；圖6是本發(fā)明方法中故障模擬ー注入的流程示意圖；圖7是本發(fā)明故障注入的整體步驟流程圖； 圖8是本發(fā)明模擬器進行處理器指令集模擬的過程示意圖；圖9是本發(fā)明模擬對象的PowerPC處理器寄存器體系結構圖；圖10是本發(fā)明模擬器的一個系統(tǒng)架構圖；圖11是本發(fā)明模擬器整體實現(xiàn)的ー個示例圖。
具體實施例方式下面將結合附圖和實施例對本發(fā)明作進ー步的詳細說明。BIT軟件作為ー種航空電子設備中的嵌入式軟件，是不能直接運行在x86架構PC上，其運行的硬件電路板一般是PowerPC.ARM等RISC架構，而由于航空板的封閉性、不可侵入性等原因，又不能在硬件上直接注入故障。由于模擬器是依照真實硬件功能以軟件方式實現(xiàn)的，因此對它可以進行任意修改，且對硬件和其上運行的應用程序均無侵入性與損害。因此，結合模擬器和故障注入技術應用于BIT軟件測試是ー種可行方案。本發(fā)明的基本技術思想是將運行BIT軟件的硬件電路板作為模擬對象，采用模擬器模擬的方法來解決BIT軟件測試的瓶頸問題，發(fā)揮模擬器的優(yōu)勢，諸如對模擬對象的詳細功能分析、通過模擬方法可注入的故障模式最多(使得測試用例全面，測試更充分)、對軟硬件無任何侵入性。通過這些分析，認為基于模擬器的故障注入方法是可以解決BIT軟件測試不充分問題的有效途徑。下面對本發(fā)明的具體技術方案進行說明。如圖I所示，為本發(fā)明模擬器所運行的層次示意圖。底層平臺稱為宿主機(Host)，將運行在模擬器上的軟件平臺稱為客戶機(Guest)。模擬器作為宿主機操作系統(tǒng)上的ー個應用程序，通過純軟件的方法將目標體系結構模擬出來，能夠讓原來運行在PowerPC上的目標軟件(客戶機操作系統(tǒng)或/與客戶機應用程序)在宿主機操作系統(tǒng)上運行。模擬器要成功地模擬ー個真實的機器，必須能夠模擬真實機器所能做的一切事情，從而使客戶機能夠正常地運行，并意識不到自己是在模擬器環(huán)境中，即與在真實硬件上運行無差別。如圖2所示，本發(fā)明提供了面向BIT軟件測試的具有處理器故障注入的模擬器，是對現(xiàn)有的模擬器進行了改進，増加了如下功能模塊正常功能模擬模塊I :對處理器、存儲器、外圍設備等元器件的正常行為進行功能級模擬；對于處理器正常行為的模擬包括模擬指令正確執(zhí)行，對處理器主要功能単元寄存器、邏輯運算單元、中斷控制器等進行功能級模擬。模擬指令正確執(zhí)行，就是保證處理器從存儲器中取出指令，并正確執(zhí)行指令。對處理器的模擬具體實現(xiàn)方法是對處理器指令集進行模擬執(zhí)行，將源指令代碼以基本塊為粒度進行組織，按需動態(tài)地讀取ニ進制源指令代碼基本塊，并進行翻譯，將翻譯好的目標代碼存放在代碼緩存中，然后執(zhí)行目標代碼。
故障行為模擬模塊2 :結合處理器故障模式，模擬故障發(fā)生時的行為表現(xiàn)；故障行為模擬模塊根據(jù)故障發(fā)生的行為表現(xiàn)，構造相應的故障模擬函數(shù)，進行各種故障模式的故障行為模擬。對于寄存器或ALU操作數(shù)出錯類故障，故障模擬函數(shù)的實現(xiàn)方法是產(chǎn)生相應的故障掩碼與寄存器正常值作與/或/異或操作，之后寫回發(fā)生故障的寄存器，造成數(shù)據(jù)錯誤；對于運算錯誤及預處理錯誤故障，故障模擬函數(shù)的實現(xiàn)方法是依照相應故障行為，造成邏輯運算過程或結果出錯。故障注入模塊3 :接收故障模型解析模塊4解析得到的故障序列，在模擬器運行遇到某個故障觀察點時被調(diào)用，故障注入模塊3在當前測試的故障序列中，查找具備觸發(fā)條件的，且與當前故障觀察點對應的故障模式相匹配的故障，如果查找到相應的故障，則注入相應的故障。故障模型解析模塊4 :對XML語言描述的故障序列文件進行解析，先進行語法分析，然后進行語義分析，最后得到模擬器識別的故障序列。模擬器識別的故障序列采用C語言表示，采用鏈地址法的哈希表數(shù)據(jù)結構存儲，以故障模式作為哈希關鍵字，同一故障模式 的待注入故障構成單向鏈表結構。外圍交聯(lián)環(huán)境仿真模塊5 :由于模擬對象(即BIT軟件運行環(huán)境)不是一塊獨立的電路板，而是整個航空電子設備中的一部分，故而需要對其與外圍環(huán)境的交聯(lián)加以模擬。模擬外圍環(huán)境激勵與模擬器的響應，還要模擬模擬器對外輸入輸出。如圖7所示，本發(fā)明的面向BIT軟件測試的處理器故障注入方法的包括如下九個步驟。步驟I :對處理器類故障模式進行分析，建立處理器故障模式庫。處理器類故障模式分析(Failure Mode Analysis),是指分析模擬對象的故障模式的影響和可能的故障模擬方法，選出可以在模擬器中實現(xiàn)注入的故障模式。在FMEA(Failure Mode and Effects Analysis,失效模式與影響分析)的基礎上,根據(jù)開發(fā)板上處理器的具體情況，制定出故障模式庫和相應的故障模擬方法。下面的表I 表7給出了七種故障模式，并給出了各故障模式的故障描述、故障位置、故障屬性和故障發(fā)生場景。表I第一種故障模式
故障模式寄存器丟失搡作數(shù)_
故障描述一個關于某個寄存器的操作數(shù)發(fā)生丟失現(xiàn)象
故障位置寄存Il_
故障屬性間敬故故障發(fā)生時間(絕對時間/相對時間)、持續(xù)時間
__IOms )、故障間隔時間(2s ~ 4s )、故障注入次數(shù)(3 ~ 6次)_
故障發(fā)生場景在程序運行中，對于寄存器R的某一表達式+搡作數(shù)發(fā)生丟失現(xiàn)象 __Rexpr=>no-op_表2第二種故障模式
權利要求
1.一種面向BIT軟件測試的具有處理器故障注入的模擬器，將運行BIT軟件的硬件電路板作為模擬對象，其特征在于，在模擬器中設置如下模塊正常功能模擬模塊、故障行為模擬模塊、故障注入模塊、故障模型解析模塊和外圍交聯(lián)環(huán)境仿真模塊； 正常功能模擬模塊用于對處理器、存儲器和外圍設備的元器件的正常行為進行功能級模擬；對處理器的模擬實現(xiàn)方法為對處理器指令集進行模擬執(zhí)行，將源指令代碼以基本塊為粒度進行組織，按需動態(tài)地讀取二進制源指令代碼基本塊，并進行翻譯，將翻譯好的目標代碼存放在代碼緩存中，然后執(zhí)行目標代碼； 故障模型解析模塊用于對當前測試的采用XML語言描述的故障序列文件進行解析，得到采用C語言表示的模擬器識別的故障序列，所解析得到的故障序列，采用鏈地址法的哈希表數(shù)據(jù)結構存儲，以故障模式作為哈希關鍵字，同一故障模式的待注入故障構成單向鏈表結構； 故障注入模塊接收故障模型解析模塊解析得到的故障序列，在模擬器運行遇到某個故障觀察點時被調(diào)用，故障注入模塊在當前測試的故障序列中，查找具備觸發(fā)條件的，且與當前故障觀察點對應的故障模式相匹配的故障，如果查找到相應的故障，則注入相應的故障; 故障行為模擬模塊根據(jù)故障發(fā)生的行為表現(xiàn)，構造相應的故障模擬函數(shù)，進行各種故障模式的故障行為模擬；對于寄存器或ALU操作數(shù)出錯類故障，故障模擬函數(shù)的實現(xiàn)方法是產(chǎn)生相應的故障掩碼與寄存器正常值作與/或/異或操作，之后寫回發(fā)生故障的寄存器，造成數(shù)據(jù)錯誤；對于運算錯誤及預處理錯誤故障，故障模擬函數(shù)的實現(xiàn)方法是依照相應故障行為，造成邏輯運算過程或結果出錯； 外圍交聯(lián)環(huán)境仿真模塊用于模擬外圍環(huán)境激勵與模擬器的響應，以及模擬模擬器對外的輸入和輸出。
2.根據(jù)權利要求I所述的模擬器，其特征在于，該模擬器還包括圖形用戶界面模塊，圖形用戶界面模塊包括如下子模塊 電路板圖形化模塊以圖形化的方式向用戶展示模擬對象； 故障建模模塊以圖形化的方式向用戶提供建模接口，用戶在該模塊的界面建立故障模型，并生成相應的采用XML語言描述的故障模型序列文件； 模擬器控制模塊提供對模擬器故障注入試驗過程的控制功能，包括模擬器啟動、暫停和終止；還提供對試驗配置文件的控制功能； 信息收集顯示模塊對模擬器中的故障模型序列及運行結束后的故障注入結果進行回收，并且提供存儲和顯示的功能。
3.一種基于權利要求I所述的模擬器的面向BIT軟件測試的處理器故障注入方法，其特征在于，將運行BIT軟件的硬件電路板作為模擬對象，然后進行如下步驟 步驟I :對處理器類故障模式進行分析，建立處理器故障模式庫； 步驟2 :從處理器故障模式庫中選取符合測試目標的故障模式，并定義相應故障模式下的故障，并對各故障建立故障模型，將所建立的故障模型寫入故障模型序列文件中；所述的故障模型序列文件為用XML語言描述的文件；所述的對各故障建立故障模型，是提取故障的6個特征來建立故障模型，6個特征為元器件，故障位置，故障模式，故障參數(shù)，故障觸發(fā)方式和故障時間；步驟3 :模擬器讀入故障模型序列文件，經(jīng)過故障模型解析模塊解析為模擬器識別的故障序列，然后將故障序列輸入到故障注入模塊中；所述的模擬器識別的故障序列，是用C語言表示的，采用鏈地址法的哈希表數(shù)據(jù)結構存儲，以故障模式作為哈希關鍵字，同一故障模式的待注入故障構成單向鏈表結構； 步驟4 :模擬器對處理器進行模擬，當遇到故障觀察點時，執(zhí)行步驟5 ;所述的模擬器對處理器進行模擬，就是模擬器對處理器指令集進行模擬執(zhí)行，將源指令代碼以基本塊為粒度進行組織，模擬器動態(tài)地、按需要地讀入二進制源指令代碼基本塊，并進行翻譯，將翻譯好的目標代碼存放在模擬器開辟的代碼緩存中，然后執(zhí)行目標代碼； 步驟5 :故障注入模塊查詢輸入的故障序列，判斷是否有匹配當前故障觀察點對應的故障模式的故障，若有執(zhí)行下一步驟，若無，轉步驟4執(zhí)行； 步驟6 :判斷步驟5匹配得到的各故障的觸發(fā)條件是否具備，若都不具備，轉步驟4執(zhí)行，若存在具備觸發(fā)條件的，查找所有具備觸發(fā)條件的故障，然后執(zhí)行步驟7 ； 步驟7 :故障注入模塊注入故障，為滿足故障觸發(fā)條件的故障進行觸發(fā)條件設置，并適時觸發(fā)故障； 步驟8 :模擬器在觸發(fā)某個故障后，通過故障行為模擬模塊調(diào)用相應的故障模擬函數(shù)實現(xiàn)故障的行為模擬；對于寄存器或ALU操作數(shù)出錯類故障，故障模擬函數(shù)的實現(xiàn)方法是產(chǎn)生相應的故障掩碼與寄存器正常值作與/或/異或操作，之后寫回發(fā)生故障的寄存器，造成數(shù)據(jù)錯誤；對于運算錯誤及預處理錯誤故障，故障模擬函數(shù)的實現(xiàn)方法是依照相應故障行為，造成邏輯運算過程或結果出錯； 步驟9 :監(jiān)控模擬器運行及故障注入過程，回收執(zhí)行結果。
4.根據(jù)權利要求3所述的處理器故障注入方法，其特征在于，所述的步驟5具體是，故障注入模塊，根據(jù)故障模式的哈希值，查詢哈希表，取出與該故障模式對應的故障鏈表。
5.根據(jù)權利要求3所述的處理器故障注入方法，其特征在于，所述的步驟6中判斷故障的觸發(fā)條件是否具備，是根據(jù)該故障模型的故障參數(shù)，查找該故障的觸發(fā)條件是否滿足。
6.根據(jù)權利要求3所述的處理器故障注入方法，其特征在于，所述的步驟7中故障注入模塊注入故障，具體在模擬器運行過程中的故障注入的基本的觸發(fā)方式有 (1)時間觸發(fā)當模擬器計時器執(zhí)行到指定時刻或者時間范圍，故障注入模塊對當前總線周期進行故障注入；時間觸發(fā)用來模擬間歇故障或者瞬時故障； (2)訪問觸發(fā)當對處理器某部件進行訪問時，觸發(fā)故障注入設備進行故障注入動作執(zhí)行； (3)指令觸發(fā)當處理器執(zhí)行特定指令時，觸發(fā)故障注入模塊進行故障注入動作的執(zhí)行； 在故障注入過程中，以上幾種觸發(fā)方式單獨使用，或者組合使用，采用幾種觸發(fā)條件相與、相或的方式來控制故障注入觸發(fā)。
7.根據(jù)權利要求3所述的處理器故障注入方法，其特征在于，所述的步驟9，通過命令行形式監(jiān)控模擬器的運行，監(jiān)控內(nèi)容包括查看CPU運行狀態(tài)、寄存器集狀態(tài)、塊設備狀態(tài)、物理地址空間分配、內(nèi)存某地址值、查看故障序列、以及即時觸發(fā)故障并查看結果。
全文摘要
本發(fā)明提出一種面向BIT軟件測試的處理器故障注入方法及其模擬器，將運行BIT軟件的硬件電路板作為模擬器的模擬對象。本發(fā)明在模擬器中新增模擬處理器、存儲器等正常功能的正常功能模擬模塊，解析故障序列文件的故障模型解析模塊，匹配代注入故障的故障注入模塊，故障行為模擬模塊和外圍交聯(lián)環(huán)境仿真模塊。本發(fā)明方法通過建立故障模式庫，編寫并解析XML故障序列文件為模擬器可識別的故障序列，在模擬器模擬遇到故障觀察點時查找相應故障并注入，當觸發(fā)故障時進行故障模擬。本發(fā)明注入的故障模式種類較全，充分覆蓋了處理器的每種故障發(fā)生下的測試用例，可對電路板級BIT軟件進行較為充分的測試，而只有進行了充分測試的BIT軟件。
文檔編號G06F11/36GK102760098SQ20121019438
公開日2012年10月31日 申請日期2012年6月13日 優(yōu)先權日2012年6月13日
發(fā)明者張茂帝, 徐軍, 徐萍, 李毅, 王自力, 高小鵬 申請人:北京航空航天大學