实质性程序是指用于发现重大错报风险的审计程序，包括对各类交易、账户余额和披露的细节测试以及实质性分析程序。因此，注册会计师应当针对评估的重大错报风险设计和实施实质性程序，以发现认定层次的重大错报。实质性程序包括对各类交易、账户余额、列报和披露的细节测试以及实质性分析程序。