块检验程序