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

选项 A 选项 B 选项 C 选项 D