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