10.3969/j.issn.1000-3428.2008.16.025
基于程序静态分析和故障树的软件故障检测
为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因.非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因.
程序静态分析、故障树、故障检测
34
TP311.1(计算技术、计算机技术)
国家自然科学基金资助项目60673118;湖北省自然科学基金资助项目2007ABA034
2008-09-24(万方平台首次上网日期,不代表论文的发表时间)
共3页
75-76,79