审计程序是审计工作的核心组成部分，旨在帮助审计人员获取充分、适当的审计证据，以发表恰当的审计意见。审计程序一般包括以下几种类型：
检查
检查程序涉及对被审计单位或外部其他单位生成的记录、文件或实物资产进行审查。
检查可以是纸质、电子或其他介质形式的，也可以是对有形资产的实物审查。
检查程序具有方向性，例如，在细节测试中可能采用“顺查”或“逆查”的方法。
观察
观察是指审计人员查看相关人员正在从事的活动或实施的程序。
观察可以提供时点证据，但可能受到被观察人员行为的影响，因此其提供的证据可能受限。
询问
询问程序涉及审计人员以书面或口头方式向被审计单位内部或外部的知情人员获取财务信息和非财务信息，并对他们的答复进行评价。
询问程序适用于审计全过程，对审计人员的沟通表达能力要求较高。
函证
函证是指审计人员直接向第三方获取书面答复，以作为审计证据的过程。
书面答复可以采用纸质、电子或其他介质形式。
重新计算
重新计算是指审计人员对记录或文件中的数据计算的准确性进行核对。
这一程序用于验证数据的正确性和完整性。
重新执行
重新执行是指审计人员独立执行原本作为被审计单位内部控制组成部分的程序或控制。
该程序用于评估内部控制的有效性。
分析程序
分析程序是指审计人员对收集到的数据进行分析，以识别可能存在的异常或风险。
分析程序可以包括比率分析、趋势分析、对比分析等方法。
审计程序通常分为以下几个阶段：
计划阶段
主要工作包括了解被审计单位的基本情况、签订业务约定书、初步评价内部控制、确定重要性水平、分析审计风险、编制审计计划等。
实施审计阶段
主要工作包括内部控制测试、实质性测试（如检查、观察、询问、函证、重新计算、重新执行等）、收集和评价审计证据等。
审计完成阶段
主要工作包括整理和评价审计证据、复核审计工作底稿、形成审计意见、编制审计报告等。
通过遵循这些审计程序，审计人员能够系统地收集和分析证据，从而得出关于被审计单位财务状况、内部控制和合规性的结论，并据此发表恰当的审计意见。