内容简介

软件可靠性安全性是软件的重要质量特性，特别是对于武器型号软件，软件可靠性安全性是受关注的质量特性，各种分析方法、设计方法、测试方法的理论研究成果很多，但在实际工程应用中遇到了许多实际问题。目前，武器型号软件大多以强化软件可靠性安全性设计准则为主线开展工作，然而设计准则只是软件可靠性安全性多面体的一个侧面，如果没有其它侧面的相辅相成，实际效果往往差强人意。由此，本文提出了以设计准则、典型案例、故障模式、缺陷模式、演示示例五个视角组成的软件可靠性安全性设计全视角知识系统，通过视角间的相互关联索引，构成了立体的全方位的知识体系。

编辑推荐

本书系统地提出了以设计准则、典型案例、故障模式、缺陷模式、演示示例五个视角组成的软件可靠性安全性设计全视角知识系统，通过视角间的相互关联索引，构成了立体的全方位的知识体系。

作者简介

宋晓秋，男，1962年7月出生，博士研究生毕业，现任航天软件评测中心技术负责人，研究员。长期从事软件工程、软件测试、软件可靠性、软件安全性的研究工作和型号软件工程化技术支持工作，承担过多个重点型号的上百项关键软件的评测工作，承担过多项国防预研及基金课题的研究工作，负责过多个军用标准、行业标准、企业标准的编制工作，获中国标准创新贡献奖三等奖一项，获国防科学技术进步二等奖一项，获航天工业总公司科技进步二等奖两项，在多个学术期刊上发表论文六十余篇。

目录

第1章 基础术语与基本概念第2章 配合硬件或系统设计的考虑事项第3章 容错和容失效的设计第4章 借口设计第5章 通信设计第6章 数据安全性设计第7章 中断设计第8章 模块设计第9章 定时、吞吐量和规模的余量设计第10章 防错设计第11章 自检查设计第12章 异常保护设计第13章 软件实现第14章 代码验证第15章 软件工程中可靠性安全性的一般要求附录A 典型案例：软件异常退出的技术分析附录B 软件可靠性安全性设计全视角知识系统附录C 软件可靠性量化指标评估