Tên đề tài:
Kiểm chứng các giao thức bằng AOP
Ngành:
Công nghệ thông tin
Tóm tắt nội dung tài liệu:
Khóa luận này trình bày phương pháp sinh mã aspect phục vụ cho mục đích kiểm chứng phần mềm từ biểu đồ tuần tự (sequence diagram) kết hợp với máy trạng thái và công cụ tự động sinh mã aspect. Mục tiêu là kiểm chứng các giao thức đặc tả hoạt động của các đối tượng trong Java. Phương pháp này sử dụng biểu đồ UML để mô hình hóa hệ thống, sau đó chuyển đổi thành tài liệu XMI làm đầu vào cho công cụ xây dựng máy trạng thái. Cuối cùng, mã aspect được sinh ra để kiểm chứng các ràng buộc giữa các đối tượng và tính đúng đắn của hệ thống, từ đó giảm thiểu lỗi trong quá trình cài đặt.
Mục lục chi tiết:
- Chương 1. Mở Đầu
- Chương 2. Ngôn ngữ UML và biểu diễn biểu đồ trong UML bằng XMI
- Chương 3. Aspect và lập trình hướng khía cạnh
- Chương 4. Phương pháp kiểm chứng các giao thức bằng AOP
- Chương 5. Xây dựng công cụ sinh mã từ máy trạng thái
- Chương 6. Kết luận