随着软件应用的不断深入,软件可信性受到了高度关注,形成了围绕“软件可信性”的新的研究热点。软件可信评估是可信性研究中的一个基本问题,在软件可信性保障活动中占据了极其重要的地位。考虑到评估过程中涉及到的评估对象(模型、产品、文档)存在多样性和差异性,需要提供一种统一、综合的方法来进行软件可信评估。目前可信评估模型的研究主要集中在评估算法的数学建模方面,针对不同的应用领域建立了不同的评估模型,对于评估模型的结构和语义没有明确的定义和说明。导致不同学者制定的评估模型适用的软件形态受限、模型间的信息不能共享等不足。针对上述问题,本文提出了一种通用的解决方案来对软件的可信评估过程进行管理。首先,在分析现有可信评估模型的基础上,抽取和分析了通用的可信评估过程中涉及的基本概念,构建了可信评估元模型。应用本体语言OWL抽象描述了元模型的语义信息,保障了元模型内部概念的一致性。其次,探讨了基于可信评估元模型的领域模型建立方式和评估实施过程,结合税务领域的应用实例详细说明了如何采用建模语言为企业应用建立评估模型,并以此指导评估的具体实施。最后,对支持评估模型定制的可信评估管理系统设计了完整的解决方案,并据此使用J2EE构建了一个基于B/S结构的可信评估管理系统,以辅助评估者定制评估模型,收集证据信息,从而有效的完成评估任务。实验表明此项研究对于软件可信评估活动的成功实施具有一定的指导作用。