三、黑箱（Black-Box）測試及白箱（White-Box）測試可用來驗證資訊系統之正確性及完整性，請說明這兩種測試方法的差異性，並舉一實例設計所需之測試案例（test cases）解釋測試流程。（20 分）

四、考慮二個交易（transaction）T 及 Q，其內容如下： Transaction T: Transaction Q: Bank&Withdraw(A, 4); Bank&Withdraw(C, 3); Bank&Deposit(B, 4); Bank&Deposit(B, 3); A, B, C 分別表示三個用戶之銀行帳號，Withdraw（提款）及 Deposit（存款）並非 atomic operation，都包含 read operation 及 write operation。若同時（concurrent）處理二個交易（transaction）T 及 Q，請用 T 及 Q 的執行過程說明可能會發生的問題？並提出解決方法。（20 分）