简介
《航天型号软件测试》是航天型号软件工程系列丛书之一，系统介绍了航天型号软件测试。全书共7章，分别介绍软件测试的基本概念、测试技术、测试阶段、测试工作流程、测试文档及测试管理，同时突出介绍了嵌入式软件测试的特点及技术，最后介绍了一个具体航天型号软件研制项目的测试工作实例，提出了航天型号软件测试工作要点。全书在介绍软件测试的一般内容基础上，结合航天型号软件研制特点介绍了相应的概念、技术及工作流程，特别介绍了独立测试。
《航天型号软件测试》的主要读者为航天型号软件研制技术人员及承担独立测试的软件评测人员，对于航天型号软件研制及软件评测管理人员也有一定的参考价值。
目录
目录
1.3.3 软件测试完成准则
4.7.4 软件可靠性测试的基本条件
4.7.5 软件可靠性测试步骤
4.8 独立测试
4.8.1 独立测试的概念和意义
4.8.2 独立测试的工作内容
4.8.3 独立测试的组织
4.8.4 建设航天型号软件评测体系
第5章 软件测试流程及软件测试文档
5.1 软件测试流程
5.1.1 制定测试计划
1.3.4 软件的测试性
5.1.2 编制测试说明
5.1.3 执行测试计划
5.1.4 评价测试效果和被测试的软件
5.2 软件测试文档
5.2.1 测试文档的作用
5.3.2 测试文档的类型
5.3.3 测试文档的编制
5.3.4 测试计划
5.3.5 测试说明
5.3.6 测试报告
1.4 软件测试的基本原理和理论基础
5.3.7 静态测试文档
第6章 软件测试管理
6.1 测试组织
6.1.1 单元测试的组织
6.1.2 组装测试的组织
6.1.3 确认测试的组织
6.1.4 落实责任，加强管理
6.2 测试质量管理
6.3 测试进度和资源管理
6.4 测试文档管理
1.5 软件测试的分类
6.5 测试工作数据积累
第7章 航天型号软件测试实例及要点
7.1 被测软件背景
7.2 测试情况
7.2.1 静态分析
7.2.2 代码审查
7.2.3 单元测试
7.2.4 确认测试
7.2.5 系统联试
7.3 测试体会
1.6 软件错误
7.4 航天型号软件测试要点
7.4.1 指导思想
7.4.2 技术手段
7.4.3 工作模式
7.4.4 管理保证
参考文献
1.6.1 几个概念——错误、缺陷、故障、失效
1.6.2 研究软件错误的目的
1.6.3 软件错误分类和分级
1.6.4 程序错误数量估计
1.7 当前航天型号软件测试的认识
第1章 基本概论
1.7.1 航天型号软件测试特点
1.7.2 目前的状况
1.7.3 航天型号软件测试的定位
1.7.4 几个基本认识问题
第2章 软件测试技术
2.1 静态测试技术
2.1.1 静态测试技术特点
2.1.2 代码审查
2.1.3 代码走查
2.1.4 静态分析
1.1 什么是软件测试
2.1.5 静态分析工具
2.2 动态测试技术
2.2.1 动态测试技术特点
2.2.2 黑盒测试和白盒测试
2.2.3 黑盒测试
2.2.4 白盒测试
2.3 其它测试技术介绍
2.3.1 程序变异
2.3.2 域测试
2.3.3 符号求值
1.1.1 软件测试的认识的发展
2.3.4 程序插装
2.3.5 统计测试
2.3.6 程序正确性证明和形式化方法
2.3.7 测试用例设计综合策略
2.4 动态测试工具
2.4.1 动态分析工具
2.4.2 程序插装器（Program Instrumenter）
2.4.3 测试数据生成器（Test Data Generator）
2.4.4 符号计值（Symbolic Evaluator）
2.4.5 变异测试（Mutation Testing）工具
1.1.2 广义的软件测试
2.4.6 测试辅助支持工具
2.5 通用软件测试工具介绍
2.5.1 计算机辅助软件测试器（CAST）
2.5.2 Purify和PureCoverage
2.5.3 C语言测试工具C-Tester
第3章 嵌入式软件测试
3.1 嵌入式软件特点
3.2 嵌入式软件测试特点及基本对策
3.3 全数字仿真技术
3.3.1 全数字仿真技术内容
1.2 软件测试的意义
3.3.2 全数字仿真技术的目的和意义
3.3.3 全数字仿真技术应用缺点与局限性
3.4 嵌入式软件测试环境
3.5 嵌入式软件测试工具及使用
3.5.1 工具的功能特性
3.5.2 工具的使用
3.6 例子
3.6.1 软件应用和设计背景
3.6.2 支撑硬件和软件
3.6.3 单元测试
1.3 软件测试原则
3.6.4 组装测试
3.6.5 系统测试
第4章 软件测试的步骤
4.1 多层过滤软件测试方法
4.2 单元测试
4.2.1 单元测试的特点和意义
4.2.2 单元测试的内容
4.2.3 单元测试方法和步骤
4.3 组装测试
4.3.1 组装测试的意义和特点
1.3.1 Myers的基本原则
4.3.2 组装测试的内容
4.3.3 组装测试策略
4.3.4 组装测试的技术手段
4.4 确认测试
4.4.1 确认测试的任务和特点
4.4.2 确认测试的内容
4.4.3 确认测试的技术方法
4.5 系统联试
4.5.1 系统联试的特点和意义
4.5.2 系统联试的内容
1.3.2 软件测试的独立性原则
4.5.3 系统联试技术手段
4.6 回归测试
4.6.1 回归测试的特点和意义
4.6.2 回归测试的内容
4.6.3 回归测试的技术手段
4.6.4 回归测试的工作步骤
4.7 可靠性测试
4.7.1 软件可靠性测试的定义与目的
4.7.2 软件可靠性测试的特点
4.7.3 软件可靠性测试的效果
Y &x
1.3.3 软件测试完成准则
4.7.4 软件可靠性测试的基本条件
4.7.5 软件可靠性测试步骤
4.8 独立测试
4.8.1 独立测试的概念和意义
4.8.2 独立测试的工作内容
4.8.3 独立测试的组织
4.8.4 建设航天型号软件评测体系
第5章 软件测试流程及软件测试文档
5.1 软件测试流程
5.1.1 制定测试计划
1.3.4 软件的测试性
5.1.2 编制测试说明
5.1.3 执行测试计划
5.1.4 评价测试效果和被测试的软件
5.2 软件测试文档
5.2.1 测试文档的作用
5.3.2 测试文档的类型
5.3.3 测试文档的编制
5.3.4 测试计划
5.3.5 测试说明
5.3.6 测试报告
1.4 软件测试的基本原理和理论基础
5.3.7 静态测试文档
第6章 软件测试管理
6.1 测试组织
6.1.1 单元测试的组织
6.1.2 组装测试的组织
6.1.3 确认测试的组织
6.1.4 落实责任，加强管理
6.2 测试质量管理
6.3 测试进度和资源管理
6.4 测试文档管理
1.5 软件测试的分类
6.5 测试工作数据积累
第7章 航天型号软件测试实例及要点
7.1 被测软件背景
7.2 测试情况
7.2.1 静态分析
7.2.2 代码审查
7.2.3 单元测试
7.2.4 确认测试
7.2.5 系统联试
7.3 测试体会
1.6 软件错误
7.4 航天型号软件测试要点
7.4.1 指导思想
7.4.2 技术手段
7.4.3 工作模式
7.4.4 管理保证
参考文献
1.6.1 几个概念——错误、缺陷、故障、失效
1.6.2 研究软件错误的目的
1.6.3 软件错误分类和分级
1.6.4 程序错误数量估计
1.7 当前航天型号软件测试的认识
第1章 基本概论
1.7.1 航天型号软件测试特点
1.7.2 目前的状况
1.7.3 航天型号软件测试的定位
1.7.4 几个基本认识问题
第2章 软件测试技术
2.1 静态测试技术
2.1.1 静态测试技术特点
2.1.2 代码审查
2.1.3 代码走查
2.1.4 静态分析
1.1 什么是软件测试
2.1.5 静态分析工具
2.2 动态测试技术
2.2.1 动态测试技术特点
2.2.2 黑盒测试和白盒测试
2.2.3 黑盒测试
2.2.4 白盒测试
2.3 其它测试技术介绍
2.3.1 程序变异
2.3.2 域测试
2.3.3 符号求值
1.1.1 软件测试的认识的发展
2.3.4 程序插装
2.3.5 统计测试
2.3.6 程序正确性证明和形式化方法
2.3.7 测试用例设计综合策略
2.4 动态测试工具
2.4.1 动态分析工具
2.4.2 程序插装器（Program Instrumenter）
2.4.3 测试数据生成器（Test Data Generator）
2.4.4 符号计值（Symbolic Evaluator）
2.4.5 变异测试（Mutation Testing）工具
1.1.2 广义的软件测试
2.4.6 测试辅助支持工具
2.5 通用软件测试工具介绍
2.5.1 计算机辅助软件测试器（CAST）
2.5.2 Purify和PureCoverage
2.5.3 C语言测试工具C-Tester
第3章 嵌入式软件测试
3.1 嵌入式软件特点
3.2 嵌入式软件测试特点及基本对策
3.3 全数字仿真技术
3.3.1 全数字仿真技术内容
1.2 软件测试的意义
3.3.2 全数字仿真技术的目的和意义
3.3.3 全数字仿真技术应用缺点与局限性
3.4 嵌入式软件测试环境
3.5 嵌入式软件测试工具及使用
3.5.1 工具的功能特性
3.5.2 工具的使用
3.6 例子
3.6.1 软件应用和设计背景
3.6.2 支撑硬件和软件
3.6.3 单元测试
1.3 软件测试原则
3.6.4 组装测试
3.6.5 系统测试
第4章 软件测试的步骤
4.1 多层过滤软件测试方法
4.2 单元测试
4.2.1 单元测试的特点和意义
4.2.2 单元测试的内容
4.2.3 单元测试方法和步骤
4.3 组装测试
4.3.1 组装测试的意义和特点
1.3.1 Myers的基本原则
4.3.2 组装测试的内容
4.3.3 组装测试策略
4.3.4 组装测试的技术手段
4.4 确认测试
4.4.1 确认测试的任务和特点
4.4.2 确认测试的内容
4.4.3 确认测试的技术方法
4.5 系统联试
4.5.1 系统联试的特点和意义
4.5.2 系统联试的内容
1.3.2 软件测试的独立性原则
4.5.3 系统联试技术手段
4.6 回归测试
4.6.1 回归测试的特点和意义
4.6.2 回归测试的内容
4.6.3 回归测试的技术手段
4.6.4 回归测试的工作步骤
4.7 可靠性测试
4.7.1 软件可靠性测试的定义与目的
4.7.2 软件可靠性测试的特点
4.7.3 软件可靠性测试的效果
Y &x
Aerospace program software testing
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
