《航天型号软件测试》求取 ⇩

第1章基本概论1

1.1什么是软件测试2

1.1.1 软件测试的认识的发展2

1.1.2 广义的软件测试7

1.2 软件测试的意义8

1.3软件测试原则11

1.3.1 Myers的基本原则11

1.3.2 软件测试的独立性原则15

1.3.3 软件测试完成准则16

1.3.4 软件的测试性18

1.4 软件测试的基本原理和理论基础19

1.5 软件测试的分类21

1.6软件错误24

1.6.1 几个概念——错误、缺陷、故障、失效24

1.6.2 研究软件错误的目的25

1.6.3 软件错误分类和分级26

1.6.4 程序错误数量估计29

1.7当前航天型号软件测试的认识30

1.7.1 航天型号软件测试特点31

1.7.2 目前的状况33

1.7.3 航天型号软件测试的定位34

1.7.4 几个基本认识问题36

第2章软件测试技术40

2.1静态测试技术40

2.1.1 静态测试技术特点40

2.1.2 代码审查43

2.1.3 代码走查47

2.1.4 静态分析47

2.1.5 静态分析工具59

2.2动态测试技术63

2.2.1 动态测试技术特点63

2.2.2 黑盒测试和白盒测试64

2.2.3 黑盒测试67

2.2.4 白盒测试79

2.3其它测试技术介绍94

2.3.1 程序变异94

2.3.2 域测试96

2.3.3 符号求值100

2.3.4 程序插装101

2.3.5 统计测试103

2.3.6 程序正确性证明和形式化方法103

2.3.7 测试用例设计综合策略105

2.4动态测试工具106

2.4.1 动态分析工具106

2.4.2 程序插装器（Program Instrumenter）107

2.4.3 测试数据生成器（Test Data Generator）108

2.4.4 符号计值（Symbolic Evaluator）109

2.4.5 变异测试（Mutation Testing）工具110

2.4.6 测试辅助支持工具110

2.5通用软件测试工具介绍111

2.5.1 计算机辅助软件测试器（CAST）112

2.5.2 Purify和PureCoverage113

2.5.3 C语言测试工具C-Tester114

第3章嵌入式软件测试115

3.1 嵌入式软件特点115

3.2 嵌入式软件测试特点及基本对策116

3.3全数字仿真技术121

3.3.1 全数字仿真技术内容122

3.3.2 全数字仿真技术的目的和意义123

3.3.3 全数字仿真技术应用缺点与局限性126

3.4 嵌入式软件测试环境128

3.5嵌入式软件测试工具及使用131

3.5.1 工具的功能特性132

3.5.2 工具的使用134

3.6例子136

3.6.1 软件应用和设计背景136

3.6.2 支撑硬件和软件137

3.6.3 单元测试138

3.6.4 组装测试139

3.6.5 系统测试140

第4章软件测试的步骤142

4.1 多层过滤软件测试方法144

4.2单元测试144

4.2.1 单元测试的特点和意义145

4.2.2 单元测试的内容145

4.2.3 单元测试方法和步骤149

4.3组装测试153

4.3.1 组装测试的意义和特点153

4.3.2 组装测试的内容154

4.3.3 组装测试策略159

4.3.4 组装测试的技术手段171

4.4确认测试173

4.4.1 确认测试的任务和特点173

4.4.2 确认测试的内容175

4.4.3 确认测试的技术方法183

4.5系统联试198

4.5.1 系统联试的特点和意义198

4.5.2 系统联试的内容200

4.5.3 系统联试技术手段203

4.6回归测试203

4.6.1 回归测试的特点和意义203

4.6.2 回归测试的内容204

4.6.3 回归测试的技术手段204

4.6.4 回归测试的工作步骤212

4.7可靠性测试213

4.7.1 软件可靠性测试的定义与目的213

4.7.2 软件可靠性测试的特点213

4.7.3 软件可靠性测试的效果215

4.7.4 软件可靠性测试的基本条件216

4.7.5 软件可靠性测试步骤217

4.8独立测试220

4.8.1 独立测试的概念和意义220

4.8.2 独立测试的工作内容222

4.8.3 独立测试的组织223

4.8.4 建设航天型号软件评测体系224

第5章软件测试流程及软件测试文档226

5.1软件测试流程226

5.1.1 制定测试计划227

5.1.2 编制测试说明229

5.1.3 执行测试计划231

5.1.4 评价测试效果和被测试的软件234

5.2软件测试文档236

5.2.1 测试文档的作用236

5.3.2 测试文档的类型238

5.3.3 测试文档的编制238

5.3.4 测试计划239

5.3.5 测试说明243

5.3.6 测试报告246

5.3.7 静态测试文档249

第6章软件测试管理250

6.1测试组织250

6.1.1 单元测试的组织250

6.1.2 组装测试的组织251

6.1.3 确认测试的组织252

6.1.4 落实责任，加强管理254

6.2 测试质量管理255

6.3 测试进度和资源管理258

6.4 测试文档管理261

6.5 测试工作数据积累262

第7章航天型号软件测试实例及要点264

7.1 被测软件背景264

7.2测试情况265

7.2.1 静态分析265

7.2.2 代码审查266

7.2.3 单元测试268

7.2.4 确认测试269

7.2.5 系统联试271

7.3 测试体会272

7.4航天型号软件测试要点273

7.4.1 指导思想273

7.4.2 技术手段276

7.4.3 工作模式278

7.4.4 管理保证280

参考文献282