信息时代高速发展,与之相关的“软件危机”不容小觑。传统软件质量的量化与评估既有静态也有动态。近几年,软件可信性量化评估成为热点,取得了一系列研究成果,但大部分工作从静态角度来研究软件可信度量。本文从动态角度来研究软件质量的可信量化评估。由于多数评估模型针对的是整个可信属性,忽视了不同可信属性之间的关联性,本文选取安全属性作为研究对象,从软件失效模型出发面向安全属性研究软件可信度量评估模型及方法。本文重点关注安全属性的可信性其主要工作包括:1.本文提出了一个面向运行阶段的安全属性可信分类方法。主要是从软件运行角度来探究安全属性间的关系,采用集合论方法给出可信安全属性与子属性之间的关系模型。降低属性间的关联性从而提高独立分析安全子属性的能力。2.为了分析软件因外界攻击所带来的伤害对于软件安全属性的可信性变化,本文构造了基于Petri网的安全属性的验伤模型。由于软件受到的伤害本质上是软件安全状态的变更,对软件因外界攻击导致逐步失效的过程结合状态迁移变化进行建模。可利用该验伤模型对安全各子属性进行分析,最后对软件的安全属性进行总体可信分析评估。3.本文采用基于马尔科夫链技术对验伤模型进行辅助分析与计算。从验伤模型中可知,软件系统关乎安全性的状态转移关系满足马尔科夫性。通过马尔科夫分析法来对软件状态变更进行分析并得到软件状态转移概率矩阵,进而得到软件状态分布稳态概率,以便对安全子属性进行量化分析。通过上述三点,本文形成了系统的、较为完整的安全性的可信分析评估框架。利用软件受到攻击后的状态构造验伤模型,采用马尔科夫链进行状态概率计算以定量分析可信安全性,并通过实验结果表明了验伤模型的可行性与有效性。