CFCIB：基于插入块的控制流错误检测方法

ISCAS OpenIR

	CFCIB：基于插入块的控制流错误检测方法
Alternative Title	cfcib:control-flow checking based on inserted blocks
	陆庄伟; 张显明; 刘立祥; 赵军锁
	2011
Source	Computer Engineering and Design
ISSN	1000-7024
Volume	32 Issue:9
English Abstract	为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。
Indexed Type	CSCD
Abstract	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%.
Keyword	软件容错控制流检测瞬时故障错误注入嵌入式系统
Department	陆庄伟中国科学院软件研究所中国科学院综合信息系统技术国家级重点实验室北京 100190 中国. 张显明中国科学院软件研究所中国科学院综合信息系统技术国家级重点实验室北京 100190 中国. 刘立祥中国科学院软件研究所中国科学院综合信息系统技术国家级重点实验室北京 100190 中国. 赵军锁中国科学院软件研究所中国科学院综合信息系统技术国家级重点实验室北京 100190 中国.
Subject	Computer Science
Language	中文
CSCD ID	CSCD:4328251
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/16124
Collection	中国科学院软件研究所
Recommended Citation 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).

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库