| CFCIB:基于插入块的控制流错误检测方法 |
| 其他题名 | cfcib: control-flow checking based on inserted blocks
|
| 陆庄伟; 张显明; 刘立祥; 赵军锁
|
| 2011
|
| 发表期刊 | 计算机工程与设计
 |
| ISSN | 1000-7024
|
| 卷号 | 32期号:9页码:3045-3049 |
| 摘要 | 为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。 |
| 收录类别 | CNKI
; WANFANG
|
| 关键词 | 软件容错
控制流检测
瞬时故障
错误注入
嵌入式系统
|
| 部门归属 | 中国科学院软件研究所综合信息系统技术国家级重点实验室;中国科学院研究生院;
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | 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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论