审计程序检查的方法主要包括以下几个方面：
检查
审计人员对被审计单位内部或外部生成的纸质、电子或其他介质形式的记录和文件进行审查，或对资产进行实物审查。这种程序具有方向性，例如执行抽盘时，审计人员需要从实物检查至盘点记录，再从盘点记录检查至实物，以确保审计的全面性和准确性。
观察
审计人员查看相关人员正在从事的活动或实施的程序，以了解操作流程和实际情况。
询问
审计人员以书面或口头方式，向被审计单位内部或外部的知情人员获取财务信息和非财务信息，并对答复进行评价。这有助于审计人员了解被审计单位的实际情况和潜在问题。
函证
通过向第三方发出询证函，获取有关被审计单位财务信息或事项的确认，以验证其真实性。
凭证检查
企业发生的业务都会进行记录，取得与之对应的原始凭证，并记录形成记账凭证，登记账簿。审计人员会检查这些凭证的真实性和完整性。
权证检查
体现资产的权属，特定资产需要权证来证明权利归属，如房产证、土地证、股权证、车辆行驶证等。审计人员会检查这些权证的真实性和有效性。
文件检查
包括内部文件及外部文件，特定业务一定会有文件类内容支撑，如内控文件、政府补助文件、实收资本文件等。审计人员会检查这些文件的真实性和合规性。
合同检查
合同是一种契约，对各方都具备法律约束力。审计人员会检查企业签订的所有重要合同，确保其内容合法、有效，并符合企业的实际业务需求。
其他检查
包括对账单、信用报告、账户信息、发票、出入库单、验收单等的检查。这些检查有助于审计人员全面了解企业的财务状况和业务运营情况。
风险评估
审计师首先会进行风险评估，以确定可能存在的错误、欺诈行为或违规事项的风险程度。通过分析公司的内部控制制度、业务流程和财务报表，审计师可以识别潜在的风险领域。
内部控制测试
审计师会测试公司的内部控制制度，以确保其有效性。通过测试控制活动的操作性和有效性，审计师可以发现控制失效的迹象，这可能导致错误、欺诈行为或违规事项的发生。
样本测试
审计师通常会选择一部分交易进行抽样测试。通过检查这些样本的准确性和合规性，审计师可以发现潜在的错误、欺诈行为或违规事项。如果在样本中发现问题，审计师通常会扩大测试范围，以确定问题的规模和影响。
数据分析
审计师可以使用数据分析工具和技术来检查大量数据的模式、趋势和异常。这些分析可以帮助发现潜在的错误、欺诈行为或违规事项。例如，审计师可以分析销售数据，以确定是否存在未经授权的销售或虚假销售。
询问和确认函
审计师通常会与公司的管理层、员工和第三方进行交流，并要求提供相关文件和确认函。通过询问和确认函，审计师可以获取更多信息，并验证公司提供的信息的真实性。这有助于发现潜在的错误、欺诈行为或违规事项。
符合性测试和实质性测试
审计人员通过审查会计凭证、会计账簿、财务会计报告，查阅与审计事项有关的文件、资料，检查现金、实物、有价证券，向有关单位和个人调查等方式进行审计，并取得证明材料。审计人员还会进行符合性测试和实质性测试，以验证财务报表的真实性和准确性。
审计程序的设计和执行
确认审计程序的设计是否符合审计标准和法规要求，确保审计程序的执行人员具有足够的专业知识和经验，并且独立于被审计单位。确定审计程序的范围和时间安排，对审计程序进行测试，验证执行结果，并进行监督和检查，及时发现和解决问题。
通过以上这些方法，审计人员可以全面了解被审计单位的财务状况和业务运营情况，发现潜在的问题，并提出相应的审计意见和建议。