软硬件综合系统软件需求建模及可靠性综合试验、分析、评价技术

软硬件综合系统软件需求建模及可靠性综合试验、分析、评价技术

查阅电子书
手机扫码
  • 微信扫一扫

    关注微信公众号

因版权原因待上架

编辑推荐

科技进步助推系统复杂性,研究软硬件综合可靠性。

内容简介

随着科学技术的发展,特别是近二十年来,各项技术取得了突破性的进展,使得现代的各种系统朝着综合化、信息化的方向迅猛发展,导致系统变得越来越复杂。这种复杂性不仅体现在系统的结构和规模上,还体现在系统的动态特性、工作条件和功能层次上,这使得对系统可靠性的研究变得越来越困难。本书主要针对软硬件综合系统,从系统的软件需求建模及可靠性综合试验、分析、评价技术等方面展开研究。上述研究工作具有重要的理论与应用价值,也将有助于指导软件密集型系统的设计、维护,并为系统的进一步完善奠定基础。

章节目录

封面

版权信息

内容简介

前言

第1章 绪论

1.1 可靠性理论的发展

1.2 几个基本概念

1.3 常规可靠性的数学表征

1.4 软件工程与软件可靠性

1.4.1 软件工程的内涵及目标

1.4.2 软件需求工程及需求抽取

1.4.3 软件可靠性

1.4.4 软件工程与软件可靠性的关系

1.5 传统系统可靠性建模与分析

1.6 软硬件综合系统可靠性

1.7 确信可靠度

参考文献

第2章 软件缺陷、故障及失效

2.1 几个基本概念

2.2 软件缺陷分类

2.2.1 Goel软件缺陷分类法

2.2.2 Thayer软件缺陷分类法

2.2.3 层次化软件缺陷分类法

2.3 已有软件缺陷分类法的不足

参考文献

第3章 软件测试

3.1 静态测试技术

3.2 动态测试技术

3.2.1 动态测试的特点

3.2.2 黑盒测试和白盒测试

3.3 软件可靠性测试

3.3.1 软件可靠性测试概念

3.3.2 软件可靠性测试过程

参考文献

第4章 软件缺陷模式及软件需求缺陷模式

4.1 软件缺陷模式定义及场景的产生

4.1.1 软件缺陷模式定义

4.1.2 软件缺陷模式场景的产生

4.2 软件需求缺陷模式定义及场景的产生

4.2.1 软件需求缺陷模式定义

4.2.2 软件需求缺陷模式场景的产生

4.3 软件需求缺陷模式实例

参考文献

第5章 软件需求缺陷模式本体表示

5.1 本体概述

5.1.1 本体发展历史及定义

5.1.2 本体结构与本体语言

5.1.3 本体类型及建模方法

5.1.4 本体编辑工具

5.1.5 本体集成

5.1.6 本体评价

5.2 领域相关软件需求缺陷模式本体表示

5.2.1 需求模型及环境框架构建

5.2.2 两种情况下的软件需求缺陷模式本体表示

参考文献

第6章 多本体需求知识框架的建立

6.1 基于面向对象本体方法

6.2 知识模型

6.3 软硬件综合系统需求知识本体构建

6.3.1 航电系统简介

6.3.2 航电系统需求知识本体构建方法论

6.3.3 航电系统多本体需求知识框架结构

6.4 实例验证

6.4.1 实验背景

6.4.2 UAV FCMS软件需求抽取本体构建及地理本体构建

参考文献

第7章 基于多本体需求知识框架的软件需求抽取

7.1 现有需求抽取过程中存在的问题

7.2 基于多本体的需求抽取

7.2.1 基于多本体的需求抽取流程

7.2.2 基于多本体需求抽取的优点

7.3 基于多本体需求抽取案例

参考文献

第8章 可靠性试验

8.1 可靠性试验类型

8.2 可靠性鉴定试验

8.2.1 二项试验

8.2.2 序贯试验

8.3 传统可靠性试验的不足

参考文献

第9章 软硬件综合系统可靠性综合试验技术

9.1 可靠性试验的任务剖面信息扩充

9.1.1 基本概念

9.1.2 任务剖面信息扩充

9.2 软硬件综合系统可靠性综合试验设计

9.2.1 单任务剖面匹配及软件可靠性测试剖面设计

9.2.2 软件可靠性测试用例生成

9.2.3 软件可靠性测试用例个数的确定

9.2.4 软件可靠性测试充分性的判定

9.2.5 多任务剖面下软件可靠性测试剖面设计及测试用例生成

参考文献

第10章 软硬件综合系统可靠性综合试验的软件测试用例优化

10.1 可靠性综合试验中测试用例生成总体方案

10.2 基于CMC的软硬件综合系统状态模型构建

10.3 无约束的软件测试用例优化方法

10.4 带有时间资源约束的软件测试用例优化

参考文献

第11章 软硬件综合系统可靠性分析

11.1 基于HSRN的复杂系统可靠性分析

11.1.1 SRN的定义

11.1.2 SRN的层次化

11.1.3 HSRN的度量

11.1.4 HSRN的等效变换

11.1.5 HSRN模型求解

11.2 基于HSRN的飞控计算机系统可靠性分析

11.2.1 余度技术

11.2.2 某型飞机电传主飞控计算机结构

11.2.3 分层混合建模分析

11.3 基于Markov过程的系统可靠性分析

11.3.1 双机热备系统分析

11.3.2 双机热备系统可靠性模型

11.3.3 双机热备系统可靠性分析

11.4 基于飞行剖面的任务可靠性模型

11.4.1 飞行剖面定义

11.4.2 飞行剖面折合系数

11.4.3 可靠性模型

11.4.4 作战飞机任务可靠性评估

11.4.5 考虑内场故障数据的任务可靠性评估

参考文献

第12章 软硬件综合系统安全性分析

12.1 软件系统安全性分析

12.1.1 软件系统的安全性工作

12.1.2 软件系统安全性分析项目

12.2 软件系统级FMEA知识本体构建

12.2.1 软件系统级FMEA过程模型

12.2.2 软件系统级FMEA知识多本体框架

12.2.3 软件系统级FMEA知识本体定义

12.3 软件系统级模糊FMEA

12.3.1 基于软件模块复杂度的风险因子评估

12.3.2 基于熵权和模糊TOPSIS的故障模式评级

12.3.3 实例验证

12.4 软硬件综合FMEA

12.4.1 软硬件综合故障生命周期

12.4.2 软硬件综合故障模式

12.4.3 软硬件综合FMEA本体结构

12.4.4 基于软硬件综合故障(模式)的软件测试用例生成

参考文献

第13章 基于确信可靠度的软硬件综合系统可靠性评价

13.1 确信可靠度定义

13.2 软硬件综合系统认知不确定因子的确定

13.2.1 FMEA应用效果评价

13.2.2 软硬件可靠性综合试验应用效果评价

13.2.3 认知不确定因子的计算

13.3 实例验证

参考文献

反侵权盗版声明

封底

软硬件综合系统软件需求建模及可靠性综合试验、分析、评价技术是2021年由电子工业出版社出版,作者 组编。

得书感谢您对《软硬件综合系统软件需求建模及可靠性综合试验、分析、评价技术》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。

购买这本书

你可能喜欢
FPGA软件测试与评价技术 电子书
本书主要介绍了业内主流FPGA的结构及特点,基于开发流程,介绍了各种测试工具、第三方仿真工具,主要内容包括FPGA开发流程,FPGA软件测试标准、模型和方法,FPGA测试过程中要使用的工具,FPGA软件测试实例分析,以及FPGA软件测试过程与管理。
办公自动化综合案例应用教程 电子书
本书围绕信息化下的高效办公,以任务驱动为方式,培养学生自动化办公的综合能力。主要内容包括:Word中的图文混排、Word中长文档的编排与处理、Excel数据录入与统计、Excel中的数据管理、PowerPoint的综合应用、利用Publisher制作出版物、办公设备的使用、网络办公、多媒体信息的处理、常用工具软件的使用。
Excel金融建模:预测、估值、交易和增长分析 电子书
本书基于Excel 2019编写,将Excel用于金融建模实践,讲解金融从业者需要具备的核心技能。
ASIC设计理论与实践——RTL 验证、综合与版图设计 电子书
本书以一个8位RISCCPU的设计为主线,按照集成电路设计流程,对CPU进分解,从简单计数器模块开始,到寄存器,再到存储控制器,以及CPU状态控制器等,将重点讲授组合逻辑与时序逻辑、阻塞赋值与非阻塞赋值、状态机的设计及验证方法。并通过对其进行逻辑综合和版图设计,内容覆盖了数字集成电路设计全流程。
边做边学——Photoshop+CorelDRAW综合实训教程 电子书
Photoshop和CorelDRAW均是当今流行的图像处理和矢量图形设计软件,被广泛应用于平面设计、包装装潢、彩色出版等诸多领域。本书根据中职学校教师和学生的实际需求,以平面设计的典型应用为主线,通过多个精彩实用的案例,全面细致地讲解如何利用Photoshop和CorelDRAW完成专业的平面设计项目,使学生能够在掌握软件功能和制作技巧的基础上,启发设计灵感,开拓设计思路,提高设计能力。本书配套