課程說明
形式化測試導出方法、測試管理、高階 CASE 為基礎之驗證與確認、資料流與控制流的衡量與度量以評估設計與程式碼品質、迴歸分析與測試等主題。
原文參考文本
Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow and control-flow measures and metrics for assessing quality of designs and code, regression analysis and testing.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/grad/courses/COMP/