检验方法验证控制程序