CFCIB:基于插入块的控制流错误检测方法  

CFCIB:Control-flow checking based on inserted blocks

作　　者：陆庄伟[1,2] 张显明[1,2] 刘立祥[1] 赵军锁[1] 

机构地区：[1]中国科学院软件研究所综合信息系统技术国家级重点实验室,北京100190 [2]中国科学院研究生院,北京100049

出　　处：《计算机工程与设计》2011年第9期3045-3049,共5页Computer Engineering and Design

摘　　要：为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。In order to avoid execution error,when computer＇s internal device appear transient or permanent faults,a new control-flow checking method CFCIB based on inserted blocks is implemented.A control flow graph of program is analyzed at first,then confusion errors are deleted by inserting new basic blocks,and ＂ test ＂and＂ set ＂assert at the front and back of each block are inserted at last.Experiments show that CFCIB program＇s average ratio of fault coverage increases from 84.31% to 96.78%.

关 键 词：软件容错 控制流检测 瞬时故障 错误注入 嵌入式系统 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]