根据GB/t11457-2006的规定，( )为评估工作产品或工作产品集是否符合软件需求、规格说明、基线、标准、过程、指令、代码以及合同和特殊要求而进行的一种独立检查。
A、验证
B、审计
C、测试
D、鉴定