| 一种实用的程序控制流错误检测方法 |
| |
| 引用本文： | 宋伟,余强,孙庆中.一种实用的程序控制流错误检测方法[J].绵阳师范高等专科学校学报,2014(8):95-99. |
| |
| 作者姓名： | 宋伟 余强 孙庆中 |
| |
| 作者单位： | 西华大学数学与计算机学院,四川成都610039 |
| |
| 基金项目： | 教育部春晖计划（NO.13226651）;四川省教育厅应用基础研究项目（NO.11226016） |
| |
| 摘 要： | 该文武介绍了一种检测软件控制流错误的方法,阐述了该方法的原理,给出了具体的实现方案和测试结果.本方法在RSCFC方法的基础上,通过把程序划分为若干个基本模块并分别为每个模块设定静态标记,在每个基本模块的首部和尾部分别加上相应的测试和设置指令,在程序运行时通过比较运行时生成的动态标记和编译时确定的静态标记是否匹配来检测程序控制流错误.本方法和RSCFC方法相比的优点在于：使用相同长度的标记可以编码更多的基本模块;在基本模块的起始处和结束处都进行错误检测,错误覆盖率高;可以在发生错误的当前基本模块检测出所有的单个控制流错误,不会延迟到控制流进入下一个基本模块.
|
| 关 键 词： | 程序错误检测 控制流错误 软件检测 基本模块 非法跳转 |
A Practical Detection Method of Program Control Flow Error |
| |
| Institution: | SONG Wei, YU Qiang (School of Mathematics ＆ Computer Engineering, Xihua University, Chengdu, Sichuan 610039) |
| |
| Abstract: | 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. |
| |
| Keywords: | program error detection control flow error software detection basic module illegal jump |
| 本文献已被 维普 等数据库收录！ |
|
