计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2011年
9期
3045-3049
,共5页
陆庄伟%张显明%刘立祥%赵军锁
陸莊偉%張顯明%劉立祥%趙軍鎖
륙장위%장현명%류립상%조군쇄
软件容错%控制流检测%瞬时故障%错误注入%嵌入式系统
軟件容錯%控製流檢測%瞬時故障%錯誤註入%嵌入式繫統
연건용착%공제류검측%순시고장%착오주입%감입식계통
为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法.该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测.实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%.
為瞭避免噹計算機繫統的內部器件髮生瞬時或永久性的故障時程序的執行流程髮生錯誤,提齣瞭一種基于插入塊的控製流錯誤檢測方法——CFCIB方法.該方法分析程序的控製流圖,利用插入新基本塊的方式消除混淆錯誤,在每箇基本塊的開頭和末尾分彆插入test和set斷言來完成對可執行程序的控製流錯誤檢測.實驗結果錶明,該方法能將原始程序的平均錯誤覆蓋率從84.31%提升到96.78%.
위료피면당계산궤계통적내부기건발생순시혹영구성적고장시정서적집행류정발생착오,제출료일충기우삽입괴적공제류착오검측방법——CFCIB방법.해방법분석정서적공제류도,이용삽입신기본괴적방식소제혼효착오,재매개기본괴적개두화말미분별삽입test화set단언래완성대가집행정서적공제류착오검측.실험결과표명,해방법능장원시정서적평균착오복개솔종84.31%제승도96.78%.