随着软件技术的迅猛发展,人类对于软件的需求和依赖性越来越强,软件的规模和复杂程度也正以前所未有的规模不断延伸。人类开始越来越关注软件产品的可信性。不论是国内外政府、科研机构、工业企业界都逐步认识到了软件可信研究的重要性,纷纷提出了有针对性的研究计划。其中,软件可信性度量便是建立可信软件的一个核心科学问题。软件产品是过程的产物,软件产品的质量在很大程度上依赖于软件过程。从软件生命周期的早期阶段开始,贯穿项目始终,通过流程化和规范化的过程来强化软件的可信性是实现可信软件的有效方法。目前,从过程的角度出发进行可信属性的度量研究还比较少见。本文一方面利用形式化的方法定义软件可信过程,使软件可信过程规范化；另一方面,从可信过程中获取可信证据,并用对其进行度量,以保证软件开发过程的高可信性,从而保证软件产品具有较高的质量。基于上述方法,本文解决了以下问题：1.定义了软件可信证据、软件过程可信度量指标、软件过程可信度量数据。通过实例化李彤教授的软件演化过程,在过程执行期间抽取可信证据。2.给出了一个层次化的软件过程的可信性度量模型。层次化模型的构建为下一步对软件过程可信性的度量评价提供了基础。3.列举了三种重要的软件可信属性作为关键可信属性,在过程中,实时的抽取软件证据,使用软件过程度量指标给出量化数据和专家评估数据。构建了一个实际的过程关键可信性度量模型。4.在层次化过程度量模型的基础上,对定量和定性的过程度量数据进行一致性转换。尤其是对于定性的度量数据,由于其由专家给出,本身具有一定的主观性,因此,作者用信息熵的方法评估专家的数据的有效性,防止因无效评估数据的出现而影响过程可信性度量的可信性。综上,本文以过程为度量元,通过提取可信证据,构建层次化的过程度量模型,使用模糊层次分析法对软件过程的可信性进行了度量。目标是通过给出一种过程可信性度量的方法,使得在软件开发过程中通过对过程可信性的度量指导开发过程,并提前预知产品的质量。