6.3 程序检查