安全关键软件在航空航天、轨道交通、工业控制等领域当中扮演着非常重要的角色,一旦失效将会产生难以预计的后果,因此,对软件的可信程度进行评估是一件非常重要且急迫的事情。目前,常用的评估软件可信性的方法有加权平均法、函数法、模糊推理以及证据理论等。加权平均法简单直观,却不能很好地表现出软件可信属性间的关系;函数法可以在一定程度上体现软件属性间的关系,但在获取可信证据时主要依靠专家打分,不能很好的保证评估结果的客观性;而证据理论虽可以在一定程度上减少评估过程中的主观因素,但在融合过程中存在合成悖论和属性相关性等问题。本文通过分析现有软件可信证据融合方法的不足以及可信评估模型中不同层次的特点,采用基于证据分层合成的方法对软件可信性进行评估。通过DS证据理论与函数法相结合的方法,收集软件生命周期中的各类可信证据,对其中的高冲突性证据进行修正,并对可信证据修正方法进行改进,判断证据冲突性的强弱,根据证据冲突程度的大小进行不同程度的修正。在此基础上,考虑可信证据间彼此独立的特点,在可信证据层采用证据理论进行融合,而在属性层,考虑可信属性间具有相关性,无法采用证据理论进行融合,通过分析软件可信度量模型的5个构造准则,根据准则建立度量公式,采用度量公式对属性层面进行评估,在一定程度上保证最终评估结果的客观准确性。最后,通过对“铁路道岔状态检测”系统这一实际案例进行详细分析,并将实验结果与其他证据融合方法的计算结果进行对比,验证了所提可信证据合成方法的可行性与有效性。