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

Files in This Item:

There are no files associated with this item.


Recommended Citation:
陆庄伟,张显明,刘立祥,等. CFCIB:基于插入块的控制流错误检测方法[J]. Computer Engineering and Design,2011-01-01,32(9).
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[陆庄伟]'s Articles
[张显明]'s Articles
[刘立祥]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[陆庄伟]‘s Articles
[张显明]‘s Articles
[刘立祥]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace