软件验证与确认

　　《软件验证与确认》理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。另外，本书还从实践的角度出发介绍了软件验证与确认活动的自动化辅助工具以及过程文档模板，具有极强的工程参考价值。
　　本书可供高等院校软件工程、计算机及相关专业的研究生作为学习参考，同时还可作为从事装备软件研发、软件测试以及软件验证与质量保证人员的工作参考书。

第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　软件V&V过程文档模板
附录2　文档审查单
附录3　裁剪后的静态分析编码规则
参考文献

　　第1章 绪 论
　　1．1软件概念及其特点
　　新世纪伊始，我们的社会已步入知识经济时代，知识经济的特点在于创造价值的主要源泉已不再是依赖于资源、资本和人的简单劳动，而是依赖于人的智慧和科技的创新。人类文明的发展史已充分证明，科技的更新对生产力的发展起着决定性的作用，对于知识经济时代，此作用则应更加明显。
　　计算机行业是人类历史上发展最为迅速的行业之一。随着信息产业的迅猛发展，软件产业持续发展，已成为推动信息产业、国民经济发展的战略性产业。尤其在过去20年里，软件已经成为各行业中事务处理不可分割的一部分。事实上，软件及软件工程技术的发展，大大推动了人类信息科技产业的进程，已成为人类进入信息化社会的支柱。软件产业关系到国家经济和文化安全，体现了国家综合实力，是决定21世纪国际竞争地位的战略性产业。如果说微电子是信息社会的“细胞”，网络是信息社会的“神经”，那么软件就是信息社会的“灵魂”。与此同时，计算机软件在计算机系统中所占比例也越来越高。1966年经济合作与发展组织技术级别报告指出，计算机中硬件部分的价值和软件的开发费用比率20世纪60年代初以前为70％对30％，到70年代初是50％对50％，80年代初上升到20％对80％，90年代初进一步上升到10％对90％，表1—1所示为软件在国外战机航电系统中的应用情况。计算机产业结构逐渐从以硬件为核心向以软件为主的方向过渡，现代及未来影响计算机应用领域扩展的主要因素是软件的技术进步。
　　……