Mô tả
Ôn lại các kỹ thuật mô tả và đặc tả hình thức cho hệ thống phân tán và hệ mở. Kỹ thuật xác minh. Chứng minh tính đúng. Xác minh các tính chất tổng quát của hệ phân tán. Phân tích và chiến lược giảm thiểu. Kỹ thuật kiểm thử. Chiến lược sinh test. Kiến trúc kiểm thử.
Văn bản tham chiếu bằng ngôn ngữ gốc
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.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/grad/courses/COMP/