電腦輔助查核技術可用於執行查核程序，使用稽核軟體重新計算利息或自電腦紀錄篩選一定金額以上之銷貨交易，係屬何種查核程序？

重新計算利息、篩選一定金額以上銷貨，是對具體交易金額與餘額正確性進行驗證，屬於證實程序中的明細測試 (test of details)。