| 一种软件实现的程序控制流错误检测方法 |
| |
| 引用本文： | 李爱国,洪炳熔,王司.一种软件实现的程序控制流错误检测方法[J].宇航学报,2006,27(6):1424-1430. |
| |
| 作者姓名： | 李爱国 洪炳熔 王司 |
| |
| 作者单位： | 1. 哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001
2. 哈尔滨工业大学航天学院,哈尔滨,150001 |
| |
| 摘 要： | 在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到的不正确输出，而在RSCFC存在的情况下，该区间会降低到2．8％～20．4％。与其它的软件控制流错误检测方法相比较，它具有探测率高，对原始代码影响小的特点。
|
| 关 键 词： | 控制流检查 软件错误探测 故障注入 在线检测 |
| 文章编号： | 1000-1328（2006）06-1424-07 |
| 收稿时间： | 02 4 2005 12:00AM |
| 修稿时间： | 2005-02-042005-05-31 |
A Software Method for On-Line Control Flow Fault Detection |
| |
| LI Ai-guo,HONG Bing-rong,WANG Si.A Software Method for On-Line Control Flow Fault Detection[J].Journal of Astronautics,2006,27(6):1424-1430. |
| |
| Authors: | LI Ai-guo HONG Bing-rong WANG Si |
| |
| Institution: | 1. School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China; 2. School of Astronautics, Harbin Institute of Technology, Harbin 150001, China |
| |
| Abstract: | |
| |
| Keywords: | Control flow checking Software error detection Fault injection On-line fault detection |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
