一种实用的程序控制流错误检测方法  

A Practical Detection Method of Program Control Flow Error

作　　者：宋伟[1] 余强[1] 孙庆中[1] 

机构地区：[1]西华大学数学与计算机学院,四川成都610039

出　　处：《绵阳师范学院学报》2014年第8期95-99,共5页Journal of Mianyang Teachers＇ College

基　　金：教育部春晖计划(NO.13226651);四川省教育厅应用基础研究项目(NO.11226016)

摘　　要：该文武介绍了一种检测软件控制流错误的方法,阐述了该方法的原理,给出了具体的实现方案和测试结果.本方法在RSCFC方法的基础上,通过把程序划分为若干个基本模块并分别为每个模块设定静态标记,在每个基本模块的首部和尾部分别加上相应的测试和设置指令,在程序运行时通过比较运行时生成的动态标记和编译时确定的静态标记是否匹配来检测程序控制流错误.本方法和RSCFC方法相比的优点在于:使用相同长度的标记可以编码更多的基本模块;在基本模块的起始处和结束处都进行错误检测,错误覆盖率高;可以在发生错误的当前基本模块检测出所有的单个控制流错误,不会延迟到控制流进入下一个基本模块.This paper introduces a method for detecting software control flow error,the principle,concrete imple-mentation and test result is given. Based on RSCFC method,our proposed method divides program into basic modules, sets static markup for each module respectively,inserts test and set instructions in header and tail of each module. For detecting control flow error,the proposed method compares dynamic mark generated at run time and static mark genera-ted at compile time,if they are not match,the control flow error is occurred. Compared to the RSCFC method,the ad-vantages of this method are：use the same length markers to code more basic modules;detect error in the beginning and at the end of the basic module so error coverage rate is higher;detect all single control flow errors in the current basic module,do not delay to the time when control flow into the next basic module.

关 键 词：程序错误检测 控制流错误 软件检测 基本模块 非法跳转 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]