CFCIB:基于插入块的控制流错误检测方法
文献类型：期刊论文
| 作者 | 陆庄伟 ; 张显明 ; 刘立祥 ; 赵军锁 |
| 刊名 | 计算机工程与设计
 |
| 出版日期 | 2011 |
| 卷号 | 32期号:9页码:3045-3049 |
| 关键词 | 软件容错 控制流检测 瞬时故障 错误注入 嵌入式系统 |
| ISSN号 | 1000-7024 |
| 其他题名 | cfcib: control-flow checking based on inserted blocks |
| 中文摘要 | 为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。 |
| 收录类别 | CNKI ; WANFANG |
| 语种 | 中文 |
| 公开日期 | 2013-10-08 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16047]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 陆庄伟,张显明,刘立祥,等. CFCIB:基于插入块的控制流错误检测方法[J]. 计算机工程与设计,2011,32(9):3045-3049. |
| APA | 陆庄伟,张显明,刘立祥,&赵军锁.(2011).CFCIB:基于插入块的控制流错误检测方法.计算机工程与设计,32(9),3045-3049. |
| MLA | 陆庄伟,et al."CFCIB:基于插入块的控制流错误检测方法".计算机工程与设计 32.9(2011):3045-3049. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。