Institutional Repository
| CFCIB:基于插入块的控制流错误检测方法 | |
| Alternative Title | cfcib: control-flow checking based on inserted blocks |
| 陆庄伟; 张显明; 刘立祥; 赵军锁 | |
| 2011 | |
| Source | 计算机工程与设计
 |
| ISSN | 1000-7024 |
| Volume | 32Issue:9Pages:3045-3049 |
| English Abstract | 为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。 |
| Indexed Type | CNKI ; WANFANG |
| Keyword | 软件容错 控制流检测 瞬时故障 错误注入 嵌入式系统 |
| Department | 中国科学院软件研究所综合信息系统技术国家级重点实验室;中国科学院研究生院; |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16047 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 陆庄伟,张显明,刘立祥,等. CFCIB:基于插入块的控制流错误检测方法[J]. 计算机工程与设计,2011,32(9):3045-3049. |
| APA | 陆庄伟,张显明,刘立祥,&赵军锁.(2011).CFCIB:基于插入块的控制流错误检测方法.计算机工程与设计,32(9),3045-3049. |
| MLA | 陆庄伟,et al."CFCIB:基于插入块的控制流错误检测方法".计算机工程与设计 32.9(2011):3045-3049. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment