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