根据《软件工程术语GB/T11457-2006》，（ ）是一个正式的过程，通过这个过程决定产品是否符合它的规格说明，是否可在目标环境中使用。
A．走查          
B．审计              
C．认证              
D．鉴定