计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2015年
4期
1080-1083
,共4页
嵌入式软件%故障注入%逻辑覆盖%故障信号传播
嵌入式軟件%故障註入%邏輯覆蓋%故障信號傳播
감입식연건%고장주입%라집복개%고장신호전파
embedded software%fault injection%logic coverage%propagation of fault signal
针对嵌入式软件测试覆盖率低的问题,提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性.
針對嵌入式軟件測試覆蓋率低的問題,提齣瞭基于軟件故障註入的邏輯覆蓋測試方法,首先就嵌入式繫統常用傳感器建立故障模式庫,設計瞭嵌入式軟件故障註入繫統;其次選取中間層作為故障註入點,研究基于VxWorks653嵌入式操作繫統的故障註入實現方式,併通過分析故障信號在軟件繫統中的傳播,提齣優化測試用例的方法;最後通過實驗驗證瞭該方法可有效提高容錯設計功能、冗餘設計功能、故障檢測功能測試的邏輯覆蓋率;有助于提高嵌入式軟件的可靠性.
침대감입식연건측시복개솔저적문제,제출료기우연건고장주입적라집복개측시방법,수선취감입식계통상용전감기건립고장모식고,설계료감입식연건고장주입계통;기차선취중간층작위고장주입점,연구기우VxWorks653감입식조작계통적고장주입실현방식,병통과분석고장신호재연건계통중적전파,제출우화측시용례적방법;최후통과실험험증료해방법가유효제고용착설계공능、용여설계공능、고장검측공능측시적라집복개솔;유조우제고감입식연건적가고성.