Luận Văn Thạc Sĩ Chứng Minh Tính Đúng Đắn Cho Bài Toán Xung Đột Tài Nguyên Cho Các Hệ Đa Tác Tử

Chứng Minh Tính Đúng Đắn Cho Bài Toán Xung Đột Tài Nguyên Cho Các Hệ Đa Tác Tử​

Kiểm chứng mô hình (model checking) [5, 6, 9] và các kỹ thuật kiểm thử (testing) đang được xem là các giải pháp chủ yếu nhằm đảm bảo chất lượng cho các sản phẩm phần mềm nói chung và các hệ thống đa tác tử nói riêng. Các kỹ thuật kiểm thử chỉ có khả năng phát hiện ra lỗi hoặc khiếm khuyết của hệ thống chứ không thể chỉ ra được hệ thống không còn lỗi. Do đó, nếu chỉ áp dụng các kỹ thuật kiểm thử không thôi thì chưa đủ để đảm bảo chất lượng của hệ thống, đặc biệt là đối với những hệ thống yêu cầu độ tin cậy cao. Để giải quyết vấn đề này, một trong những phương pháp đang được áp dụng phổ biến là phương pháp kiểm chứng mô hình. Hiện nay có nhiều phương pháp hỗ trợ việc đặc tả và kiểm chứng phần mềm theo hướng tiếp cận mô hình như SMV [7], NuSMV [8], v.v.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: TS. Phạm Ngọc Hùng
• Tác giả: Nguyễn Thế Huy
• Số trang: 68
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2014

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1055792
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1