审计程序涉及一系列严谨的活动，以获取和验证财务信息的准确性。这些程序主要包括：
检查记录和文件：审计人员会详细审查会计凭证、账簿和财务报告，以确定其合规性和完整性。
实物资产检查：通过实地考察，审计人员会核实有形资产的存在、状况和所有权。
现场观察：对业务流程进行观察，以理解其潜在的风险和控制有效性。
询问与函证：直接与相关人员沟通，获取关键信息，并通过信函核实数据的准确性。
重新计算与重新执行：审计人员可能对数据进行复核，以确认计算的正确性和业务流程的执行效果。
分析程序：运用分析方法，识别异常模式或不一致，以揭示潜在的问题。
这些程序按其目的大致可以分为三类：风险评估程序，评估潜在的风险；控制测试，验证内部控制的有效性；实质性程序，对财务数据进行深入核实。所有这些步骤都依据《中华人民共和国审计法》第三十八、三十九条进行，审计机关需提前通知被审计单位，并在执行审计时确保效率和合规性。