《信息技术软件工程术语》(GB／T 11457—2006)规定了软件工程领域的术语。其中( )指的是为评估是否符合软件需求、规格说明、基线、标准、过程、指令、代码以及合同和特殊要求而进行的一种独立的检查。