Luận Văn Thạc Sĩ Kiểm Chứng Tự Động Các Hệ Thời Gian Thực Xác Suất

Kiểm Chứng Tự Động Các Hệ Thời Gian Thực Xác Suất​

Trong những năm gần đây, đã có nhiều nghiên cứu về các phương pháp kiểm chứng mô hình nhằm kiểm tra thuộc tính của các hệ thống, các giao thức tự động hoặc áp dụng để sinh các bộ kịch bản kiểm thử nhằm kiểm tra thuộc tính của các hệ thống. Việc kiểm chứng mô hình đòi hỏi các hệ thống cần được mô hình hóa và biểu diễn trên các không gian trạng thái, với nhiều kỹ thuật mô hình hóa khác nhau đã được nghiên cứu và triển khai, áp dụng trong thực tế. Việc biểu diễn các hệ thống được thực hiện bởi các ô tô mát, và các hành động trên các hệ thống được biểu diễn bởi các chuyển dịch trạng thái tương ứng trên ô tô mát, trong khi các thuộc tính cần kiểm chứng được biểu diễn bởi các mệnh đề logic. Kiểm chứng mô hình xác suất là dạng mở rộng của kiểm chứng mô hình, nhằm biểu diễn và kiểm chứng các tính chất của hệ thống trong đó việc chuyển trạng thái của hệ thống xảy ra có yếu tố xác suất, theo đó việc chuyển từ một trạng thái sang một hoặc nhiều trạng thái khác theo phân bổ xác suất.

• 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. Đặng Văn Hưng
• Tác giả: Nguyễn Đức Thọ
• Số trang: 61
• Ngôn ngữ: Tiếng Việt
• Đại học quốc gia Hà Nội 2016

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