首页|一种源代码级的控制流错误检测实现方案

一种源代码级的控制流错误检测实现方案

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
  • 维普
由瞬态故障引发的软错误已经成为影响计算机系统可靠性的主要因素之一.控制流错误作为软错误的一种主要表现形式,约占软错误总量的33％ ～ 77％.本文提出了一种在源代码级实现控制流错误检测的方法SLCEDM,该方法针对高级语言程序以函数作为基本功能单元的特点,通过函数标签分析策略解决了函数间控制流容错的难点问题.并且,由于基本块的划分及标签分配以函数为界,可以根据函数内控制流的结构选用最适合的标签更新和检测手段,增强了可配置性,具有开销小、检错率高、易于实现等优势.
A Source-code Level Control-flow Error Detection Method

孟宪凯、谭庆平、徐建军、赵昕琳

展开 >

国防科学技术大学计算机学院,湖南省长沙市 410073

钦件容错 控制流检测 瞬态故障

国家自然科学基金

61202116

2014

中国电子商情·通信市场
中国电子器材总公司

中国电子商情·通信市场

影响因子：0.03
ISSN：1006-6675
年,卷(期)：2014.(1)
  • 1