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

作     者：陆庄伟 张显明 刘立祥 赵军锁 LU Zhuang-wei;ZHANG Xian-ming;LIU Li-xiang;ZHAO Jun-suo

作者机构：中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2011年第32卷第9期

页      码：3045-3049页

摘      要：为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。

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

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2011.09.016

馆 藏 号：203934079...