Açıklama
Biçimsel test türetme yöntemleri, test yönetimi, yüksek seviyeli, CASE tabanlı doğrulama ve geçerlemeler, tasarım ve kod kalitesini değerlendirmek için veri akışı ve kontrol akışı ölçümleri ve metrikleri, regresyon analizi ve testleme konuları.
Kaynak metin orijinal dilinde
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.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/grad/courses/COMP/