航天型号软件测试

图书标准信息

• 作者 周涛 著
• 出版社 中国宇航出版社
• 出版时间 1999-04
• 版次 1
• ISBN 9787801442482
• 定价 18.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 285页
• 字数 245千字
• 正文语种 简体中文
• 丛书 航天型号软件工程系列丛书

【内容简介】

《航天型号软件测试》系统介绍了航天型号软件测试。全书共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-Teste

第3章嵌人式软件测试
3.1嵌入式软件特
3.2嵌入式软件测试特点及基本对策
3.3全数字仿真技术
3.3.1全数字仿真技术内容
3.3.2全数字仿真技术的目的和意义
……
第4章软件测试的步骤
第5章软件测试流程及软件测试文档
第6章软件测试管理
第7章航天型号软件测试实例及要点
参考文献