有效的审计程序包括以下几种：
检查：
审计人员对被审计单位或外部其他单位的记录、文件或实物资产进行审查。这种程序具有方向性，例如执行抽盘时，审计人员需要从实物检查至盘点记录，再从盘点记录检查至实物。
观察：
审计人员查看相关人员正在从事的活动或实施的程序。观察程序获取的是时点证据，可能受到被观察人员行为的影响。
询问：
审计人员以书面或口头方式向被审计单位内部或外部的知情人员获取财务信息和非财务信息，并对他们的答复进行评价。询问程序适用于审计全过程，但对审计人员的沟通表达能力要求较高。
函证：
审计人员直接从第三方获取书面答复以作为审计证据。函证适用于与特定账户余额及其项目相关的认定、被审计单位与第三方之间协议和交易条款存在错报风险的情况，以及获取不存在某些情况的审计证据。
重新计算：
审计人员对记录或数据重新进行计算，以验证其准确性。
重新执行：
审计人员重新执行某些程序或控制活动，以验证其运行的有效性。
分析程序：
审计人员对财务和非财务数据进行分析，以识别可能存在的异常或风险。
这些程序在审计的不同阶段和不同情况下可以单独使用，也可以结合使用，以获取充分、适当的审计证据，支持审计结论。审计程序的设计和执行应当遵循合理、科学的原则，确保审计工作的规范性和有效性。