计算机
类型
可以朗读
语音朗读
213千字
字数
2021-10-01
发行日期
展开全部
主编推荐语
科技进步助推系统复杂性，研究软硬件综合可靠性。
内容简介
随着科学技术的发展，特别是近二十年来，各项技术取得了突破性的进展，使得现代的各种系统朝着综合化、信息化的方向迅猛发展，导致系统变得越来越复杂。这种复杂性不仅体现在系统的结构和规模上，还体现在系统的动态特性、工作条件和功能层次上，这使得对系统可靠性的研究变得越来越困难。本书主要针对软硬件综合系统，从系统的软件需求建模及可靠性综合试验、分析、评价技术等方面展开研究。上述研究工作具有重要的理论与应用价值，也将有助于指导软件密集型系统的设计、维护，并为系统的进一步完善奠定基础。
目录
- 封面
- 版权信息
- 内容简介
- 前言
- 第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 实例验证
- 参考文献
- 反侵权盗版声明
- 封底
展开全部
评分及书评
尚无评分
目前还没人评分
出版方
电子工业出版社
电子工业出版社成立于1982年10月，是国务院独资、工信部直属的中央级科技与教育出版社，是专业的信息技术知识集成和服务提供商。经过三十多年的建设与发展，已成为一家以科技和教育出版、期刊、网络、行业支撑服务、数字出版、软件研发、软科学研究、职业培训和教育为核心业务的现代知识服务集团。出版物内容涵盖了电子信息技术的各个分支及工业技术、经济管理、科普与少儿、社科人文等领域，综合出版能力位居全国出版行业前列。
