| CFCIB：基于插入块的控制流错误检测方法 |
| 其他题名 | cfcib:control-flow checking based on inserted blocks
|
| 陆庄伟; 张显明; 刘立祥; 赵军锁
|
| 2011
|
| 发表期刊 | Computer Engineering and Design
 |
| ISSN | 1000-7024
|
| 卷号 | 32期号:9 |
| 摘要 | 为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法CFCIB方法。该方法分析 程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验 结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。 |
| 收录类别 | CSCD
|
| 其他摘要 | In order to avoid execution error,when computers 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,andtestandsetassert at the front and back of each block are inserted at last. Experiments show that CFCIB programs average ratio of fault coverage increases from 84.31%to 96.78%. |
| 关键词 | 软件容错
控制流检测
瞬时故障
错误注入
嵌入式系统
|
| 部门归属 | 陆庄伟 中国科学院软件研究所 中国科学院综合信息系统技术国家级重点实验室 北京 100190 中国. 张显明 中国科学院软件研究所 中国科学院综合信息系统技术国家级重点实验室 北京 100190 中国. 刘立祥 中国科学院软件研究所 中国科学院综合信息系统技术国家级重点实验室 北京 100190 中国. 赵军锁 中国科学院软件研究所 中国科学院综合信息系统技术国家级重点实验室 北京 100190 中国.
|
| 学科领域 | Computer Science
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:4328251
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/16124
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
陆庄伟,张显明,刘立祥,等. CFCIB：基于插入块的控制流错误检测方法[J]. Computer Engineering and Design,2011,32(9).
|
| APA |
陆庄伟,张显明,刘立祥,&赵军锁.(2011).CFCIB：基于插入块的控制流错误检测方法.Computer Engineering and Design,32(9).
|
| MLA |
陆庄伟,et al."CFCIB：基于插入块的控制流错误检测方法".Computer Engineering and Design 32.9(2011).
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论