實質性程序包括對各類交易、賬戶余額、列報和披露的細節測試以及實質性分析程序。實質性程序是指用于發現重大錯報風險的審計程序，包括對各類交易、賬戶余額和披露的細節測試以及實質性分析程序。