Luận Văn Thạc Sĩ Các Kỹ Thuật Đặc Tả Và Kiểm Chứng Cho Các Bài Toán Tương Tranh

Các Kỹ Thuật Đặc Tả Và Kiểm Chứng Cho Các Bài Toán Tương Tranh​

Phần mềm ngày càng được ứng dụng rộng rãi, tuy nhiên, trong nhiều hệ thống, lỗi của phần mềm gây ra các hậu quả đặc biệt nghiêm trọng, không những thiệt hại về mặt kinh tế mà còn làm tổn thất trực tiếp sinh mạng con người. Đến nay, trong công nghiệp phần mềm đã có nhiều phương pháp khác nhau được đề xuất và phát triển để giảm lỗi phần mềm từ pha thiết kế đến cài đặt như các phương pháp kiểm chứng (verification) và kiểm thử (testing).
Các phần mềm (chương trình) tương tranh thường gồm nhiều tiến trình, mỗi tiến trình là một chương trình tuần tự thực hiện một tập các câu lệnh tuần tự. Các tiến trình thường cộng tác với nhau thông qua các biến chia sẻ hoặc cơ chế truyền thông điệpđể đồng bộ hay đểtrao đổi dữ liệu.

• Luận văn thạc sĩ Khoa học máy tính
• Chuyên ngành Khoa học máy tính
• Người hướng dẫn khoa học: PGS TS Nguyễn Xuân Huy
• Tác giả: Trần Quốc Tuấn
• Số trang: 61
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Thái Nguyên 2014

Link Download
http://tailieudientu.lrc.tnu.edu.vn...chung-cho-cac-bai-toan-tuong-tranh-43650.html
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1