编写检验函数