摘要
为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因。非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第16期75-76,79,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60673118)
湖北省自然科学基金资助项目(2007ABA034)
关键词
程序静态分析
故障树
故障检测
program static analysis
fault tree
fault detection