审计程序是审计工作的重要组成部分，旨在获取充分、适当的审计证据以发表恰当的审计意见。审计程序一般包括以下几种类型：
检查：
审计人员对被审计单位或外部其他单位电子、纸质或其他介质存在的记录、文件进行审查，或对实物资产进行审查的一种程序。
观察：
审计人员查看相关人员正在从事的活动或实施的程序，以了解被审计单位的运作情况。
询问：
审计人员以书面或口头方式向相关知情人员（包括被审计单位内部或外部人员）获取财务信息和非财务信息，并对他们的答复进行评价的过程。
函证：
审计人员直接从第三方获取书面答复以作为审计证据的过程，书面答复可以采用纸质、电子或其他介质等形式。
重新计算：
审计人员对记录或文件中的数据计算的准确性进行核对。
重新执行：
审计人员独立执行原本作为被审计单位内部控制组成部分的程序或控制。
分析程序：
审计人员通过分析财务数据和非财务数据，评估被审计单位的财务状况和经营成果。
这些程序在审计的不同阶段中有所应用，包括计划阶段、实施审计阶段和审计完成阶段。通过这些程序，审计人员能够全面了解被审计单位的财务状况和内部控制情况，从而发表恰当的审计意见。