1. 细节测试

细节测试是针对各类交易、账户余额和披露的具体细节进行检查的过程。例如，对销售发票、采购合同等原始凭证的核验，以验证其真实性与准确性。

2. 实质性分析程序

通过比较不同期间的数据或与预期值之间的差异来识别异常情况。例如，将本年度的毛利率与历史数据或行业平均水平进行对比，从而判断是否存在重大波动。

3. 函证程序

向第三方（如银行、客户或供应商）发送询证函以确认某些信息的真实性和完整性。比如，向客户的应收账款余额进行函证，以核实其存在性。

4. 重新计算

对被审计单位提供的会计记录或其他文件中的数字进行独立的重新计算，以验证其准确性。例如，重新计算折旧费用的计提是否符合规定。

5. 观察与检查

通过对实物资产、内部控制流程的实际观察以及相关文件资料的检查来获取审计证据。例如，实地盘点库存商品的数量和状态。

6. 重新执行

注册会计师亲自执行被审计单位的某项控制活动，以验证其设计和运行的有效性。例如，模拟一次付款审批流程的操作步骤。

7. 其他测试方法

根据具体业务特点和风险评估结果采用的特殊测试手段，如利用专家工作、依赖信息技术系统等。

以上七个方面的实质性程序共同构成了一个完整的审计框架，帮助注册会计师全面了解企业的财务状况，并形成合理的审计意见。需要注意的是，在实际操作中，每种程序的应用都需要结合具体情况灵活调整，确保最终得出的结论既严谨又可靠。