Deskripsi
Topik dalam metode derivasi uji formal, manajemen uji, verifikasi dan validasi berbasis CASE tingkat tinggi, ukuran dan metrik aliran data dan aliran kontrol untuk menilai kualitas desain dan kode, analisis regresi dan pengujian.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/grad/courses/COMP/