前言

科学技术的飞速发展和新技术革命的兴起，使得现代的各种软硬件系统越来越复杂。这种复杂性涵盖系统的静态结构、动态特性、工作条件和功能层次等多个方面，因此对系统可靠性的研究变得越来越困难。软硬件综合系统通常包含多个功能模块和多层结构。每个模块和层次都由不同的部件或子功能组成，部分部件或子功能的失效并不代表整个系统的失效。同时，系统内子系统间或部件间的关系又较为密切，关联性强，影响因素众多且影响程度不一，因此通常具有比较复杂或特殊的动态特性，如系统失效形式。此外，这类系统的软件密集型发展趋势及伴随而来的自适应行为的凸显，要求系统必须具备在高度动态的工作条件下正常运行的能力。现有研究已经证明工作条件的变化会对系统的可靠性产生不同的影响。这些影响条件既包括温度、湿度和电压等环境条件，也包括操作人员或维修人员的操作、生理状况等人因条件。综上所述，软硬件综合系统承载的信息量越大，其重要性就越髙，应用范围就越广，一旦系统失效，所带来的损失将是巨大的，甚至是灾难性的。如果能够准确、有效地对系统的可靠性进行研究，并在此基础上给出一套切实可行的试验及分析方法，则无论是对正确估计实际系统的性能，还是对进行可靠性增长设计，以及减少投资、降低风险，都具有极为重要的意义。

本书是关于软硬件综合系统软件需求建模及可靠性综合试验、分析、评价技术的著作，全面系统地介绍了可靠性基础理论及可靠性综合试验、分析、评价技术。全书共13章。第1章介绍了可靠性理论的发展、几个基本概念、常规可靠性的数学表征、软件工程与软件可靠性、传统系统可靠性建模与分析、软硬件综合系统可靠性、确信可靠度等内容。第2、3章介绍了软件缺陷、故障及失效的相关内容，以及软件测试技术。第4章介绍了软件缺陷模式及软件需求缺陷模式概念，并对这两个概念的核心三要素，即场景、缺陷和解决方案进行了详细介绍。第5章介绍了软件需求缺陷模式本体表示，包括单叶节点软件需求缺陷模式表示和多叶节点软件需求缺陷模式表示。第6章介绍了多本体需求知识框架的建立。本书基于实践经验，选取软硬件综合系统中的航电系统进行上述框架的建立。该框架由航电系统泛化本体、任务本体、领域本体和应用本体等组成。实例验证部分详细介绍了考虑地理环境因素的无人机飞行控制与管理系统软件需求抽取本体构建及评价过程。第7章介绍了基于多本体需求知识框架的软件需求抽取。这一方法克服了现有方法中存在的需求规约不充分、部分利益相关者参与度不足及需求易变性等问题。案例部分介绍了采用对比实验的方法验证本章提出的基于本体的需求抽取方法的全过程，并验证了该方法的有效性。第8章介绍了可靠性试验，内容包括可靠性试验类型、可靠性鉴定试验及传统可靠性试验的不足。第9章介绍了软硬件综合系统可靠性综合试验技术，内容包括可靠性试验的任务剖面信息扩充、软硬件综合系统可靠性综合试验设计等。第10章介绍了软硬件综合系统可靠性综合试验的软件测试用例优化，内容包括基于CMC的软硬件综合系统状态模型构建和不同情况下的软件测试用例优化技术等。第11章介绍了软硬件综合系统可靠性分析，内容包括用于研究稳态可靠性的基于HSRN的系统可靠性分析和用于研究瞬时可靠性的基于Markov过程的系统可靠性分析，以及基于飞行剖面的任务可靠性模型构建及任务可靠性评估。第12章介绍了软硬件综合系统安全性分析，内容包括一般性的软件系统安全性分析、软件系统级FMEA知识本体构建、软件系统级模糊FMEA、软硬件综合FMEA。实例验证部分介绍了将软件系统级分析方法应用于某型无人机飞行控制与管理系统软件的全过程，并验证了该方法的有效性。第13章介绍了基于确信可靠度的软硬件综合系统可靠性评价。实例验证部分介绍了以某软硬件综合系统的子系统为实验对象进行基于确信可靠度的可靠性评价的全过程，并验证了该方法的有效性。

由此可见，本书内容较为丰富，理论结合实际，实用性强。本书融合了编著者从事可靠性工作近20年的经验和体会，可为广大可靠性专业人员及科技工作者提供参考。

衷心感谢工业和信息化部电子第五研究所的刘杰研究员和纪春阳研究员对本书提出的宝贵意见，同时向为编著本书时提供参考文献的作者表示谢意，向为本书出版发行做了大量工作的电子工业出版社有关领导和同志表示衷心的感谢。

由于编写时间紧，加之编著者经验和知识有限，书中难免有疏漏之处，敬请读者批评指正。

编著者

2021年4月于广州