马库斯Ｓ．费舍尔

出版物供应市场上非常缺乏深入探讨应用于提升系统软件可信度技术的书籍，但在需求方面，不仅仅美国政府更多的把注意力投入到软件安全性上，连私人企业和科研院所也是同样给予了足够的重视。提高软件可信度的技术和方法通常被称为软件校验和验证，本书就是少有的能够满足用户对软件可信度需求的图书之一。

本书共分4章，各章内容如下：1、详细介绍了V&V相关的基础概念和知识；2、从管理的角度出发对V&V的应用进行了详细的介绍和引导；3、阐述了V&V生命周期的所有内容，从技术和应用层面对V&V进行了详细的介绍；4、从系统层面对V&V进行了介绍。

V&V是在传统软件生命周期外增加了V&V生命周期，同时针对每个传统软件开发阶段提炼出了三个操作：可描述性分析、接口分析、对应阶段分析(对于需求阶段就是需求分析，对于设计阶段就是设计分析，对于试验阶段就是代码分析，对于测试阶段就是测试分析)。这种方式是在传统软件开发团队外围增加了一个V&V团队或者小组来执行V&V的相关任务，功能类似于CMM／CMMI的SQA，但是，工作内容比SQA更为细致，更深入到软件开发细节过程中。这种模式的操作只能适合于较大规模软件或者安全系统等对安全性要求较高的项目开发团队中应用，在一般的项目开发团队中也可以借鉴其中的一些思路和想法来推行一些可以提高软件质量和可信度的具体操作手段。

作者马库斯s费舍尔，供职于美国国家航空航天局，项目经理，曾经获得SpaceFlight Awareness Award。……