在软件开发过程结束时对软件进行评价，以确认它和软件需求是否相一致的过程。参见2·5” 条。

　　2.539验证 verification

　　a.确定软件开发周期中的。个给定阶段的产品是否达到前阶段确立的需求的过程。参见 2.538条。

　　b.程序正确性的形式说明。参见2.374条。

　　c.评审、审查、测试、检查、审计等活动，或对某些项、处理、服务或文件等是否和规定的需求相一致进行判断和提出报告。

　　2.540验证系统 verification System

　　参见2.39条。

　　2.541版本 version

软件开发网

　　某一配置项的一个可标识的实例。 注：软件某版本的修改产生一个新的版本，但它需要配置管理活动。

　　2.542虚拟机 virtual machine

　　对计算机及其有关设备的功能模拟。

　　2.543虚拟空间 virtual sPace

　　a.计算机制图中的坐标空间，空间中的每一单元由用户定义的坐标系表示。

　　b.用户程序运行的一个逻辑地址空间。

　　2.544虚拟存储器 virtul storage http://www.mscto.com

　　可以被计算机系统的用户看作可编址主存储器的存储空间。在程序运行时虚地址被映射为实地址。虚拟存储器的大小由计算机系统的编址方式及所能使用的辅助存储器的总容量确定，而不受主存储器的实际容量所限制。

　　2.545走查walk-through 软件开发网

　　评审过程在此过程中设计者或程序员引导开发小组中一名或多名其它成员通读已书写的设计或编码，其它成员负责提出问题并对有关技术、风格、可能的错误、是否违背开发标准的地方等进行评论。与2.237条相对照。