12.4.4 程序检查法的应用