软件可靠性与安全性的相互关系及其转换规律的研究.doc

分 类 号：  TP311  论文编号：  2006140017  密  级： 公 开  贵  州  大  学  2009 届博士研究生学位论文 软件可靠性与安全性的相互关系 及其转换规律研究 学科专业： 计算机软件与理论  研究方向： 指导教师： 研 究 生：  软件可靠性 赵明（教授） 樊 林 波  中国·贵州·贵阳 2009 年 5 月 Guizhou University The graduate School College of Computer Science Technology Research on Relationship and Transition Between the Software Reliability and Safety A thesis in Computer and Technology Engineering By Advised by Submitted in Partial Fulfillment of the Requirement for the Degree of Doctor of Computer  May  2009 贵州大学博士学位论文：目 录 目录  摘  要III  第 1 章 绪论1 1.1研究背景及意义 1 1.2 国内外研究现状2 1.3 存在的问题3 1.4 主要研究内容4 1.5 论文的组织结构4 第 2 章 软件可靠性与软件安全性 6 2.1 软件与硬件产品的特性分析6 2.2 软件可靠性7 2.2.1 软件可靠性中的一些相关概念8 2.2.2 影响软件可靠性的主要因素9 2.2.3 经典的软件可靠性模型10 2.3 软件安全性 19 2.3.1 安全性的相关概念20 2.3.2 软件安全性研究现状20 2.4 软件可靠性与安全性之间的一些焦点 22 2.4.1 失效严重程度类的划分23 2.4.2 一些争论问题的焦点25 2.5 本章小结26 第 3 章 软件可靠性与安全性的公理体系 27 3.1 符号说明 27 3.2 主要概念 28 3.3 相关定义29 3.4 公理与断言31 3.5 本章小结32 I 贵州大学博士学位论文：目 录 第 4 章 可靠性与安全性的相互关系及其转换规律 34 4.1 相互关系及其转换规律的研究状况 34 4.2 软件可靠性与安全性的相互关系 34 4.3 软件可靠性与安全性的转换规律 43 4.4 本章小结50  第 5 章  软件的可靠性度量与安全性度量 52  5.1 构件软件的描述52 5.2 可靠性与安全性度量 52 5.3 实例分析55 5.4 本章小结56 第 6 章 转换规律在故障树方法中的应用 57 6.1 故障树方法简述57 6.2 故障树方法中的应用 58 6.2.1 故障树的定性分析方法58 6.2.2 故障树的定量计算59 6.2.3 转换规律的应用61 6.3 分析举例62 6.4 本章小结65 第 7 章 总结与展望66 7.1 总结66 7.2 展望66 致 谢68 参考文献70 中文参考文献：70 英文参考文献：72 II 贵州大学博士学位论文：摘 要  摘  要  随着软件在尖端科技领域（如我国的 211 航天计划）中的广泛应用，软件可靠性 与安全性越来越成为人们最关心的话题。很多类型的系统，诸如飞行控制系统、空中 管制系统、核电站安全监控系统、制药控制系统、通讯系统、起搏器等，软件已成为 其实现功能的主要因素。因此，对软件可靠性与安全性的理论及其应用研究，是尖端 科技领域发展中必须面临的重要环节，也是关系国家安全、军事安全、科技创新和重 大产品推广应用中必须解决的课题。 在过去的研究中，人们将软件可靠性与安全性相互分离，从不同的角度开展研究， 其成果主要集中在软件可靠性和安全性各自的原理、方法和技术方面。对软件可靠性 和安全性之间的相互关系探讨较少，对它们的综合应用研究不足，甚至还存在一些概 念模糊和使用方法混淆等问题。这对软件可靠性与安全性的综合分析、评估和事故鉴 定等方面产生了严重影响，也对软件可靠性与安全性的理论研究和工程应用产生了阻 碍作用。 本文从软件可靠性与安全性的相互关系研究出发，建立了软件可靠性与安全性统 一的公理体系；给出了二者之间清晰的相互关系；提出了在一定条件下二者的相互转 换规律；举例说明了相互关系及其转换规律在实践中的应用。文章不仅丰富了软件可 靠性与安全性的基础理论，而且为软件可靠性与安全性的综合应用提供了技术保障。 主要贡献及创新有以下几点： 1、建立了软件可靠性与安全性统一的公理体系，为软件可靠性与安全性的形式化 研究打下了基础。通过对软件可靠性和安全性基本概念的分析，