本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件**性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，*后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 本书适合从事软件**性、软件可靠性、软件保密性及软件可信性举证理论与技术研究的科技人员和实际应用的工程人员阅读，也可作为高等院校质量和可靠性工程专业的教师、高年级本科生和研究生的参考书。

目 录 第1章 软件保证举证概述1 1.1 软件保证举证的由来及意义1 1.2 软件保证举证的研究现状3 1.3 软件保证举证的基本知识5 1.3.1 软件保证举证的概念5 1.3.2 软件保证举证的结构5 1.3.3 软件保证举证的表述方法9 1.4 GSN12 1.4.1 GSN的基本符号13 1.4.2 GSN的模式符号22 1.4.3 GSN的模块符号26 1.4.4 GSN软件保证举证的构建流程35 1.4.5 GSN软件保证举证的构建工具49 本章小结51 参考文献52 第2章 软件**性举证方法53 2.1 软件**性举证的基础知识53 2.1.1 软件**性的概念53 2.1.2 软件**性举证的概念59 2.2 软件**性举证框架的构建原理60 2.3 软件**性举证框架63 2.3.1 软件**性过程因素包65 2.3.2 软件**性需求分析包68 2.3.3 危险软件失效分析包73 2.3.4 危险软件失效的消除或缓解实现包75 2.3.5 危险软件失效的消除或缓解验证包76 2.3.6 软件**性证据包76 2.4 基于GSN的软件**性举证的论证模式77 2.4.1 系统级别的**性的论证模式77 2.4.2 软件对系统危险贡献的缓解的论证模式80 2.4.3 软件**性顶层的论证模式81 2.4.4 软件**性需求实现的论证模式84 2.4.5 危险软件失效已被消除或缓解的论证模式85 2.4.6 软件失效改进措施实现的论证模式87 2.5 应用实例89 2.5.1 刹车系统介绍89 2.5.2 应用过程90 2.5.3 应用结果90 本章小结101 参考文献101 第3章 软件可靠性举证方法102 3.1 软件可靠性举证的基础知识102 3.1.1 几个基本概念102 3.1.2 软件可靠性工程104 3.1.3 软件可靠性相关标准105 3.2 软件可靠性举证框架106 3.2.1 基于软件可靠性特性度量模型的软件可靠性举证框架107 3.2.2 基于缺陷防控模型的软件可靠性举证框架111 3.2.3 基于“4+1”准则的软件可靠性举证框架113 3.2.4 几种框架的分析比较117 3.3 基于GSN的软件可靠性举证的论证模式118 3.3.1 基于软件可靠性特性度量模型的软件可靠性举证的论证 模式118 3.3.2 基于缺陷防控模型的软件可靠性举证的论证模式121 3.3.3 基于"4+1"准则的软件可靠性举证的论证模式123 3.4 应用实例127 3.4.1 实例软件简介128 3.4.2 基于软件可靠性特性度量模型的软件可靠性举证的应用过程129 3.4.3 基于缺陷防控模型的软件可靠性举证的应用过程130 3.4.4 基于“4+1”准则的软件可靠性举证的应用过程134 本章小结140 参考文献141 第4章 软件保密性举证方法142 4.1 软件保密性举证的基础知识143 4.1.1 软件保密性的相关概念143 4.1.2 软件保密性举证的概念146 4.2 软件保密性举证框架及基于GSN的软件保密性举证的论证模式148 4.2.1 软件保密性举证框架的结构148 4.2.2 软件保密性举证框架的基本论证原理149 4.2.3 软件保密性举证框架的论证结构159 4.2.4 软件保密性举证框架的实例化方法187 4.3 应用实例189 本章小结199 参考文献199 第5章 软件可信性举证方法201 5.1 软件可信性举证的基础知识201 5.1.1 软件可信性的相关概念201 5.1.2 软件可信性举证的相关研究205 5.2 基于GSN的软件可信性举证框架及论证模式206 5.2.1 基于GSN的软件可信性举证框架206 5.2.2 基于GSN的软件可信性举证的论证模式208 5.2.3 软件可信性举��框架的实例化规则235 5.3 应用实例237 5.3.1 实例软件简介237 5.3.2 举证实例构建方案237 5.3.3 举证实例构建过程239 本章小结242 参考文献242 第6章 基于非形式逻辑理论的软件保证举证信心评定方法244 6.1 软件保证举证信心评定方法的理论基础244 6.1.1 非形式逻辑245 6.1.2 图尔敏论证模型的论证评价247 6.1.3 贝叶斯网络250 6.2 软件保证举证信心评定方法251 6.2.1 保证举证树形结构到图尔敏论证模型的转化252 6.2.2 图尔敏论证模型的软件保证举证定性评价256 6.2.3 图尔敏论证模型的软件保证举证定量评价258 6.3 应用实例269 6.3.1 应用过程271 6.3.2 应用分析278 本章小结279 参考文献279