四、可追溯性（Traceability）是一個重要的需求屬性。這是在執行系統要求的確認與驗證（Validation & Verification, V&V）時應該檢查的事情之一。描述你將如何手動檢查現有系統的可追溯性，並列出你認為可以幫助你完成任務的 CASE 工具的一些功能。並說明確認與驗證二者的差異。（25 分）