第1章 软件保证举证概述
1.1 软件保证举证的由来及意义
1.2 软件保证举证的研究现状
1.3 软件保证举证的基本知识
1.3.1 软件保证举证的概念
1.3.2 软件保证举证的结构
1.3.3 软件保证举证的表述方法
1.4 GSN
1.4.1 GSN的基本符号
1.4.2 GSN的模式符号
1.4.3 GSN的模块符号
1.4.4 GSN软件保证举证的构建流程
1.4.5 GSN软件保证举证的构建工具
本章小结
参考文献
第2章 软件安全性举证方法
2.1 软件安全性举证的基础知识
2.1.1 软件安全性的概念
2.1.2 软件安全性举证的概念
2.2 软件安全性举证框架的构建原理
2.3 软件安全性举证框架
2.3.1 软件安全性过程因素包
2.3.2 软件安全性需求分析包
2.3.3 危险软件失效分析包
2.3.4 危险软件失效的消除或缓解实现包
2.3.5 危险软件失效的消除或缓解验证包
2.3.6 软件安全性证据包
2.4 基于GSN的软件安全性举证的论证模式
2.4.1 系统级别的安全性的论证模式
2.4.2 软件对系统危险贡献的缓解的论证模式
2.4.3 软件安全性顶层的论证模式
2.4.4 软件安全性需求实现的论证模式
2.4.5 危险软件失效已被消除或缓解的论证模式
2.4.6 软件失效改进措施实现的论证模式
2.5 应用实例
2.5.1 刹车系统介绍
2.5.2 应用过程
2.5.3 应用结果
本章小结
参考文献
第3章 软件可靠性举证方法
3.1 软件可靠性举证的基础知识
3.1.1 几个基本概念
3.1.2 软件可靠性工程
3.1.3 软件可靠性相关标准
3.2 软件可靠性举证框架
3.2.1 基于软件可靠性特性度量模型的软件可靠性举证框架
3.2.2 基于缺陷防控模型的软件可靠性举证框架
3.2.3 基于“4+1”准则的软件可靠性举证框架
3.2.4 几种框架的分析比较
3.3 基于GSN的软件可靠性举证的论证模式
3.3.1 基于软件可靠性特性度量模型的软件可靠性举证的论证模式
3.3.2 基于缺陷防控模型的软件可靠性举证的论证模式
3.3.3 基于“4+1”准则的软件可靠性举证的论证模式
3.4 应用实例
3.4.1 实例软件简介
3.4.2 基于软件可靠性特性度量模型的软件可靠性举证的应用过程
3.4.3 基于缺陷防控模型的软件可靠性举证的应用过程
3.4.4 基于“4+1”准则的软件可靠性举证的应用过程
本章小结
参考文献
第4章 软件保密性举证方法
4.1 软件保密性举证的基础知识
4.1.1 软件保密性的相关概念
4.1.2 软件保密性举证的概念
4.2 软件保密性举证框架及基于GSN的软件保密性举证的论证模式
4.2.1 软件保密性举证框架的结构
4.2.2 软件保密性举证框架的基本论证原理
4.2.3 软件保密性举证框架的论证结构
4.2.4 软件保密性举证框架的实例化方法
4.3 应用实例
本章小结
参考文献
第5章 软件可信性举证方法
5.1 软件可信性举证的基础知识
5.1.1 软件可信性的相关概念
5.1.2 软件可信性举证的相关研究
5.2 基于GSN的软件可信性举证框架及论证模式
5.2.1 基于GSN的软件可信性举证框架
5.2.2 基于GSN的软件可信性举证的论证模式
5.2.3 软件可信性举证框架的实例化规则
5.3 应用实例
5.3.1 实例软件简介
5.3.2 举证实例构建方案
5.3.3 举证实例构建过程
本章小结
参考文献
第6章 基于非形式逻辑理论的软件保证举证信心评定方法
6.1 软件保证举证信心评定方法的理论基础
6.1.1 非形式逻辑
6.1.2 图尔敏论证模型的论证评价
6.1.3 贝叶斯网络
6.2 软件保证举证信心评定方法
6.2.1 保证举证树形结构到图尔敏论证模型的转化
6.2.2 图尔敏论证模型的软件保证举证定性评价
6.2.3 图尔敏论证模型的软件保证举证定量评价
6.3 应用实例
6.3.1 应用过程
6.3.2 应用分析
本章小结
参考文献
展开
