實質性程序是指用于發現重大錯報風險的審計程序，包括對各類交易、賬戶余額和披露的細節測試以及實質性分析程序。因此，注冊會計師應當針對評估的重大錯報風險設計和實施實質性程序，以發現認定層次的重大錯報。實質性程序包括對各類交易、賬戶余額、列報和披露的細節測試以及實質性分析程序。