新書推薦：
《
与自闭症儿子同行 3：为了工作，加油
》
售價：HK$
53.9
《
休谟的政治哲学（增订版）
》
售價：HK$
129.8
《
匠心铸梦：江南造船与中国首批万吨轮的创世传奇（汉英对照版）
》
售價：HK$
165.0
《
书法字典
》
售價：HK$
74.8
《
拯救乳房：乳腺癌患者生活指南
》
售價：HK$
75.9
《
scikit-learn机器学习超入门
》
售價：HK$
76.8
《
艾博士：深入浅出人工智能（第2版）
》
售價：HK$
109.8
《
无处不在的算法（双色版）
》
售價：HK$
97.9
|
| 編輯推薦： |
本书通过严谨、简明的预备知识介绍，有的放矢地为读者梳理软件可靠性分析中设涉及的数学知识，侧重于软件可能性分析实路应用，通过基本原理与实践案例的结合，系统介绍钦件可靠性分折、建模、设计、测试等概念和方法，提高读者的兴趣，降低入门的难度。
本书针对当前复杂装备软件开发技术特点，以提高嵌入式软件、网络化软件、面向服务的软
件系统以及云计算系统为代表的复杂软件系统可靠性为目标，从理论和应用两个角度深入讲解，旨在加强基础研兖和前沿技术研究能力培养，增加技术储备，为推动国防科技创新发展提供重要支撑，助力国防特色学科建设，培养国防军工行业持色创新型人才。
本书能多普惠更多希望学习和应用软件可靠性分析技术的学生及工程技术人员，让他们掌握软仵可靠性分析方法，井能灵活地用于解决实际问题。
|
| 內容簡介： |
本书紧扣复杂软件系统可靠性（简称软件可靠性）分析与应用新技术，从软件可靠性的数学
來源：香港大書城megBookStore,http://www.megbook.com.hk
基础和基本概念出发，重点介绍软件失效机理与故障传播分析、软件可靠性增长模型、数据驱动
的软件可靠性模型以及软件可靠性建模、可靠性分析、可靠性设计、可靠性测试与验证、可靠性
工程等主题。全书共11 章，主要内容包括软件可靠性基本概念、软件可靠性分析的数学基础、软
件失效机理分析与故障传播分析、软件可靠性增长模型、数据驱动的软件可靠性模型、软件可靠
性建模技术、软件可靠性分析技术、软件可靠性设计方法、软件可靠性测试与验证技术、软件可
靠性工程。
本书内容全面、系统，具有较强的工程适用性。本书适合作为计算机科学与技术、软件工程、
数学与应用数学、统计学、系统工程、工业工程等专业本科生、研究生相关课程教材，也可供复
杂装备、可靠性工程、软件工程、统计、安全工程、军用软件等相关领域人员参考。
|
| 關於作者： |
|
张德平，博士，南京航空航天大学硕士生导师。2000年7月进入南京航空航天大学工作，主要从事软件可靠性、软件工程、软件项目管理与维护、计算统计学等课程的教学与科研工作。主要研究方向为软件可靠性、人工智能与大数据分析、算法设计与数学建模。已在国内外期刊和学术会议上发表论文40多篇，出版研究生教材2本，专著2本；获得授权发明专利5项。主持参与国防基础重点项目2项；装备预先研究项目4项，横向课题多项。
|
| 目錄：
|
第1 章绪论. 1
1.1 软件可靠性研究与实践的意义 1
1.2 复杂装备系统中软件可靠性技术应用趋势. 3
1.3 习题. 4
第2 章软件可靠性基本概念. 5
2.1 软件可靠性的度量指标 5
2.1.1 软件可靠性的定义 5
2.1.2 常见软件可靠性度量指标 7
2.1.3 装备系统软件可靠性指标 10
2.2 软件可靠性建模方法. 11
2.2.1 软件可靠性建模思想 11
2.2.2 软件可靠性建模过程 12
2.2.3 软件可靠性建模基本问题 13
2.2.4 软件可靠性模型的概念及特点. 13
2.3 影响软件可靠性的因素 14
2.4 软件失效数据 17
2.4.1 软件失效数据分类 17
2.4.2 当前失效数据存在的不足与建议 19
2.5 软件可靠性模型分类. 20
2.6 习题. 21
第3 章软件可靠性分析的数学基础 23
3.1 随机变量及其分布. 23
3.1.1 连续型随机变量及其分布 23
3.1.2 离散型随机变量及其分布 31
3.2 随机过程. 34
3.2.1 马尔可夫过程. 35
3.2.2 泊松过程 42
3.3 参数估计方法 45
3.3.1 最大似然估计. 46
3.3.2 最大后验估计. 47
3.3.3 贝叶斯估计. 48
3.3.4 最小二乘法. 49
3.4 习题 52
第4 章软件失效机理与故障传播分析 54
4.1 软件失效机理分析. 54
4.2 软件故障传播分析. 58
4.2.1 基于程序内部的故障传播分析. 59
4.2.2 基于组件的故障传播分析. 66
4.2.3 网络化软件故障传播分析. 77
4.3 习题 81
第5 章软件可靠性增长模型. 83
5.1 经典软件可靠性增长模型. 83
5.1.1 JM 模型. 84
5.1.2 GO 模型. 86
5.1.3 MO 模型 88
5.1.4 Inflection S 形模型 89
5.2 NHHP 类软件可靠性增长模型. 90
5.2.1 软件可靠性增长模型建模过程. 90
5.2.2 影响SRGM 的关键参数因素分析. 92
5.2.3 统一的SRGM 框架模型. 93
5.3 习题 96
第6 章数据驱动的软件可靠性模型. 98
6.1 数据驱动的软件可靠性模型框架. 98
6.2 基于时间序列的软件可靠性模型 101
6.2.1 基于ARIMA 的可靠性模型 101
6.2.2 基于灰色理论的可靠性模型. 104
6.3 基于智能算法的软件可靠性模型 106
6.3.1 基于BP 神经网络的软件可靠性模型. 107
6.3.2 基于支持向量回归的软件可靠性模型 111
6.4 软件可靠性组合模型. 117
6.4.1 软件可靠性组合模型构建 117
6.4.2 基于时间序列分解与重构的软件可靠性混合模型 119
6.5 习题. 135
第7 章软件可靠性建模技术 137
7.1 基于体系结构的软件可靠性建模分析. 137
7.1.1 基于马尔可夫链的组件化系统可靠性建模分析. 137
7.1.2 基于Petri 网的体系结构软件可靠性建模分析 144
7.2 面向服务的软件可靠性建模分析 161
7.2.1 面向服务架构的软件可靠性模型. 161
7.2.2 数据驱动的SOA 软件可靠性建模分析. 165
7.3 网络化软件可靠性建模分析. 170
7.4 云计算系统可靠性建模分析. 173
7.4.1 云计算系统可靠性定义. 174
7.4.2 影响云计算系统可靠性的因素 175
7.4.3 云计算系统的可靠性模型 178
7.4.4 云服务系统的可靠性模型 180
7.5 习题. 182
第8 章软件可靠性分析技术 184
8.1 软件故障树分析（SFTA）技术 184
8.1.1 故障树基本概念. 184
8.1.2 故障树的构建与规范化. 187
8.1.3 基于故障树的可靠性分析 193
8.2 软件失效模式与影响分析 202
8.2.1 软件失效的软划分 203
8.2.2 软件SFMEA 分析方法. 205
8.2.3 实例分析. 211
8.3 习题. 213
第9 章软件可靠性设计方法 218
9.1 常规软件可靠性设计. 218
9.1.1 软件避错设计 219
9.1.2 软件查错设计 226
9.1.3 软件纠错设计 232
9.1.4 软件容错设计 233
9.2 嵌入式软件可靠性设计 242
9.2.1 嵌入式软件的特点和相关设计准则. 242
9.2.2 嵌入式软件可靠性设计方法. 244
9.3 面向服务的软件可靠性设计. 247
9.3.1 软件服务模式 247
9.3.2 面向服务的软件可靠性设计流程. 248
9.3.3 服务模式划分与可靠性设计. 249
9.3.4 面向服务的软件可靠性设计方法. 250
9.4 云计算系统可靠性设计 257
9.4.1 云计算系统可靠性设计原则. 257
9.4.2 云计算系统可靠性设计方法. 257
9.5 习题. 266
第10 章软件可靠性测试与验证技术 269
10.1 软件可靠性测试的基本概念与特点 269
10.1.1 软件可靠性测试的基本概念. 269
10.1.2 软件可靠性测试的特点 271
10.1.3 软件可靠性测试技术 272
10.1.4 软件可靠性测试的类型 273
10.1.5 软件可靠性增长测试方法 274
10.1.6 两种软件可靠性增长测试方法比较. 280
10.2 软件可靠性验证测试技术. 281
10.2.1 固定期软件可靠性验证测试. 282
10.2.2 非固定期软件可靠性验证测试. 286
10.2.3 软件可靠性验证测试方法在装备软件中的应用. 288
10.3 习题 298
第11 章软件可靠性工程. 299
11.1 软件可靠性工程的定义和过程 299
11.2 软件可靠性工程的活动分析. 300
11.2.1 软件可靠性工程过程与开发过程的关系 301
11.2.2 软件可靠性工程活动之间的联系 302
11.3 数据驱动的软件可靠性工程过程模型. 304
11.3.1 软件可靠性工程过程中的工作流定义. 304
11.3.2 软件可靠性工程过程模型的工作流元素定义. 304
11.3.3 数据驱动的软件可靠性工程过程模型. 305
11.3.4 融入可靠性分析与设计的软件研制过程 307
11.4 军用软件质量与可靠性管理方法 307
11.4.1 软件开发全过程工程化管理. 307
11.4.2 分阶段的质量管理和控制 309
11.5 习题 312
参考文献. 313
|
| 內容試閱：
|
党的二十大报告提出要加快武器装备现代化，更加凸显了武器装备在现
代战争中的重要地位，对于全面开创武器装备建设新局面、确保如期实现建
军一百年奋斗目标具有重大现实意义。软件作为军用装备的重要组成部分，
在功能实现上具有关键作用。但由于我国软件研制能力水平不高，软件可靠
性已成为制约武器装备发展和发挥效能的瓶颈。
随着人工智能、大数据等技术的广泛应用，装备软件的规模和复杂度不
断增加，软件边界日渐模糊化，其可靠性越来越难以保证，软件可靠性问题
也越来越突出，也给现有的软件可靠性理论和方法带来了新的挑战。一方面，
需求的不断增加使得软件规模和设计的复杂性急剧提高，导致软件高可靠性
面临挑战；另一方面，随着应用领域的拓展，与其交互的外在环境愈加复杂
和恶劣，而对软件乃至整个系统的可靠性要求却越来越高。同时，与硬件可
靠性技术的飞速发展相比，软件可靠性技术的发展相对滞后，这种发展的不
均衡性导致软件可靠性成为影响整个系统可靠性进一步提高的瓶颈。
在军用、航空航天等应用领域，一些大型装备设备的控制核心功能大都
由软件完成。可想而知，如果这些软件失效，将对生活、生产带来很大的不
便或造成重大财产损失，特别是其中某些关键操作或功能失效，会给国家利
益和人民生命财产造成巨大的损失。因此，从20 世纪80 年代开始，学术界和
工业界就开始对软件可靠性进行研究和应用，在软件可靠性早期预计、分析、
设计、测试、评估等多方面提出了一系列理论和方法以保障软件可靠性。深
入研究软件可靠性工程，特别是针对复杂软件可靠性工程，对于整个军用装
备领域具有十分重要的意义。
目前大多数软件可靠性工程相关图书无法满足基于人工智能、大数据、
面向服务等新技术的复杂软件产品可靠性分析与建模的需要，特别是复杂装
备软件可靠性分析的需要。本书紧扣复杂软件可靠性分析与应用新技术，从
软件可靠性数学基础和可靠性基本概念出发，重点介绍软件失效机理与故障
传播分析、软件可靠性增长模型、数据驱动的软件可靠性模型以及软件可靠
性建模、可靠性分析、可靠性设计、可靠性测试与验证、可靠性工程等主题。
本书适合作为计算机科学与技术、软件工程、数学与应用数学、统计学、系统工程、工
业工程等专业的本科生、研究生一学期的软件可靠性分析课程教材，也可供复杂装备、可
靠性工程、软件工程、统计、安全工程、军用软件等相关领域的工作者与研究者参考。
编者
2025 年2 月
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
