《计算机软件的可靠性》PDF下载

  • 购买积分:9 如何计算积分?
  • 作  者:郦萌编著
  • 出 版 社:北京:国防工业出版社
  • 出版年份:1988
  • ISBN:7118001937
  • 页数:185 页
图书介绍:

第一章 引言 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