扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
软件保证举证方法及其应用 版权信息
- ISBN：9787115624727
- 条形码：9787115624727 ; 978-7-115-62472-7
- 装帧：平装
- 册数：暂无
- 重量：暂无
- 所属分类：>>
软件保证举证方法及其应用 本书特色
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
第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
展开全部
软件保证举证方法及其应用 作者简介
曾福萍，女，北京航空航天大学讲师，硕士生导师。硕士毕业后一直在北京航空航天大学可靠性工程研究所从事与软件可靠性、软件安全性、软件测试相关的教学、科研、工程和管理工作，期间获得了在职博士学位。主要研究方向为软件可靠性设计、软件安全性分析与评估、软件测试、软件代码分析等技术的研究与应用。主持多项装发共用技术和领域基金、省部级项目以及军工项目，参与过装发十一五、十二五、十三五、国防技术基础、可靠性维修性保障性技术集成及在某导弹的应用验证、一飞院安全性、空军大飞机办技术服务、软件测试等二十余项项目。在国内外学术期刊上发表相关论文及专利几十篇，获国防技术进步一等奖二项。参与编写《软件可靠性工程》专著一部。目前是装发可靠性专业组秘书，中国指挥与控制学会可靠性系统科学与工程专业委员会委员、纪检委员，中国计算机学会软件工程专业委员会委员。
书友推荐
- >
李白与唐代文化
李白与唐代文化
¥12.5¥29.8 - >
烟与镜
烟与镜
¥15.8¥48.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
月亮虎
月亮虎
¥15.4¥48.0
本类畅销
-
网络工程师教程(第2版)
¥69.3¥99 -
Python 数据分析基础
¥41¥69 -
Python 3.5从零开始学
¥26.4¥59 -
虚拟化与容器技术
¥49.9¥69.8 -
UG NX 11.0工程图教程-(含1DVD)
¥30.4¥59.9 -
程序设计语言编译原理(第3版)
¥25.4¥39
浏览历史
植物大战僵尸5--武器秘密故事系列 此书不单发
¥7.0¥10.02019视觉颠覆版2/图画捉迷藏
¥16.8¥39.0
