基于结构化标签的控制流错误检测算法

发布时间：2017-08-29 12:22

  本文关键词：基于结构化标签的控制流错误检测算法

  更多相关文章： 瞬态故障 控制流错误检测 基本块 结构化标签 故障注入 软件容错

【摘要】：在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2个标签,通过对基本块设计结构引入双指令环,解决块间滞后性的问题,实现基本块间和块内的控制流检测。实验结果表明,与同类算法相比,该算法在保证等效检错能力的情况下可使空间开销降低49.3%,时间开销降低17%~45.3%,故障覆盖率提高6.2%~8.6%。
【作者单位】： 西安交通大学软件学院;西安交通大学能源与动力工程学院;
【关键词】： 瞬态故障 控制流错误检测 基本块 结构化标签 故障注入 软件容错
【基金】：国家自然科学基金资助项目(61473220) 中央高校基本科研业务费专项基金资助项目(XJJ2015122) 陕西省工业公关计划基金资助项目(2013K06-20)
【分类号】：TP302.8
【正文快照】： 中文引用格式:张鹏,朱利,杜小智,等.基于结构化标签的控制流错误检测算法[J].计算机工程,2016,42(6):37-42.英文引用格式:Zhang Peng,Zhu Li,Du Xiaozhi,et al.Control Flow Error Detection Algorithm Based on StructuralTag[J].Computer Engineering,2016,42(6):37-42.1概

【相似文献】

中国期刊全文数据库 前10条

1 陈卫东,杨建军,叶澄清,潘云鹤;基于块的流图模型及其控制流图[J];浙江大学学报(工学版);2003年02期

2 芦运照,张兆庆;控制流路径敏感的深层代码优化技术[J];计算机工程;2004年10期

3 汪淼;赵荣彩;蔡国明;丁志芳;;软件流水中隐式控制流恢复技术[J];计算机科学;2008年10期

4 龚锐;陈微;刘芳;戴葵;王志英;;一种软硬件结合的控制流检测与恢复方法[J];计算机研究与发展;2009年02期

5 张雁;林英;;程序控制流图自动生成的算法[J];计算机与数字工程;2010年02期

6 杜子德;程序控制流图：一种可观化的程序设计工具[J];计算机研究与发展;1995年12期

7 李爱国;洪炳昒;王司;;软件实现的程序控制流校验方法研究进展[J];哈尔滨工业大学学报;2008年03期

8 胡刚;张平;李清宝;张翠艳;;基于静态模拟的二进制控制流恢复算法[J];计算机工程;2011年05期

9 陈新;;基于程序控制流图源代码相似程度分析系统[J];计算机系统应用;2013年03期

10 李金诺;;一种基于约束分析精简控制流图方法[J];计算机与现代化;2013年10期

中国重要会议论文全文数据库 前1条

1 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

中国博士学位论文全文数据库 前1条

1 王伟;使用显式控制流语言验证汇编程序的方法[D];中国科学技术大学;2011年

中国硕士学位论文全文数据库 前10条

1 杨克;基于代码属性图的软件安全漏洞挖掘方法研究[D];燕山大学;2015年

2 卫彦伉;星载LTE上行同步处理抗辐照技术研究[D];解放军信息工程大学;2014年

3 崔晨;固件代码控制流图恢复技术研究[D];解放军信息工程大学;2012年

4 冯斌;静态构造面向方面程序的控制流图[D];上海交通大学;2007年

5 杨广;控制流提取模型及软件可靠性评价应用研究[D];大连理工大学;2013年

6 周希;基于静态分析的程序控制流图生成工具的设计与实现[D];中山大学;2013年

7 李剑明;面向星载计算机瞬时故障的软件控制流错误检测技术[D];国防科学技术大学;2009年

8 韩红军;基于控制流图的Java语言动态例化的研究[D];北京工业大学;2002年

9 任浩;基于静态分析的C程序控制流图构造方法研究[D];内蒙古师范大学;2013年

10 熊利平;基于控制流与数据流的面向方面测试方法研究[D];湖南大学;2013年

，

本文编号：753256