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: 50 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Nghiên Cứu Về Kiểm Chứng Phần Mềm Sử Dụng Công Cụ Spin

Tác giả: Trần Thị Vân Dung

Lĩnh vực: Công Nghệ Thông Tin

Nội dung tài liệu:

Khóa luận này tập trung nghiên cứu về phương pháp kiểm chứng phần mềm bằng kỹ thuật Model Checking, sử dụng công cụ Spin. Cụ thể, khóa luận đi sâu vào việc xây dựng mô hình máy hữu hạn trạng thái và thực hiện kiểm chứng các mô hình này bằng công cụ Spin. Để hỗ trợ quá trình này, một công cụ tự động đã được phát triển nhằm chuyển đổi mô tả hệ thống ban đầu (dạng máy hữu hạn trạng thái trong tệp .txt) thành mô hình có thể chạy được bởi Spin.

Mục lục chi tiết:

  • Chương 1: Mở đầu
  • Chương 2: Sơ lược về Model Checking
  • Chương 3: Ngôn ngữ Promela
  • Chương 4: Kiểm chứng chương trình trong Spin
  • Chương 5: Thực nghiệm
  • Chương 6: Kết luận
  • Phụ lục
  • Tài liệu tham khảo