作者：王崑声等编著
页数：170
出版社：国防工业出版社
出版日期：2015
ISBN：9787118105797
电子书格式：pdf/epub/txt
内容简介
本书主要面向工业领域嵌入式软件的研发人员和质量保证人员，以指导其开发出安全性较高的嵌入式软件。本书主要包括以下七部分内容：绪论。分析软件安全性的定义，发展现状及现有嵌入式软件安全性保证技术存在的问题。安全关键嵌入式软件开发过程保证体系。 安全关键嵌入式软件需求分析。 安全关键嵌入式软件设计分析。 安全关键嵌入式软件实现。 安全关键嵌入式软件测试。 技术发展的展望。
目录
第1章绪论
1.1嵌入式软件的特征
1.1.1嵌入式计算机控制系统
1.1.2嵌入式软件的特征分析
1.2软件安全性的概念
1.2.1软件失效安全性的概念
1.2.2软件安全性与系统安全性之间的关系
1.2.3软件安全性保证的定义
1.3安全关键嵌入式软件保证技术现状及问题
1.3.1现有嵌入式软件安全性问题案例分析
1.3.2嵌入式软件安全性特征分析
1.3.3嵌入式软件安全性保证技术发展现状
1.4小结
参考文献
第2章安全关键嵌入式软件开发过程保证体系
2.1嵌入式软件安全保证工程
2.2安全关键嵌入式软件安全性保证体系
2.2.1体系构建
2.2.2体系框架剪裁方法
2.2.3嵌入式软件开发过程一致性追踪
2.2.4基于工程实践的安全关键软件检查模型
2.3小结
参考文献
第3章安全关键嵌入式软件需求分析
3.1软件需求分析的定义及嵌入式软件需求分析
3.2嵌入式软件安全需求工程
3.2.1嵌入式软件安全需求分析的必要性
3.2.2软件安全需求工程
3.2.3软件安全性需求提取
3.3嵌入式软件安全需求分析技术
3.3.1软件安全性需求BDA分析技术
3.3.2软件需求分析的形式化分析技术.
3.3.3软件需求中的一致性追踪
3.3.4软件需求检查单
3.4小结
参考文献
第4章安全关键软件设计分析
4.1软件安全性分析设计
4.1.1软件安全性设计原则
4.1.2软件体系结构的安全性设计
4.1.3软件安全关键部件／模块／单元的设计
4.1.4软件容错和容失效的安全性设计
4.1.5软件安全性设计的其他考虑
4.2软件设计产品的安全性分析验证
4.2.1设计产品的安全性分析验证
4.2.2软件需求安全性分析的更新
4.2.3软件需求设计的一致性追踪分析
4.2.4软件设计变更的安全性分析
4.3小结
参考文献
第5章安全关键软件的实现
5.1软件实现的安全编程要求
5.1.1编程语言
5.1.2编程方法
5.1.3编码规范
5.1.4代码复杂性控制
5.1.5代码效率保证
5.2代码的安全性分析验证
5.2.1静态分析
5.2.2单元测试
5.2.3代码审查
5.2.4形式化分析
5.2.5FTA与FMEA分析
5.2.6与设计的一致性追踪分析
5.2.7代码变更的安全性分析
5.2.8运行时错误分析
5.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.2.4基于数据流分析的测试用例生成技术与工具
6.3小结
参考文献
第7章技术发展展望
7.1可信软件需求分析技术发展展望
7.2安全关键软件设计分析技术展望
7.3安全关键软件实现技术展望
7.4.安全测试技术发展展望
参考文献
附录
A1安全关键软件检查模型
A1.1嵌入式软件工程化检查模型
A1.2嵌入式软件测试检查模型
A1.3嵌入式软件安全性专项检查模型
A1.4FPGA安全开发检查模型
A2软件安全需求明细的确定
A2.1设计与开发过程的需求
A2.2系统设计需求
A2.3计算系统环境需求
A2.4自检设计需求
A2.5安全关键计算系统功能保护需求
A2.6接口设计需求
A2.7用户界面
A2.8关键性定时和中断功能
A2.9软件设计与开发需求
A2.10软件维护需求
A2.11软件分析与测试
A2.12特殊软件安全需求
1.1嵌入式软件的特征
1.1.1嵌入式计算机控制系统
1.1.2嵌入式软件的特征分析
1.2软件安全性的概念
1.2.1软件失效安全性的概念
1.2.2软件安全性与系统安全性之间的关系
1.2.3软件安全性保证的定义
1.3安全关键嵌入式软件保证技术现状及问题
1.3.1现有嵌入式软件安全性问题案例分析
1.3.2嵌入式软件安全性特征分析
1.3.3嵌入式软件安全性保证技术发展现状
1.4小结
参考文献
第2章安全关键嵌入式软件开发过程保证体系
2.1嵌入式软件安全保证工程
2.2安全关键嵌入式软件安全性保证体系
2.2.1体系构建
2.2.2体系框架剪裁方法
2.2.3嵌入式软件开发过程一致性追踪
2.2.4基于工程实践的安全关键软件检查模型
2.3小结
参考文献
第3章安全关键嵌入式软件需求分析
3.1软件需求分析的定义及嵌入式软件需求分析
3.2嵌入式软件安全需求工程
3.2.1嵌入式软件安全需求分析的必要性
3.2.2软件安全需求工程
3.2.3软件安全性需求提取
3.3嵌入式软件安全需求分析技术
3.3.1软件安全性需求BDA分析技术
3.3.2软件需求分析的形式化分析技术.
3.3.3软件需求中的一致性追踪
3.3.4软件需求检查单
3.4小结
参考文献
第4章安全关键软件设计分析
4.1软件安全性分析设计
4.1.1软件安全性设计原则
4.1.2软件体系结构的安全性设计
4.1.3软件安全关键部件／模块／单元的设计
4.1.4软件容错和容失效的安全性设计
4.1.5软件安全性设计的其他考虑
4.2软件设计产品的安全性分析验证
4.2.1设计产品的安全性分析验证
4.2.2软件需求安全性分析的更新
4.2.3软件需求设计的一致性追踪分析
4.2.4软件设计变更的安全性分析
4.3小结
参考文献
第5章安全关键软件的实现
5.1软件实现的安全编程要求
5.1.1编程语言
5.1.2编程方法
5.1.3编码规范
5.1.4代码复杂性控制
5.1.5代码效率保证
5.2代码的安全性分析验证
5.2.1静态分析
5.2.2单元测试
5.2.3代码审查
5.2.4形式化分析
5.2.5FTA与FMEA分析
5.2.6与设计的一致性追踪分析
5.2.7代码变更的安全性分析
5.2.8运行时错误分析
5.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.2.4基于数据流分析的测试用例生成技术与工具
6.3小结
参考文献
第7章技术发展展望
7.1可信软件需求分析技术发展展望
7.2安全关键软件设计分析技术展望
7.3安全关键软件实现技术展望
7.4.安全测试技术发展展望
参考文献
附录
A1安全关键软件检查模型
A1.1嵌入式软件工程化检查模型
A1.2嵌入式软件测试检查模型
A1.3嵌入式软件安全性专项检查模型
A1.4FPGA安全开发检查模型
A2软件安全需求明细的确定
A2.1设计与开发过程的需求
A2.2系统设计需求
A2.3计算系统环境需求
A2.4自检设计需求
A2.5安全关键计算系统功能保护需求
A2.6接口设计需求
A2.7用户界面
A2.8关键性定时和中断功能
A2.9软件设计与开发需求
A2.10软件维护需求
A2.11软件分析与测试
A2.12特殊软件安全需求
