一种基于故障树分析的软件设计方法

• 作者: 吴学军 李祥明 王玮 茅文浩
• 来源期刊: 兵工自动化
• 学科: 工学
• 关键词: 静态故障树分析 动态故障树分析 软件设计
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 软件开发与应用
• 页码范围: 85-91
• 分类号: TP311.52
• 字数: 6183字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-1576.2011.08.025

摘要

为尽量减少被软件设计过程传播的故障数,提出一种基于故障树分析(fault-tree analysis,FTA)的软件设计方法.以故障树分析为基础,从软件的静态和动态特性出发,将其引入到软件设计开发过程中,并以实例进行建模、分析.结果表明:该方法计算复杂度低、精确度高,建模过程简单,适合于规模小的系统.在海上测控软件的设计开发过程中应用该方法,提高了软件的可靠性和安全性.