随着科学技术的发展,特别是近20年来,各项技术取得了突破性的进展,使得现代的各种系统朝着综合化、信息化的方向迅猛发展,导致系统变得越来越复杂。这种复杂性不仅体现在系统的结构和规模上,还体现在系统的动态特性、工作条件和功能层次上。这使得对系统可靠性进行研究变得越来越困难。本书主要针对软硬件综合系统,从系统的软件需求建模及可靠性综合试验、分析、评价技术等方面展开研究,所研究的工作具有重要的理论和应用价值,有助于指导软硬件综合系统的设计、维护,并为其进一步完善奠定基础。本书适合从事软件可靠性、软硬件综合系统可靠性研究的相关技术人员阅读,也可供高校教师和研究生参考。
内容简介
前言
第1章 绪论
1.1 可靠性理论的发展
1.2 几个基本概念
1.3 常规可靠性的数学表征
1.4 软件工程与软件可靠性
1.5 传统系统可靠性建模与分析
1.6 软硬件综合系统可靠性
1.7 确信可靠度
参考文献
第2章 软件缺陷、故障及失效
2.1 几个基本概念
2.2 软件缺陷分类
2.3 已有软件缺陷分类法的不足
参考文献
第3章 软件测试
3.1 静态测试技术
3.2 动态测试技术
3.3 软件可靠性测试
参考文献
第4章 软件缺陷模式及软件需求缺陷模式
4.1 软件缺陷模式定义及场景的产生
4.2 软件需求缺陷模式定义及场景的产生
4.3 软件需求缺陷模式实例
参考文献
第5章 软件需求缺陷模式本体表示
5.1 本体概述
5.2 领域相关软件需求缺陷模式本体表示
参考文献
第6章 多本体需求知识框架的建立
6.1 基于面向对象本体方法
6.2 知识模型
6.3 软硬件综合系统需求知识本体构建
6.4 实例验证
参考文献
第7章 基于多本体需求知识框架的软件需求抽取
7.1 现有需求抽取过程中存在的问题
7.2 基于多本体的需求抽取
7.3 基于多本体需求抽取案例
参考文献
第8章 可靠性试验
8.1 可靠性试验类型
8.2 可靠性鉴定试验
8.3 传统可靠性试验的不足
参考文献
第9章 软硬件综合系统可靠性综合试验技术
9.1 可靠性试验的任务剖面信息扩充
9.2 软硬件综合系统可靠性综合试验设计
参考文献
第10章 软硬件综合系统可靠性综合试验的软件测试用例优化
10.1 可靠性综合试验中测试用例生成总体方案
10.2 基于CMC的软硬件综合系统状态模型构建
10.3 无约束的软件测试用例优化方法
10.4 带有时间资源约束的软件测试用例优化
参考文献
第11章 软硬件综合系统可靠性分析
11.1 基于HSRN的复杂系统可靠性分析
11.2 基于HSRN的飞控计算机系统可靠性分析
11.3 基于Markov过程的系统可靠性分析
11.4 基于飞行剖面的任务可靠性模型
参考文献
第12章 软硬件综合系统安全性分析
12.1 软件系统安全性分析
12.2 软件系统级FMEA知识本体构建
12.3 软件系统级模糊FMEA
12.4 软硬件综合FMEA
参考文献
第13章 基于确信可靠度的软硬件综合系统可靠性评价
13.1 确信可靠度定义
13.2 软硬件综合系统认知不确定因子的确定
13.3 实例验证
参考文献
