6.7 检验函数