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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。