基于虚拟寄存器的控制流错误检测算法

摘要：

控制流故障是航天软件系统必须面对的一个重要故障类型.提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Based on Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流进行检测.它首先通过虚拟寄存器分配算法获得虚拟寄存器,然后基于这些虚拟寄存器添加特定的控制流检测指令.这些指令可以检测模块间的控制流错误,所有工作都是在汇编源程序上完成的.实验表明CFCVR会引入平均28.7%的性能代价和平均31.3%的存储代价,而对于控制流错误检测率平均为97.1%,优于目前已存在的各种方法,能够提高航天软件容错能力和可靠性.

关键词：可靠性、容错、控制流检测、虚拟寄存器

所属期刊栏目：28

分类号：TP302.8(计算技术、计算机技术)

资助基金：国家高技术研究计划发展专项经费2005AA742013

在线出版日期：2007-04-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：183-187