检验和实验程序