随着软件规模和复杂度的不断提高,软件可信性问题也日益突出。软件在特定环境下的运行行为和结果与人们的预期并不总是完全符合,也会发生各种各样的问题,影响人们的正常工作和生活,甚至给人们的生命财产造成巨大的损失。因此,对软件的可信性进行评估是确保软件运行时可信的一个重要研究方向。针对软件可信评估中存在的度量方法准确性较低的问题,本文提出了一种基于模糊数学理论的软件可信性评估研究方法。该方法以“言行一致”思想为依据,采用模糊集对行为声明和实际行为进行刻画,分别给出了单个软件行为的可信度量计算方法和软件整体的可信评估计算方法,使得评估结果以量化的形式给出直观的可信程度,相较于以往多数采用的定性分析的可信评估方法,提升了评估结果的准确性。该方法在软件可信评估上具有一定的实际意义,同时也为度量软件的可信性提供了一种新的思路。本研究首先结合数学理论对与研究软件可信性相关的名词进行了重新定义,它们也是后面进行软件可信评估的理论基础。从软件的需求分析出发,获取软件的可信需求,通过对可信需求进行剖析,提取出软件中所包含的所有基本动作(9,构造出软件对应的动作空间Ω以及基本动作(9对应的隶属函数,从而用模糊集对行为声明进行更加精确的定义;在编译阶段加入安全编译组件,检测软件所包含的基本动作相较于动作空间Ω的完备性,构造软件所包含的基本动作对应的隶属函数;在动态监测阶段,对软件的实际运行行为进行提取与刻画,验证软件的行为集合的完备性;在可信评估阶段,以“言行一致”思想为依据,分别给出了单个软件行为的可信度量计算方法和软件整体的可信评估计算方法。通过实验对一些关键技术点的可行性进行了实验验证,采用本文所提出的方法论并结合一个具体实例应用对其进行可信性评估,验证了该方法论的可行性,为软件的可信性评估提供了一种新的度量方法。