计算机软件的可靠性【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

计算机软件的可靠性PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 引言1

目 录1

第二章软件生存期、寿命、失效及可靠性9

2.1概述9

2.2.1要求／规格说明阶段11

2.2软件生存期及影响软件可靠性的因素12

2.2.2设计阶段13

2.2.3实现阶段17

2.2.4检验阶段17

2.2.5维护阶段20

2.2.6小结21

2.3.1故障、错误及失效的术语26

2.3软件的故障、错误及失效26

2.3.2软件故障、错误及失效的定义28

2.3.3软件故障的性质29

2.3.4软件错误分类32

2.4软件可靠性定义及其指标34

2.4.1软件可靠性定义34

2.4.2软件可靠性的主要指标43

第三章软件可靠性工具和技术56

3.1软件要求／规格说明书技术56

3.1.1要求／规格说明书语言57

3.1.2系统模型化和模拟58

3.1.3要求／规格说明书的可追踪性59

3.2软件设计技术60

3.2.1软件设计途径61

3.2.2软件设计审查65

3.2.3软件设计表示方法66

3.2.4自动设计检验70

3.3软件实现技术71

3.3.1 自顶向下和由底向上程序设计71

3.3.2模块程序设计72

3.3.3逐步求精程序设计73

3.3.4 结构化程序设计75

3.3.5容错软件设计81

3.3.6程序设计语言概述82

3.4.1 静态方法90

3.4软件检验技术90

3.4.2测试方法96

3.4.3验收测试103

3.5软件维护技术103

3.5.1预防维护105

3.5.2修改审查106

3.5.3回归测试106

3.5.4错误报告107

3.5.5其他维护技术107

3.6工具和技术的选择108

3.7 计划设计109

3.7.2操作计划设计110

3.7.3后勤计划设计110

3.7.1技术计划设计110

3.8机构组织111

3.8.1软件质量保证机构111

3.8.2产品测试机构112

3.8.3结构管理机构112

3.8.4 主程序员小组113

3.9文件组织114

3.9.1 可靠性计划设计文件114

3.9.2 管理规程115

3.9.3软件测试过程／报告115

3.9.4 支持性文件115

3.10.2 估计测试完成116

3.10预测和规划116

3.10.1 软件可靠性模型化116

第四章软件中的容错技术118

4.1 概述118

4.2适用于描述容错技术的软件模型121

4.3容错软件的定义124

4.4容错的一般方法126

4.4.1 结构冗余126

4.4.2信息冗余130

4.4.3时间冗余130

4.4.4 冗余附加技术132

4.5容错系统的设计过程132

4.6.1错误检测技术134

4.6实现容错软件的技术134

4.6.2错误恢复技术137

4.6.3破坏估计、错误隔离和继续服务143

4.7软件的容错系统结构144

4.7.1最小冗余单元145

4.7.2容错域145

4.7.3软件的容错系统结构举例147

第五章软件可靠性模型和评估155

5.1基本概念155

5.1.1软件的错误尺寸155

5.1.2软件可靠性模型概述156

5.2典型的浴盆曲线模型类157

5.2.1 Born-In模型158

5.2.2 Wear-Out模型163

5.2.3对模型中某些假设的讨论165

5.3 Nelson统计模型166

5.3.1 Nelson统计模型概述166

5.3.2 Nelson统计模型之讨论168

5.4基于输入域的随机模型168

5.5 Markov过程模型170

5.6容错软件可靠性模型和评估172

5.6.1 FTS-GP(V,E)模型和评估172

5.6.2 NVPS模型和评估174

5.7进一步讨论177

5.7.1 Halstead理论概述177

5.7.2测试性能分析与评估179

参考文献182