中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
CFCIB:基于插入块的控制流错误检测方法

文献类型:期刊论文

作者陆庄伟 ; 张显明 ; 刘立祥 ; 赵军锁
刊名Computer Engineering and Design
出版日期2011
卷号32期号:9
关键词软件容错 控制流检测 瞬时故障 错误注入 嵌入式系统
ISSN号1000-7024
其他题名cfcib:control-flow checking based on inserted blocks
中文摘要为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法CFCIB方法。该方法分析 程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验 结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。
英文摘要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%.
学科主题Computer Science
收录类别CSCD
语种中文
CSCD记录号CSCD:4328251
公开日期2013-10-08
源URL[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).

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。