下列關于進一步審計程序的性質的相關說法中，正確的有(　　)。 A.控制測試的目的是確定控制運行的有效性 B.實質性程序的目的是發現認定層次的重大錯報 C.審計程序的類型包括詢問、觀察、檢查、函證、重新執行、重新計算和分析程序 D.進一步審計程序的目的是確定對財務報表發表何種審計意見