航天器软件测试技术与实践PDF电子书下载

第1章 软件测试定义 1

1.1 概述 1

1.2 软件测试的基本原则 1

1.2.1 独立性原则 1

1.2.2 尽早开始原则 1

1.2.3 正常异常组合原则 2

1.2.4 可复现原则 2

1.2.5 80-20原则 2

1.2.6 有序原则 2

1.3 基础概念 2

1.3.1 测试目标 2

1.3.2 测试对象 2

1.3.3 测试依据 3

1.3.4 软件缺陷 3

1.4 软件测试的分类 4

1.5 几个容易混淆的概念 4

1.5.1 测试级别 4

1.5.2 测试类型 4

1.5.3 测试项 5

第2章 航天器软件工程概况 6

2.1 航天器软件工程概况 6

2.1.1 概况 6

2.1.2 载人航天工程的软件工程 6

2.1.3 航天器软件分级分类管理 6

2.1.4 软件安全关键等级 6

2.1.5 航天器软件分类 7

2.2 航天器软件研制技术流程的划分 7

2.2.1 沿用软件定义 7

2.2.2 参数修改软件定义 7

2.2.3 少量功能修改软件定义 7

2.2.4 新研软件定义 7

2.2.5 新研软件技术流程 8

2.2.6 沿用软件技术流程 8

2.2.7 参数修改软件技术流程 8

2.2.8 适应性修改软件技术流程 9

2.2.9 确定软件研制技术流程的基本条件 9

2.2.10 针对不同研制技术流程的测试要求 10

第3章 航天器软件测试的基本技术 12

3.1 航天器软件的静态测试 12

3.1.1 自动化静态分析技术 12

3.1.2 代码审查 15

3.1.3 代码走查 17

3.1.4 文档审查 17

3.2 航天器软件的动态测试 21

3.2.1 概述 21

3.2.2 黑盒测试 21

3.2.3 白盒测试 29

第4章 航天器软件测试的几项关键技术 32

4.1 概述 32

4.2 测试覆盖率分析技术 32

4.2.1 基于代码插桩的源代码级测试覆盖率分析技术及实践 32

4.2.2 非插桩的测试覆盖率分析技术及实践 33

4.3 航天器软件测试环境搭建技术 34

4.3.1 基于目标环境的联试环境 35

4.3.2 半实物仿真环境 35

4.3.3 全数字仿真测试环境 35

4.4 堆栈分析技术 37

4.4.1 针对高级语言软件的堆栈分析 38

4.4.2 针对汇编语言软件的堆栈分析 38

4.4.3 堆栈分析工具 38

4.5 资源访问冲突分析技术 38

4.5.1 基本技术及分析方法 38

4.5.2 资源访问冲突分析技术要点 39

4.5.3 资源访问冲突分析辅助工具 40

4.6 代码更动影响域分析技术 41

4.6.1 基于代码对需求覆盖的分析技术 41

4.6.2 对代码更动影响分析的技术 42

第5章 航天器软件测试常用工具 43

5.1 测试工具套件LDRA Testbed 43

5.1.1 Testbed 43

5.1.2 TBRUN 43

5.1.3 TBvision 43

5.1.4 TBreq 44

5.1.5 RT INSIGHT PRO 44

5.2 静态代码检查工具SpecChecker 44

5.2.1 SpecChecker采用的核心技术 44

5.2.2 SpecChecker的主要功能 44

5.2.3 SpecChecker的性能指标 45

5.2.4 SpecChecker与同类产品对比分析 45

5.3 单元测试工具SunwiseAUnit 46

5.3.1 SunwiseAUnit的主要功能 46

5.3.2 SunwiseAUnit与同类产品的对比分析 47

5.3.3 SunwiseAUnit的主要技术指标 48

5.4 静态代码检查工具QAC 48

5.4.1 代码自动审查 49

5.4.2 代码质量度量 49

5.4.3 QAC支持的代码标准 50

5.4.4 测试管理功能 50

5.4.5 结构分析能力 50

5.4.6 工具集成 50

5.5 其他测试工具 51

5.5.1 CANTATA＋＋ 51

5.5.2 COVERITY和KLOCWORK 51

5.5.3 CODETEST 51

5.5.4 OCCoverage 51

第6章 航天器软件测试过程与实践 52

6.1 软件测试基本流程 52

6.2 单元测试 52

6.2.1 单元测试过程 52

6.2.2 单元测试计划 54

6.2.3 单元测试设计 54

6.2.4 单元测试执行 55

6.2.5 单元测试结果分析 55

6.2.6 单元测试实践 56

6.3 组装测试 57

6.3.1 组装测试过程 57

6.3.2 组装测试计划 59

6.3.3 组装测试设计 59

6.3.4 组装测试执行 59

6.3.5 组装测试结果分析 59

6.3.6 组装测试实践 60

6.4 确认测试 60

6.4.1 确认测试策略 60

6.4.2 确认测试过程 62

6.4.3 确认测试策划 63

6.4.4 确认测试设计和实现 63

6.4.5 确认测试执行 65

6.4.6 确认测试总结和分析 66

6.4.7 确认测试实践 67

6.5 第三方独立测试 70

6.5.1 概述 70

6.5.2 第三方独立测试的技术要求 71

6.5.3 第三方独立测试流程 71

6.6 系统测试 72

6.7 回归测试 72

6.7.1 回归测试的方法 73

6.7.2 回归测试的步骤 73

6.7.3 回归测试的测试范围要求 73

6.8 测试发现问题处理流程 73

第7章 航天器软件典型故障案例分析 75

7.1 概述 75

7.2 测试遗漏问题案例 75

7.2.1 汇编语言功能相似指令使用错误案例 75

7.2.2 C语言操作符优先级错误案例 76

7.2.3 中断使用资源访问冲突案例 77

7.2.4 协处理器堆栈溢出案例 78

7.2.5 时序冲突案例 79

7.2.6 编译器及运行环境错误案例 80

7.3 测试发现问题案例 82

7.3.1 静态分析发现问题案例 82

7.3.2 资源访问冲突分析测试发现问题案例 85

7.3.3 堆栈分析发现问题案例 88

7.4 国外航天软件典型故障案例 89

7.4.1 火星极地登陆器软件故障案例 89

7.4.2 太阳神火箭软件故障案例 89

7.4.3 DART航天器软件故障案例 90

附录A 测试文档模板 91

A.1（单元、组装、确认）测试计划模板 91

A.2（单元、组装、确认）测试说明模板 92

A.3（单元、组装、确认）测试报告模板 93

A.4组装测试说明模板 95

A.5组装测试报告模板 97

A.6确认测试说明模板 98

附录B 测试用例表 105

参考文献 106