實質性分析程序是指通過研究數據間關系評價信息來運用分析程序的一種方式。細節測試屬于實質性程序的一部分，其目的是直接發現和確認認定層次中存在的重大錯報。其中包括函證程序和重新計算等審計程序，它們屬于細節測試的一部分。通過執行細節測試，可以直接揭示認定層次是否存在重大錯報的情況。例如，通過函證程序可以發現并確定應收賬款項目存在的錯報以及相應的錯誤金額。