航天型号软件测试

　　内容简介本书是航天型号软件工程系列丛书之一，系统介绍了航天型号软件测试。全书共7章，分别介绍软件测试的基本概念、测试技术、测试阶段、测试工作流程、测试文档及测试管理，同时突出介绍了嵌入式软件测试的特点及技术，最后介绍了一个具体航天型号软件研制项目的测试工作实例，提出了航天型号软件测试工作要点。全书在介绍软件测试的一般内容基础上，结合航天型号软件研制特点介绍了相应的概念、技术及工作流程，特别介绍了独立测试。本书的主要读者为航天型号软件研制技术人员及承担独立测试的软件评测人员，对于航天型号软件研制及软件评测管理人员也有一定的参考价值。

暂缺《航天型号软件测试》作者简介

     目录
   第1章 基本概论
    1.1什么是软件测试
    1.1.1软件测试的认识的发展
    1.1.2广义的软件测试
    1.2软件测试的意义
    1.3软件测试原则
    1.3.1Myers的基本原则
    1.3.2软件测试的独立性原则
    1.3.3软件测试完成准则
    1.3.4软件的测试性
    1.4软件测试的基本原理和理论基础
    1.5软件测试的分类
    1.6软件错误
    1.6.1几个概念——错误、缺陷、故障、失效
    1.6.2研究软件错误的目的
    1.6.3软件错误分类和分级
    1.6.4程序错误数量估计
    1.7当前航天型号软件测试的认识
    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静态分析
    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符号求值
    2.3.4程序插装
    2.3.5统计测试
    2.3.6程序正确性证明和形式化方法
    2.3.7测试用例设计综合策略
    2.4动态测试工具
    2.4.1动态分析工具
    2.4.2程序插装器（ProgramInstrumenter）
    2.4.3测试数据生成器（TestDataGenerator）
    2.4.4符号计值（SymbolicEvaluator）
    2.4.5变异测试（MutationTesting）工具
    2.4.6测试辅助支持工具
    2.5通用软件测试工具介绍
    2.5.1计算机辅助软件测试器（CAST）
    2.5.2Purify和PureCoverage
    2.5.3C语言测试工具C－Tester
   第3章 嵌入式软件测试
    3.1嵌入式软件特点
    3.2嵌入式软件测试特点及基本对策
    3.3全数字仿真技术
    3.3.1全数字仿真技术内容
    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单元测试
    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组装测试的意义和特点
    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系统联试的内容
    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软件可靠性测试的效果
    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制定测试计划
    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测试报告
    5.3.7静态测试文档
   第6章 软件测试管理
    6.1测试组织
    6.1.1单元测试的组织
    6.1.2组装测试的组织
    6.1.3确认测试的组织
    6.1.4落实责任，加强管理
    6.2测试质量管理
    6.3测试进度和资源管理
    6.4测试文档管理
    6.5测试工作数据积累
   第7章 航天型号软件测试实例及要点
    7.1被测软件背景
    7.2测试情况
    7.2.1静态分析
    7.2.2代码审查
    7.2.3单元测试
    7.2.4确认测试
    7.2.5系统联试
    7.3测试体会
    7.4航天型号软件测试要点
    7.4.1指导思想
    7.4.2技术手段
    7.4.3工作模式
    7.4.4管理保证
   参考文献