故障树分析在空空导弹软件安全性测试中的应用

摘要

通过故障树的方法分析空空导弹安全性设计,进而指导空空导弹安全性测试.采用故障树的方法以空空导弹不能发射作为顶事件,对发射前、发射后、中制导、末制导不同阶段进行分析建树,分析故障树最小割集,得到空空导弹各类故障模式.对空空导弹各类故障模式设计相应的检测手段,对空空导弹系统进行软件安全性测试,发现了系统安全性缺陷,对更改后的系统进行软件回归测试,提升了空空导弹安全性水平.