本书理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。另外，本书还从实践的角度出发介绍了软件验证与确认活动的自动化辅助工具以及过程文档模板，具有极强的工程参考价值。 本书可供高等院校软件工程、计算机及相关专业的研究生作为学习参考，同时还可作为从事装备软件研发、软件测试以及软件验证与质量保证人员的工作参考书。
![人机交互与戏剧表演 用戏剧理论构建良好用户体验 （原书第2版） [美]Brenda 【正版】](http://img3m3.ddimg.cn/80/34/11758710923-1_l.jpg)
![Google软件测试之道 英文版 [美]James、W](http://img3m3.ddimg.cn/60/22/11784969663-1_l.jpg)
![自动化测试最佳实践来自全球的经典自动化测试案例解析 [英]格雷、福斯特【正版保证】](http://img3m3.ddimg.cn/33/25/11161019463-1_l.jpg)
