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

图书标准信息

• 作者 作者
• 出版社 人民邮电出版社
• 出版时间 2024-04
• 版次 1
• ISBN 9787115624727
• 定价 89.80元
• 装帧 其他
• 开本 16开
• 页数 288页
• 字数 313千字

【内容简介】

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