3.1.3 程序检查