实质性程序是审计过程中用于发现认定层次重大错报的审计程序。这些程序旨在直接识别财务报表中可能存在的错报，包括对各类交易、账户余额和披露的细节测试，以及实质性分析程序。
实质性程序的性质包括细节测试和实质性分析程序。细节测试是对各类交易、账户余额、列报的具体细节进行测试，目的在于直接识别财务报表认定是否存在错报。实质性分析程序则是对财务信息进行分析，以识别可能存在的重大错报风险。
注册会计师在实施实质性程序时，应当针对评估的重大错报风险进行设计和实施，以发现认定层次的重大错报。此外，实质性程序的要求包括将财务报表与其所依据的会计记录进行核对或调节，并检查财务报表编制过程中作出的重大会计分录和其他会计调整。
通过这些程序，审计师能够获取充分、适当的审计证据，以支持其对财务报表发表的意见，并确保审计风险降至可接受的低水平。