检验控制程序