四、所有輸入到系統的資料都必須經過驗證，以確保其準確性。所以在系統設計時，會進行許多種形式的輸入驗證，請舉出五種並詳細說明。（30 分）

一、使用案例（use case）圖經常被用來描述商業領域內活動的模型，下面是出現在使用案例圖的術語，請解釋下列名詞並各舉一個例子：使用案例（use case），參與者（actor），主題邊界（system boundary），關聯關係（association relationship），含括關係（include relationship），延伸關係（extend relationship），一般化關係（generalization relationship）。（30 分）