Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 102 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tính

Tác giả: Phạm Thị Thái Ninh

Lĩnh vực: Công nghệ Thông tin

Nội dung tài liệu:

Luận văn này tập trung vào việc kiểm tra mô hình phần mềm, một phương pháp được ứng dụng để xác thực độ tin cậy và hiệu năng của các hệ thống máy tính. Nghiên cứu trình bày các kỹ thuật kiểm tra mô hình phần mềm, với mục tiêu tìm ra các giải thuật tối ưu để giải quyết các vấn đề về bùng nổ trạng thái. Luận văn đề xuất và xây dựng giải thuật kiểm tra mô hình phần mềm dựa trên lý thuyết về hệ thống chuyển trạng thái, logic thời gian tuyến tính (LTL) và Ôtômat Buchi. Ngoài ra, luận văn còn giới thiệu công cụ SPIN và ngôn ngữ PROMELA để mô hình hóa hệ thống, minh họa cơ chế hoạt động của SPIN với các hệ thống tương tranh.

Mục lục chi tiết:

  • Lời cảm ơn
  • Lời cam đoan
  • Mục lục
  • Danh mục các từ viết tắt
  • Danh mục các hình vẽ, đồ thị
  • Lời mở đầu
  • Chương I: Tổng quan về kiểm tra mô hình phần mềm
  • Chương 2: Các kỹ thuật kiểm tra mô hình phần mềm
  • Chương 3: Đề xuất và xây dựng giải thuật kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tính
  • Chương 4: Xây dựng mô hình minh họa
  • Kết luận
  • Tài liệu tham khảo