现今，故障树分析法已广泛地应用到系统可靠性和安全性的评价中。本文研究了动态建造故障树的方法，以及基于BDD的故障树定性分析、定量分析和模块分析方法。主要做了以下几方面的工作： 首先，提出了一种基于Windows界面的计算机辅助动态建造故障树的设计思想和实现方法，并在此基础上设计开发了一套可视化动态建造故障树软件，解决了当前建树方法通用性差和工作量大的问题。 其次，用基于结构重要度和基于神经网络两种方法实现了底事件最优指标顺序的确定，解决了底事件指标顺序对BDD规模的影响问题。依据布尔函数Shannon分解和BDD图的关系，用递归法实现了故障树向BDD转化。 再次，在基于BDD的故障树定性分析研究中，提出并实现了基于BDD和素数法相结合的单调关联故障树最小割集求解的新方法，用迭代法实现了非单调关联故障树质蕴含的求解。在基于BDD的故障树定量分析研究中，实现了顶事件发生概率和绝对失效强度的求解。为解决大型复杂故障树的简化分析问题，提出并实现了基于深度优先最左遍历和BDD相结合的故障树模块分析法。实现了计算机自动化故障树分析。通过这些方法，解决了基于布尔代数的故障树分析中长期存在的“组合爆炸”问题。 最后，探讨了故障树分析法和可靠性框图法在系统可靠性研究中的关系，首次得出两者分析结果满足互补关系。