[1]姚伟,顾晶晶.一种基于标签的程序控制流错误检测方法[J].计算机技术与发展,2018,28(05):13-16.[doi:10.3969/j.issn.1673－629X.2018.05.004]
　YAO Wei,GU Jingjing.A Method of Programmed Control Flow Error Detection Based on Structured Labels[J].,2018,28(05):13-16.[doi:10.3969/j.issn.1673－629X.2018.05.004]
点击复制

一种基于标签的程序控制流错误检测方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
28
期数:
2018年05期
页码:
13-16
栏目:
智能、算法、系统工程
出版日期:
2018-05-10

文章信息/Info

Title:
A Method of Programmed Control Flow Error Detection Based on Structured Labels
文章编号:
1673-629X(2018)05-0013-04
作者:
姚伟; 顾晶晶
南京航空航天大学 计算机科学与技术学院，江苏 南京 211100
Author(s):
YAO Wei; GU Jing－jing
School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211100,China
关键词:
控制流错误; 基本块; 软件检测; 结构化标签; 非法跳转
Keywords:
control flow errors; basic blocks; software detection; structured tags; illegal jumps
分类号:
TP311
DOI:
10.3969/j.issn.1673－629X.2018.05.004
文献标志码:
A
摘要:
如今程序控制流错误已成为影响嵌入式计算机可靠性的主要因素之一。在现实生活中，嵌入式系统的计算机受很多因素影响(比如辐射、硬件故障、环境干扰等)，从而导致程序出现控制流错误使程序不能正常运行。传统的控制流检测算法具有配置不灵活、滞后性等缺点。对此，介绍了一种针对程序控制流错误的检测方法，该方法对程序进行基本块划分，为每个基本块设置静态标签，采用后继块信息标签，与程序运行时产生的动态标签进行匹配，从而检测控制流错误。每个基本块都在起始处和结束处各进行一次检测判断，双重检测判断可较有效地检测出控制流错误，并且该方法能够在当前基本块发现控制流错误，不延迟到后面的基本块，较有效地解决了基本块间检测的滞后性问题。
Abstract:
Now program control flow error has become one of the main factors that affect the reliability of embedded computer．In real life，the embedded system of the computer is affected by many factors (such as radiation,hardware failure,environmental interference,etc.),resulting in the program control flow error so that the program cannot run properly.The traditional control flow detection algorithm has the disadvantages of poor configuration and hysteresis.For this,we present a method of detecting the error of program control flow,which divides the program into basic blocks,sets static tags for each of them,and uses subsequent blocks of information to match the dynamic tags generated when the program runs for detection of control flow error.Each of the basic blocks is subjected to a detection judgment at the beginning and at the end,and the double detection judgment can detect the control flow error more efficiently.The method can find that the control flow is erroneous in the current basic block and is not delayed until the basic block,which is more effective solution to the basic block between the detection of hysteresis.

相似文献/References:

[1]马 瑞,胡立华,左威健,等.基于基本块分组与融合的特征直线检测算法[J].计算机技术与发展,2021,31(09):67.[doi:10. 3969 / j. issn. 1673-629X. 2021. 09. 012]
　MA Rui,HU Li-hua,ZUO Wei-jian,et al.A Feature Line Segment Detection Method Based on Grouping and Fusion of Primary Chunk[J].,2021,31(05):67.[doi:10. 3969 / j. issn. 1673-629X. 2021. 09. 012]

更新日期/Last Update: 2018-06-26