الوصف
مراجعة تقنيات الوصف والمواصفة الرسمية للأنظمة الموزعة والمفتوحة. تقنيات التحقق. براهين الصحة. التحقق من خواص عامة للأنظمة الموزعة. استراتيجيات التحليل والتخفيف. تقنيات الاختبار. استراتيجيات توليد الاختبارات. بنى الاختبار.
نص المرجع بلغته الأصلية
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.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/grad/courses/COMP/