检验定义