具体审计程序：检查、观察、询问、函证、重新计算、重新执行以及分析程序