Deskripsi
Tinjauan teknik spesifikasi dan deskripsi formal untuk sistem terdistribusi dan terbuka. Teknik verifikasi. Bukti kebenaran. Verifikasi sifat umum dari sistem terdistribusi. Strategi analisis dan mitigasi. Teknik pengujian. Strategi generasi uji. Arsitektur pengujian.
Teks rujukan dalam bahasa aslinya
Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs. Verification of general properties of distributed systems. Analysis and relief strategies. Testing techniques. Test generation strategies. Test architectures.
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/