一种基于格式化标签的可扩展控制流检测方法

• 作者: 徐建军 李剑明 李建立 谭庆平
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 控制流检测 基本块标签 硬件瞬态故障 软件容错 故障注入
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 638-646
• 分类号: TP306
• 字数: 8997字
• 语种: 中文

摘要

硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭庆平	国防科学技术大学计算机学院	30	181	8.0	11.0
2	李建立	国防科学技术大学计算机学院	2	26	2.0	2.0
3	徐建军	国防科学技术大学计算机学院	12	73	5.0	8.0
4	李剑明	国防科学技术大学计算机学院	1	21	1.0	1.0