《软件工程 设计、可靠性和管理》求取 ⇩

第一章引言1

1.1问题所在1

1.1.1 看来功能无穷的计算机1

1.1.2 数字电子技术的发展3

1.1.3 程序人员是科学家，是工程师，还是艺术家?4

1.1.4 缺乏程序工程和设计技术5

1.1.5 根深蒂固的计算机硬件的经营管理思想6

1.2问题的严重性6

1.2.1 软件代价高6

1.2.2 软件错误的影响8

1.2.3 软件修改和软件维护问题10

1.2.4 我们能软件标准化吗?11

1.2.5 本世纪最后廿年内的计算机行业12

1.3我们是怎样处理问题的?13

1.3.1 对问题的认识13

1.3.2 新方法和新技术14

1.4将来的希望15

1.4.1 已经改进的语言和工具15

1.4.2 扩大新方法的应用16

1.4.3 程序证明和自动化程序设计16

1.5各章概述17

1.5.1 设计17

1.5.2 复杂性17

1.5.3 测试18

1.5.4 可靠性18

1.5.5 管理18

问题19

参考文献精选22

教科书22

期刊和杂志24

第二章程序设计工具和技术25

2.1介绍25

2.1.1 设计过程的特点25

2.1.2 合成与迭代26

2.1.3 现代设计技术26

2.2“自顶向下”和“自底向上”设计28

2.2.1 引言28

2.2.2 设计原理和原则28

2.2.3 例子：一个字处理系统31

2.3设计表示法34

2.3.1 引言34

2.3.2 流程图35

2.3.3 伪代码40

2.3.4 HIPO图42

2.3.5 华纳-欧尔图45

2.3.6 受推荐的设计表示技术48

2.4结构程序设计49

2.4.1 引言49

2.4.2 结构程序设计的规则49

2.4.3 结构设计的一些例子51

2.4.4 结构程序设计技术59

2.4.5 结构程序设计的优缺点62

2.4.6 各种语言的结构程序设计64

2.4.7 程序证明68

2.5数据定向设计技术70

2.5.1 引言70

2.5.2 数据流程图71

2.5.3 例子：工资单程序的数据流程图75

2.5.4 其他技术77

2.6模块设计78

2.6.1 引言78

2.6.2 模块的耦合和加强78

2.6.3 模块程序设计的优缺点80

2.6.4 模块接口的规范81

2.7程序设计方法83

2.7.1 自动化程序设计83

2.7.2 冗余程序设计83

2.7.3 程序设计的风格84

2.7.4 防错性程序设计87

2.8语言实施的影响问题89

2.8.1 引言89

2.8.2 用高级语言与汇编语言来进行程序设计90

2.8.3 语言对可靠性和生产率的影响比较95

2.8.4 语言的标准96

2.9软件工具97

2.9.1 引言97

2.9.2 软件开发设施99

2.10 小结100

问题101

第三章复杂性、存贮及处理时间分析115

3.1引论115

3.1.1 软件开发阶段的分析115

3.1.2 定量度量的必要性117

3.2复杂性度量117

3.2.1 复杂性度量的类型117

3.2.2 复杂性的启发式变量118

3.2.3 指令计数119

3.2.4 研究程序复杂性的一种统计方法120

3.2.5 自然语言的Zipf定律121

3.2.6 广义Zipf定律126

3.2.7 Zipf定律应用于计算机语言128

3.2.8 在设计开始时估计语言符号的长度134

3.2.9 和“软件物理”的关系135

3.2.10 复杂性作为错误数目和开发时间的函数143

3.2.11 图论的复杂性度量150

3.3存贮量需求155

3.3.1 引言155

3.3.2 对一个数据受限例子的存贮分析157

3.3.3 预测157

3.3.4 存贮量限制对于程序开发的影响159

3.4处理时间160

3.4.1 引言160

3.4.2 算法复杂性160

3.4.3 算法处理时间分析161

3.4.4 分析和预测164

3.5 小结166

问题167

第四章程序测试173

4.1引论173

4.1.1 测试的重要性173

4.1.2 测试的范围174

4.1.3 与可靠性、设计、以及管理的相互作用176

4.1.4 测试的多样性178

4.1.5 测试术语的定义178

4.2关于测试过程的统计学178

4.2.1 引言178

4.2.2 测试的时数179

4.2.3 发现和改正时间180

4.2.4 困难性与时间180

4.3测试的原理和类型183

4.3.1 引言183

4.3.2 模块测试183

4.3.3 综合测试183

4.3.4 自顶向下测试与自底向上测试183

4.3.5 混合测试185

4.3.6 回归测试187

4.4测试方法的比较187

4.4.1 引言187

4.4.2 各种方法的特点188

4.4.3 方法的比较188

4.5排错188

4.5.1 引言188

4.5.2 排错技术191

4.5.3 排错策略191

4.5.4 编译程序诊断194

4.6测试的图模型194

4.6.1 引言194

4.6.2 图的覆盖和路径195

4.6.3 路径测试196

4.6.4 路径的数目196

4.6.5 程序路径与图路径202

4.7测试数据的选取206

4.7.1 引言206

4.7.2 实用测试207

4.7.3 产生测试数据的准则210

4.8穷举测试213

4.8.1 引言213

4.8.2 可能的错误源213

4.8.3 穷举测试213

4.8.4 穷举测试的不可处理性214

4.8.5 一个附加的测试维214

4.9模拟、情景、和运行测试215

4.9.1 引言215

4.9.2 模拟215

4.9.3 情景测试215

4.9.4 运行测试216

4.9.5 模拟运行混合测试216

4.9.6 其它有关测试217

4.10测试的分类217

4.10.1 引言217

4.10.2 分类原理217

4.10.3 完全性和连续性检查——0型218

4.10.4 执行所有图路径——1型218

4.10.5 执行所有程序路径——2型220

4.10.6 穷举测试——3型和4型220

4.11 小结221

问题221

第五章软件可靠性227

5.1 引言227

5.2软件可靠性概念227

5.2.1 概率模型和确定性模型227

5.2.2 故障模式229

5.2.3 随机取样间隔229

5.3可靠性理论229

5.3.1 可靠性数学229

5.3.2 故障率230

5.3.3 软件可靠性定义232

5.4软件修复和软件有效性概念233

5.4.1 引言233

5.4.2 停机时间233

5.4.3 软件修复233

5.4.4 软件有效性定义234

5.5软件错误和故障235

5.5.1 引言和定义235

5.5.2. 错误、规范修改和纠错236

5.5.3 新旧错误237

5.5.4 错误分类和起因238

5.5.5 数据收集实验239

5.6估算一个计算机程序的差错数244

5.6.1 引言244

5.6.2 除错数据245

5.6.3 累积错误和错误率模型250

5.6.4 残留错误数ET的估算254

5.6.5 排错期内的错误生成258

5.7可靠性模型265

5.7.1 引言265

5.7.2 随机模型267

5.7.3 差错——比例（宏）模型268

5.7.4 其他宏模型272

5.7.5 可靠性实验数据275

5.7.6 宏模型常数的估算276

5.7.7 二项式错误模型282

5.7.8 结构（微）模型283

5.8有效性模型288

5.8.1 引言288

5.8.2 基本多态马尔柯夫模型288

5.8.3 系统有效性表示式289

5.8.4 多态马尔柯夫模型的解290

5.8.5 多态马尔柯夫模型Ⅰ和Ⅱ的求解结果292

5.8.6 近拟求解法293

5.8.7 模型的推广294

5.9数据收集、存贮和检索295

5.9.1 引言295

5.9.2 软件数据收集中的问题295

5.9.3 两个术语失真的例子296

5.9.4 硬件可靠性的数据收集史——与软件领域的类似和差别297

5.9.5 数据库作为研究工具使用298

5.9.6 特殊类型的存贮数据298

5.9.7 多级存贮299

5.10 小结300

问题301

第六章管理技术306

6.1引言306

6.1.1 对软件开发方法学的要求306

6.1.2 企业内和企业外的软件开发307

6.1.3 质量保证309

6.1.4 生存周期的管理309

6.1.5 本章要点310

6.2需求、规范和初期设计310

6.2.1 软件合同的签订310

6.2.2 软件需求312

6.2.3 软件规范314

6.2.4 实例315

6.3对性能、可靠性和质量的度量317

6.3.1 性能的度量317

6.3.2 可靠性320

6.3.3 质量度量法321

6.4成本估计326

6.4.1 引言326

6.4.2 每条指令的开发成本327

6.4.3 成本估计模型329

6.4.4 理论上的优点与实际中的困难335

6.4.5 几种成本模型的比较336

6.4.6 奖惩型成本模型和担保型成本模型338

6.5对系统开发过程的管理340

6.5.1 基本观点和方法340

6.5.2 里程碑和等时线340

6.5.3 设计、质量和管理标准342

6.5.4 人——程序员或经理都是系统中的一个单元344

6.5.5 修改控制347

6.5.6 人力和计算机资源的调度模型348

6.5.7 生产率和程序大小规模之间的关系354

6.5.8 设计审查356

6.5.9 示范和验收测试357

6.6软件的维护359

6.6.1 引言359

6.6.2 文档359

6.6.3 维护费用模型361

6.6.4 正在发展中的动态模型363

6.7已有的成就364

6.7.1 引言364

6.7.2 SAGE空防系统364

6.7.3 SAFEGUARD反弹道导弹系统（ABM系统）366

6.7.4 SABRE航空公司订票系统369

6.7.5 MULTICS分时系统372

6.7.6 UNIX操作系统374

6.8 结论377

问题378

附录A 概率论概要381

附录B 可靠性理论概要410

附录C 图论概要449