收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种基于虚拟基本块和格式化标签的控制流检测方法

李建立  谭庆平  谭兰芳  徐建军  
【摘要】:空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7%的性能代价和平均34%的空间代价,使程序的平均失效率降到了5.2%,在3个同类算法中,CFCAF算法具有较低的时空开销和最高的可靠性.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 孙书韬,何新华,宫云战,王维锋;基于自由边控制流图的路径覆盖分析实现方法[J];装甲兵工程学院学报;1996年03期
2 陈卫东,杨建军,叶澄清,潘云鹤;基于块的流图模型及其控制流图[J];浙江大学学报(工学版);2003年02期
3 芦运照,张兆庆;控制流路径敏感的深层代码优化技术[J];计算机工程;2004年10期
4 汪淼;赵荣彩;蔡国明;丁志芳;;软件流水中隐式控制流恢复技术[J];计算机科学;2008年10期
5 龚锐;陈微;刘芳;戴葵;王志英;;一种软硬件结合的控制流检测与恢复方法[J];计算机研究与发展;2009年02期
6 张雁;林英;;程序控制流图自动生成的算法[J];计算机与数字工程;2010年02期
7 杜子德;程序控制流图:一种可观化的程序设计工具[J];计算机研究与发展;1995年12期
8 李爱国;洪炳镕;王司;;软件实现的程序控制流校验方法研究进展[J];哈尔滨工业大学学报;2008年03期
9 胡刚;张平;李清宝;张翠艳;;基于静态模拟的二进制控制流恢复算法[J];计算机工程;2011年05期
10 陈新;;基于程序控制流图源代码相似程度分析系统[J];计算机系统应用;2013年03期
11 李金诺;;一种基于约束分析精简控制流图方法[J];计算机与现代化;2013年10期
12 孙永新;吴家培;闫大顺;;基于基本块标识方法的控制流图生成器设计[J];计算机应用与软件;2010年05期
13 张平;李清宝;崔晨;;基于自动路径驱动的动态控制流恢复算法[J];计算机工程;2013年08期
14 徐建军;谭庆平;李建立;李剑明;;一种基于格式化标签的可扩展控制流检测方法[J];计算机研究与发展;2011年04期
15 黄威;刘恺;廖望;戴葵;;基于控制流检测的抗错误注入攻击方法[J];微电子学与计算机;2014年09期
16 高星;廖明宏;吴翔虎;黄振远;;基于虚拟寄存器的控制流错误检测算法[J];宇航学报;2007年01期
17 李红兵;尚利宏;周密;金惠华;;一种检测程序控制流故障的方法[J];微计算机信息;2010年16期
18 顾兆军,张友海;并行程序控制流图可视化的实现[J];中国民航学院学报;2000年01期
19 赵晓娟;;路径覆盖中控制流图的自动生成技术[J];湖南农机;2009年03期
20 牛小鹏;李清宝;谢晓东;;基于控制流信息的克里普克结构生成方法[J];计算机科学;2012年06期
中国重要会议论文全文数据库 前1条
1 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国博士学位论文全文数据库 前1条
1 王伟;使用显式控制流语言验证汇编程序的方法[D];中国科学技术大学;2011年
中国硕士学位论文全文数据库 前10条
1 崔晨;固件代码控制流图恢复技术研究[D];解放军信息工程大学;2012年
2 冯斌;静态构造面向方面程序的控制流图[D];上海交通大学;2007年
3 杨广;控制流提取模型及软件可靠性评价应用研究[D];大连理工大学;2013年
4 周希;基于静态分析的程序控制流图生成工具的设计与实现[D];中山大学;2013年
5 李剑明;面向星载计算机瞬时故障的软件控制流错误检测技术[D];国防科学技术大学;2009年
6 韩红军;基于控制流图的Java语言动态例化的研究[D];北京工业大学;2002年
7 任浩;基于静态分析的C程序控制流图构造方法研究[D];内蒙古师范大学;2013年
8 熊利平;基于控制流与数据流的面向方面测试方法研究[D];湖南大学;2013年
9 苏振;类C语言程序分片系统的设计与实现[D];吉林大学;2006年
10 文家朝;基于多样化对象所有权的软件可信性质研究[D];南京理工大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978