软件保证举证方法及其应用

1.系统介绍软件保证举证方法方面的图书，可以解决市场上该类图书匮乏的问题。
2.作者所在的北航可靠性与系统工程学院科研实力强劲，在陆民燕的带领下在保证举证技术方面的研究成果丰富，并已经应用于我国航空航天的一些软件系统。
3.本书在写作上既保证一定的理论深度，同时又大量增加应用实例，便于读者阅读理解及开阔研究视野。

本书介绍了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 GSN 12
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