本发明公开了基于特征配置的故障树生成方法，将软件产品线的可变性建模引入安全分析过程，利用特征模型作为系统故障的结构模型刻画故障的层次与约束关系。同时通过对状态迁移的拓展提出一种故障标记迁移系统(Fault Labeled Transition System，FLTS)，作为系统故障行为模型。然后基于故障标记迁移系统的语义定义了利用模型检测生成故障树的过程。最后，利用现有的软件产品线模型检测器实现了基于故障配置生成故障树的方法。本发明利用特征模型刻画了系统静态层次结构、故障与部件的从属关系及故障间的约束关系，利用软件产品线模型检测的特性，可以基于系统模型针对特定安全属性找到其全部割集，提高了故障树生成的效率与准确性。