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

• 作者: 叶俊民 张涛 董威 齐治昌
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 程序静态分析 故障树 故障检测
• 年，卷（期）: 2008,（16）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 75-76,79
• 页数: 3页
• 分类号: TP311.1
• 字数: 2213字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.16.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董威	国防科学技术大学计算机学院	32	402	10.0	19.0
2	叶俊民	国防科学技术大学计算机学院	85	454	11.0	16.0
6	齐治昌	国防科学技术大学计算机学院	38	881	15.0	29.0
7	张涛	华中师范大学计算机科学系	36	318	10.0	17.0