计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2014年
1期
19-27
,共9页
模拟器%故障注入%故障建模%BIT软件测试
模擬器%故障註入%故障建模%BIT軟件測試
모의기%고장주입%고장건모%BIT연건측시
Simulator%fault injection%fault modeling%BIT software testing
故障注入技术在BIT软件测试中是一种有效的手段.针对电路板级BIT软件测试中遇到的问题,介绍了一种基于开源模拟器QEMU实现的处理器类故障模拟方法.采用该方法对多种处理器故障进行仿真建模,通过对QEMU的扩展开发,加入故障行为模拟模块和故障注入模块,以实现一个具有处理器类故障注入功能的系统级模拟器BitVaSim.首先分析处理器功能故障模式,提取故障的关键字值对,用XML Schema定义故障并用于故障建模;其次对QEMU代码进行二次开发以实现对处理器故障行为的模拟;然后通过配置故障注入接口实现模拟器运行时的故障模式匹配、故障按条件触发等功能;最后通过实验案例来观察模拟器的故障表现,评价这种基于模拟器的故障注入技术.实验过程和结果显示这种方法是有效可行的.
故障註入技術在BIT軟件測試中是一種有效的手段.針對電路闆級BIT軟件測試中遇到的問題,介紹瞭一種基于開源模擬器QEMU實現的處理器類故障模擬方法.採用該方法對多種處理器故障進行倣真建模,通過對QEMU的擴展開髮,加入故障行為模擬模塊和故障註入模塊,以實現一箇具有處理器類故障註入功能的繫統級模擬器BitVaSim.首先分析處理器功能故障模式,提取故障的關鍵字值對,用XML Schema定義故障併用于故障建模;其次對QEMU代碼進行二次開髮以實現對處理器故障行為的模擬;然後通過配置故障註入接口實現模擬器運行時的故障模式匹配、故障按條件觸髮等功能;最後通過實驗案例來觀察模擬器的故障錶現,評價這種基于模擬器的故障註入技術.實驗過程和結果顯示這種方法是有效可行的.
고장주입기술재BIT연건측시중시일충유효적수단.침대전로판급BIT연건측시중우도적문제,개소료일충기우개원모의기QEMU실현적처리기류고장모의방법.채용해방법대다충처리기고장진행방진건모,통과대QEMU적확전개발,가입고장행위모의모괴화고장주입모괴,이실현일개구유처리기류고장주입공능적계통급모의기BitVaSim.수선분석처리기공능고장모식,제취고장적관건자치대,용XML Schema정의고장병용우고장건모;기차대QEMU대마진행이차개발이실현대처리기고장행위적모의;연후통과배치고장주입접구실현모의기운행시적고장모식필배、고장안조건촉발등공능;최후통과실험안례래관찰모의기적고장표현,평개저충기우모의기적고장주입기술.실험과정화결과현시저충방법시유효가행적.
