描述
形式化测试导出方法、测试管理、高层次 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/