审计程序包括以下几种检查方法：
检查记录或文件：
审计人员对被审计单位内部或外部生成的，以纸质、电子或其他介质形式存在的记录或文件进行审查，以验证财务报表所包含或应包含的信息。
检查有形资产：
审计人员对资产实物进行审查，包括存货、现金、有价证券、应收票据和固定资产等，以验证其存在性。
观察：
审计人员查看相关人员正在从事的活动或实施的程序，例如观察仓库的货物收发流程，以了解业务活动的执行情况。
询问：
审计人员向被审计单位的相关人员进行提问，了解业务的实际情况，包括管理层和基层员工的不同层面。
函证：
审计人员向第三方发函，核实重要信息，例如银行存款余额和应收账款金额。
重新计算：
审计人员对被审计单位的一些重要数据，如成本、费用的计算进行重新计算，以验证其准确性。
重新执行：
审计人员重新独立执行被审计单位的一些内部控制程序，例如采购审批流程，以判断内部控制的有效性。
这些检查程序在各个审计阶段都有应用，有助于审计人员获取充分、适当的审计证据，以发表恰当的审计意见。