实质性程序是审计中用于发现财务报表中可能存在的重大错报风险的程序。它主要包括以下两种类型：

细节测试

细节测试是对各类交易、账户余额、列报的具体细节进行测试。

目的在于直接识别财务报表认定是否存在错报。

例如：函证应收账款、存货监盘、从原始凭证追查至会计账簿等。

实质性分析程序

实质性分析程序是通过研究数据间的关系来评价信息。

主要用于评估财务报表中数据的合理性和一致性。

例如：对财务比率、趋势等进行分析，以识别可能存在的错报。

注册会计师应根据评估的重大错报风险来设计和实施适当的实质性程序