| CFCIB:基于插入块的控制流错误检测方法 |
| |
| 引用本文： | 陆庄伟,张显明,刘立祥,赵军锁.CFCIB:基于插入块的控制流错误检测方法[J].计算机工程与设计,2011,32(9). |
| |
| 作者姓名： | 陆庄伟 张显明 刘立祥 赵军锁 |
| |
| 作者单位： | 1. 中国科学院软件研究所综合信息系统技术国家级重点实验室,北京100190;中国科学院研究生院,北京100049
2. 中国科学院软件研究所综合信息系统技术国家级重点实验室,北京,100190 |
| |
| 摘 要： | 为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法.该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测.实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31％提升到96.78％.
|
| 关 键 词： | 软件容错 控制流检测 瞬时故障 错误注入 嵌入式系统 |
CFCIB: Control-flow checking based on inserted blocks |
| |
| LU Zhuang-wei,ZHANG Xian-ming,LIU Li-xiang,ZHAO Jun-suo.CFCIB: Control-flow checking based on inserted blocks[J].Computer Engineering and Design,2011,32(9). |
| |
| Authors: | LU Zhuang-wei ZHANG Xian-ming LIU Li-xiang ZHAO Jun-suo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
