基于程序静态分析和故障树的软件故障检测

Software Fault Detection Based on Program Static Analysis and Fault Tree

为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因。非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因。

To improve the safety and reliability of software, a method to detect and analyze software faults is introduced. This method uses the static analysis of programs to locate faults, and uses fault tree to find the source of those faults. Invalid arithmetic operation is a common kind of error in programs, which often causes the system collapse. An invalid arithmetic fault analyzing process is discussed as an example to illustrate the analyzing process. This method is proved in experiment to be effective in locating and analyzing faults.