Luận văn: Kiểm Chứng Giao Diện Phần Mềm Bằng Phương Pháp Mô Hình Hóa Event – B

Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event – B

Tác giả: NGUYỄN XUÂN TRƯỜNG

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

Nội dung tài liệu:

Luận văn tập trung vào việc nghiên cứu đặc điểm của giao diện phần mềm, các vấn đề liên quan tới kiểm chứng giao diện phần mềm và các phương pháp kiểm chứng giao diện. Đề tài đi sâu vào nghiên cứu mô hình, cấu trúc, ký pháp của phương pháp mô hình hóa Event-B, cũng như tìm hiểu nguyên lý và chức năng của công cụ Rodin. Từ đó, đề tài xây dựng một phương pháp mô hình hóa và kiểm chứng chung, đặc biệt là phương pháp kiểm chứng thứ tự xuất hiện của các cửa sổ giao diện người dùng trên các ứng dụng di động. Quy trình nghiên cứu bao gồm việc xây dựng quy trình thực hiện tổng quát, quy trình chi tiết, xây dựng các mô hình giao diện trừu tượng thông qua các định nghĩa, và thiết lập các bộ quy tắc chuyển đổi tham chiếu tương ứng từ mô hình trừu tượng vào trong Event-B. Cuối cùng, đề tài áp dụng phương pháp này vào kiểm chứng tự động thứ tự thực hiện của các cửa sổ giao diện của ứng dụng ghi chú Note trên hệ điều hành Android.

Mục lục chi tiết:

• DANH MỤC KÝ HIỆU VÀ CHỮ VIẾT TẮT
• DANH MỤC CÁC BẢNG
• DANH MỤC CÁC HÌNH VẼ
• Chương 1. Giới thiệu
• Chương 2. Tổng quan về kiểm chứng giao diện phần mềm và Phương pháp mô hình hóa Event-B
• Chương 3. Kiểm chứng giao diện phần mềm bằng phương pháp Event-B
• Chương 4. Áp dụng phương pháp kiểm chứng giao diện ứng dụng trên thiết bị di động với Event-B
• Kết luận và hướng phát triển
• Phụ lục
• Tài liệu tham khảo