基于故障树的软件分析技术(SFTA)浅析