根据《软件工程术语GB／T11457-2006))，( )是一个正式的过程，通过这个过程决定产品是否符合它的规格说明，是否可在目标环境中使用。