检验控制程序概述