软件验证与确认
2011-4
国防工业
刘斌 编
264
本书理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。另外，本书还从实践的角度出发介绍了软件验证与确认活动的自动化辅助工具以及过程文档模板，具有极强的工程参考价值。
本书可供高等院校软件工程、计算机及相关专业的研究生作为学习参考，同时还可作为从事装?软件研发、软件测试以及软件验证与质量保证人员的工作参考书。
第1章绪论
1.1 软件概念及其特点
1.2 软件质量基本概念
1.3 软件质量与可靠性管理的发展
1.4 软件验证与确认技术简介
第2章 基本概念和活动
2.1 基本概念
2.1.1 软件质量模型
2.1.2 软件生命周期
2.1.3 软件的生命周期模型
2.1.4 软件完整性级别
2.1.5 软件验证
2.1.6 软件确认
2.1.7 软件测试
2.1.8 软件评审
2.1.9软件审查
2.1.10 独立软件验证和确认
2.1.11 软件独立第三方测试
2.2 基本活动
2.2.1 软件验证目标
2.2.2软件验证活动
第3章 验证与确认过程
3.1 验证与确认模型
3.2 软件的V&V过程
3.2.1 过程：管理
3.2.2过程：获取
3.2.3 过程：供应
3.2.4 过程：开发
3.2.5 过程：运行
3.2.6 过程：维护
3.3 装备软件全生命周期的验证与确认活动
第4章 验证与确认方?
4.1 软件测试
4.1.1 软件测试概念
4.1.2 软件测试分类方法
4.1.3 静态测试方法
4.2 软件测试技术
4.2.1 软件单元测试
4.2.2软件集成测试
4.2.3 软件配置项测试
4.2.4 软件系统测试
4.2.5 软件验收测试
4.2.6 软件回归测试
4.3 软件评审
4.3.1 软件评审的作用
4.3.2 软件评审方式
4.3.3 软件评审点的设置
4.3.4 软件开发各阶段的评审
4.4 软件验证
4.4.1 软件形式化验证概述
4.4.2 程序正确性证明
第5章 软件测评过程
5.1 软件测试流程
5.1.1 软件文档审查
5.1.2 软件代码走查
5.1.3 测试用例设计
5.1.4 测试用例审查
5.1.5 测试程序设计和调试
5.1.6 测试程序和测试结果审查
5.1.7 测试覆盖分析
5.1.8 测试过程中发现问题的处理
……
第6章 验证与确认工具
第7章 软件验证与确认文档
附录1 软件***过程文档模板
附?2 文档审查单
附录3 裁剪后的静态分析编码规则
参考文献
版权页：插图：6.3.3 自动化功能测试工具小结自动化测试不能代替手工测试，自动化测试最大的用处是保证测试的质量，而不是发现问题，而手工测试是发现问题。在每次回归测试时，如果是手工测试的情况，由于时间的关系并不能因为一个模块的bug去测试其他的模块，而自动化测试工具的加入，可以保证所有模块的基本功能，每次回归用手工去发现验证问题，用自动化工具去保证整个软件的基本功能正常运行。自动化的推广是逐步的，首先做一些冒烟测试的自动化，随后把一些主要的功能和测试点也加进来，但是千万不要太细化到所有手工测试的点，这样，会带来很大的风险，自动化程度越高，风险将越大。并不是所有项目都适合自动化测试工具，如果项目周期短，是不适宜做自动化测试的，自动化测试虽然在运行中比较省时间，但是在前期的设计，脚本的编写和维护都会浪费较多的时间，如果自动化测试脚本不能重复利用多次，自动化只是一种时间的浪费，只会令整个项目延期。
《软件验证与确认》是可靠性•维修性•保障性技术丛书12之一。
