《软件可靠性手册》求取 ⇩

第1章 软件可靠性的内容1

1.1 引言1

1.2 定义1

1.3 可靠性需求的陈述4

1.4 可靠性需求的可达性4

1.5 认证、依据和法定内容6

1.6 基于开发过程的可靠性评估8

1.7 数据收集10

1.8 研究方向12

第2章 软件可靠性设计14

2.1 引言14

2.2 形式化系统的规格说明19

2.3 面向对象的设计20

2.4 一个面向对象设计的实例26

2.5 面向对象的实现34

2.6 小结37

2.7 进一步阅读的资料38

第3章 提高软件可靠性的形式化方法40

3.1 引言40

3.2 形式化方法40

3.3 规格说明的本质41

3.4 形式化方法和可靠性43

3.5 几种主要的形式化方法45

3.6 形式化方法的现代应用54

3.7 有效使用形式化方法的重要领域56

3.8 前景和结论62

3.9 进一步阅读的资料63

第4章 软件容错64

4.1 引言64

4.2 软件容错概述64

4.3 关于软件容错的实现框架68

4.4 应用Ada语言异常处理功能的鲁棒软件70

4.5 N-版本程序设计73

4.6 恢复程序块75

4.7 N-版本程序设计与恢复程序块的比较79

4.8 N-版本程序设计与恢复程序块的实际应用81

4.9 小结82

第5章 检错与纠错84

5.1 引言84

5.2 生存周期的观点84

5.3 一般原理86

5.4 贯穿生存周期的检错与纠错90

5.5 进一步阅读的资料100

第6章 软件可靠性增长模型102

6.1 引言102

6.2 软件故障过程的概念模型102

6.3 软件可靠性预测106

6.4 软件可靠性增长模型107

6.5 模型应用范例108

6.6 对过去预测准确性的分析方法109

6.7 总结与结论113

第7章 软件项目控制和管理114

7.1 引言114

7.2 项目控制和项目管理115

7.3 建立软件开发过程122

7.4 管理软件开发过程129

7.5 过程定义图134

7.6 风险管理和过程选择148

7.7 生产率、质量和软件开发方法学152

7.8 进一步阅读的资料155

第8章 可靠软件的订购和维护156

8.1 引言156

8.2 软件订购者的作用和职责156

8.3 软件产品开发合同的制订157

8.4 在产品开发和测试过程中订购者涉及到的工作167

8.5 产品交付和订购分析172

8.6 软件维护172

8.7 建立基线174

8.8 相对于基线更改的管理176

8.9 品状态的持续评估和对未来订购的支持179

8.10 小结：订购和维护在实现可靠软件中的作用179

第9章 软件质量管理181

9.1 引言181

9.2 软件质量管理的定义182

9.3 软件质量管理的意义184

9.4 软件质量管理的一般要素188

9.5 过程工程化195

9.6 软件质量管理的三个角度202

9.7 小结216

9.8 进一步阅读的资料216

第10章 软件开发的度量217

10.1 引言217

10.2 术语217

10.3 软件度量的特点及使用218

10.4 实际问题220

10.5 分析的和概念的软件模型225

10.6 度量评价和模型确认225

10.7 贯穿整个生存周期的度量227

10.8 度量值解释指南236

10.9 进一步阅读的资料239

第11章 成本建模及估算240

11.1 引言240

11.2 成本估算242

11.3 成本模型244

11.4 规模估计模型248

11.5 改进成本模型的估算261

11.6 成本估算的风险267

11.7 小结273

第12章 软件工程环境274

12.1 引言274

12.2 环境设施274

12.3 环境结构276

12.4 Ada支持环境281

12.5 CASE工作台282

12.6 引入IPSE284

12.7 环境和可靠性管理286

12.8 小结286

12.9 进一步阅读的资料287

附录：288

附录A 软件可靠性增长模型288

A.1 Jelinski Moranda（JM）模型288

A.2 Bayesian Jelinski-Moranda（BJM）模型289

A.3 Littlewood（L）模型289

A.4 Littlewood Verrall（LV）模型290

A.5 Duane（D）模型291

A.6 Goel-Okumoto（GO）模型291

A.7 Littlewood非齐次泊松过程（LNHPP）模型292

A.8 Musa-Okumoto（MO）模型292

A.9 检测相容偏差的U-图法292

A.10 似然比检测噪声和偏差293

附录B 软件开发过程模型296

B.1 瀑布模型296

B.2 传统生存周期的各阶段298

B.3 开发小组之间的相互关系300

B.4 软件开发活动301

B.5 阶段和开发活动矩阵303

B.6 系统开发中的软件开发306

B.7 软件项目组织结构306

B.8 合同模型307

B.9 软件开发的面向对象过程309

B.10 原型系统309

B.11 渐增式开发311

B.12 定义开发阶段的螺旋式模型312

B.13 Ada过程模型314

B.14 结论316

附录C 软件开发度量及其模型317

C.1 引言317

C.2 选择准则317

C.3 软件科学321

C.4 软件度量323

C.5 量化软件模型345

附录D 软件开发成本模型354

D.1 引言354

D.2 经验因子模型举例355

D.3 约束模型举例370