航天器软件测试技术与实践
目录
**章 软件测试定义1.1 概述1.2 软件测试的基本原则1.2.1 独立性原则1.2.2 尽早开始原则1.2.3 正常异常组合原则1.2.4 可复现原则1.2.5 80-20原则1.2.6 有序原则1.3 基础概念1.3.1 测试目标1.3.2 测试对象1.3.3 测试依据1.3.4 软件缺陷1.4 软件测试的分类1.5 几个容易混淆的概念1.5.1 测试级别1.5.2 测试类型1.5.3 测试项第2章 航天器软件工程概况2.1 航天器软件工程概况2.1.1 概况2.1.2 载人航天工程的软件工程2.1.3 航天器软件分级分类管理2.1.4 软件安全关键等级2.1.5 航天器软件分类2.2 航天器软件研制技术流程的划分2.2.1 沿用软件定义2.2.2 参数修改软件定义2.2.3 少量功能修改软件定义2.2.4 新研软件定义2.2.5 新研软件技术流程2.2.6 沿用软件技术流程2.2.7 参数修改软件技术流程2.2.8 适应性修改软件技术流程2.2.9 确定软件研制技术流程的基本条件2.2.10 针对不同研制技术流程的测试要求第3章 航天器软件测试的基本技术3.1 航天器软件的静态测试3.1.1 自动化静态分析技术3.1.2 代码审查3.1.3 代码走查3.1.4 文档审查3.2 航天器软件的动态测试3.2.1 概述3.2.2 黑盒测试3.2.3 白盒测试第4章 航天器软件测试的几项关键技术4.1 概述4.2 测试覆盖率分析技术4.2.1 基于代码插桩的源代码级测试覆盖率分析技术及实践4.2.2 非插桩的测试覆盖率分析技术及实践4.3 航天器软件测试环境搭建技术4.3.1 基于目标环境的联试环境4.3.2 半实物仿真环境4.3.3 全数字仿真测试环境4.4 堆栈分析技术4.4.1 针对**语言软件的堆栈分析4.4.2 针对汇编语言软件的堆栈分析4.4.3 堆栈分析工具4.5 资源访问冲突分析技术4.5.1 基本技术及分析方法4.5.2 资源访问冲突分析技术要点4.5.3 资源访问冲突分析辅助工具4.6 代码*动影响域分析技术4.6.1 基于代码对需求覆盖的分析技术4.6.2 对代码*动影响分析的技术第5章 航天器软件测试常用工具5.1 测试工具套件LDRATestbed 5.1.1 Testbed 5.1.2 TBRUN 5.1.3 TBvision 5.1.4 TBreq 5.1.5 RT INSIGHT PRO 5.2 静态代码检查工具SpecChecker 5.2.1 SpecChecker采用的核心技术5.2.2 SpecChecker的主要功能5.2.3 SpecChecker的性能指标5.2.4 SpecChecker与同类产品对比分析5.3 单元测试工具SunwiseAUnit 5.3.1 SunwiseAUnitt的主要功能5.3.2 SunwiseAUnit与同类产品的对比分析5.3.3 SunwiseAUnit的主要技术指标5.4 静态代码检查工具QAC 5.4.1 代码自动审查5.4.2 代码质量度量5.4.3 OAC支持的代码标准5.4.4 测试管理功能5.4.5 结构分析能力5.4.6 工具集成5.5 其他测试工具5.5.1 CANTATA 5.5.2 COVERITY和KLOCWORK 5.5.3 CODETEST 5.5.4 OCCoverage第6章 航天器软件测试过程与实践6.1 软件测试基本流程6.2 单元测试6.2.1 单元测试过程6.2.2 单元测试计划6.2.3 单元测试设计6.2.4 单元测试执行6.2.5 单元测试结果分析6.2.6 单元测试实践6.3 组装测试6.3.1 组装测试过程6.3.2 组装测试计划6.3.3 组装测试设计6.3.4 组装测试执行6.3.5 组装测试结果分析6.3.6 组装测试实践6.4 确认测试6.4.1 确认测试策略6.4.2 确认测试过程6.4.3 确认测试策划6.4.4 确认测试设计和实现6.4.5 确认测试执行6.4.6 确认测试总结和分析6.4.7 确认测试实践6.5 第三方独立测试6.5.1 概述6.5.2 第三方独立测试的技术要求6.5.3 第三方独立测试流程6.6 系统测试6.7 回归测试6.7.1 回归测试的方法6.7.2 回归测试的步骤6.7.3 回归测试的测试范围要求6.8 测试发现问题处理流程第7章 航天器软件典型故障案例分析7.1 概述7.2 测试遗漏问题案例7.2.1 汇编语言功能相似指令使用错误案例7.2.2 C语言操作符优先级错误案例7.2.3 中断使用资源访问冲突案例7.2.4 协处理器堆栈溢出案例7.2.5 时序冲突案例7.2.6 编译器及运行环境错误案例7.3 测试发现问题案例7.3.1 静态分析发现问题案例7.3.2 资源访问冲突分析测试发现问题案例7.3.3 堆栈分析发现问题案例7.4 国外航天软件典型故障案例7.4.1 火星极地登陆器软件故障案例7.4.2 太阳神火箭软件故障案例7.4.3 DART航天器软件故障案例附录A 测试文档模板A.1 (单元、组装、确认)测试计划模板A.2 (单元、组装、确认)测试说明模板A.3 (单元、组装、确认)测试报告模板A.4 组装测试说明模板A.5 组装测试报告模板A.6 确认测试说明模板附录 B测**例表参考文献
封面
书名:航天器软件测试技术与实践
作者:候成杰
页数:106
定价:¥50.0
出版社:国防工业出版社
出版日期:2017-06-01
ISBN:9787118113822
PDF电子书大小:54MB 高清扫描完整版