| 软件故障树分析实例研究 |
| |
| 引用本文： | 石柱,郑重.软件故障树分析实例研究[J].航天控制,2014,32(6). |
| |
| 作者姓名： | 石柱 郑重 |
| |
| 作者单位： | 中国航天科技集团公司软件评测中心,北京,100048 |
| |
| 基金项目： | 国防科技工业局民用航天科研预先研究项目资助课题 |
| |
| 摘 要： | 软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.
|
| 关 键 词： | 软件可靠性 软件可靠性分析 软件故障树分析 |
A Case Study on Software Fault Tree Analysis |
| |
| SHI Zhu,ZHENG Zhong.A Case Study on Software Fault Tree Analysis[J].Aerospace Control,2014,32(6). |
| |
| Authors: | SHI Zhu ZHENG Zhong |
| |
| Abstract: | |
| |
| Keywords: | Software reliability Software reliability analysis Software fault tree analysis |
|
|
