基于软件运行特征的故障检测方法研究

Research on Fault Detection Method Based on Software Operational Characteristics

摘要:

针对软件源代码静态检测时故障报告中误报较多问题，提出一种基于软件运行特征的故障检测方法，通过引入动态分析的方式进行故障检测。首先扩展了动态测试插装库，设计了八种常见故障模式对应的探针函数，然后在程序中搜索故障监控位置并进行故障监控探针的插装，最后在软件执行过程中分析插装消息中的运行特征从而识别故障。实验结果表明该方法能够有效检测程序故障且检测出的故障均为真实存在，弥补了静态分析误报率高的问题。

Abstract:

Aiming at the problem of many false positives in fault report during static detection of software source code, a fault detection method based on software operation characteristics is proposed. Firstly, extend the dynamic test instrumentation library from designing the probe functions corresponding to eight common fault modes. Then, search the fault monitoring position in the program and insert the fault monitoring probe. Finally, in the process of software execution, the operation characteristics in the instrumentation message are analyzed to identify the fault. Experimental results show that the method can effectively detect program faults and all detected faults are real. This method makes up for the high false positive rate of static analysis.