説明
形式的テスト導出法、テスト管理、高レベルの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/