石 柱 郑 重

中国航天科技集团公司软件评测中心，北京100048



软件故障树分析实例研究*

石 柱 郑 重

中国航天科技集团公司软件评测中心，北京100048

软件故障树分析(SFTA)是硬件或系统FTA的扩展，可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程，然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成，并在此基础上提出了对该软件的改进建议。

软件可靠性；软件可靠性分析；软件故障树分析

软件故障树分析(software fault tree analysis，SFTA)用于检查和识别可引起危险的软件失效及其原因，它采用自上而下演绎的方式找出可能导致顶端事件的状态或关键路径的最小组合。目前，SFTA方法已广泛应用于安全关键软件的验证和可靠性分析[1]。

在某些领域，随着对软件的可靠性和安全性要求日益提高，需要对相关软件进行SFTA，但目前对软件产品进行SFTA的工作很少，缺乏实践经验，因此，本文在对SFTA原理和实施步骤研究的基础上，针对某嵌入式软件的特点，进行了初步应用，取得了较好的效果，并成功改进了该软件。

1 SFTA原理

SFTA通常是以不希望发生的、作为软件失效判据的一个事件(顶事件)作为分析目标，首先分析寻找所有能引起顶事件发生的直接原因，然后寻找引起上述每一个直接原因的所有直接原因，以此类推，一层一层的分析。如果上一级事件的发生可由任意一个直接原因导致，则用逻辑“或”把它们和上一级事件连接起来；如果上一级事件的发生是由2个或2个以上的直接原因共同导致，则用逻辑“和”把它们和上一级事件连接起来。……