คำอธิบาย
ทบทวนเทคนิคการระบุและคำอธิบายเชิงทางการสำหรับระบบกระจายและระบบเปิด เทคนิคการยืนยันความถูกต้อง พิสูจน์ความถูกต้อง การตรวจพิสูจน์คุณสมบัติทั่วไปของระบบกระจาย การวิเคราะห์และกลยุทธ์การบรรเทา เทคนิคการทดสอบ ยุทธศาสตร์การสร้างการทดสอบ สถาปัตยกรรมการทดสอบ
ข้อความอ้างอิงในภาษาต้นฉบับ
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/