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

Giới thiệu nội dung

KIỂM CHỨNG ĐẶT TẢ UML CHO TÁC TỬ PHẦN MỀM

Tác giả: Vũ Sỹ Vương

Lĩnh vực: Công nghệ phần mềm

Nội dung tài liệu:

Nội dung tài liệu tập trung vào việc nghiên cứu phương pháp và xây dựng công cụ để kiểm chứng các đặc tả giao thức của tác tử phần mềm trong thời gian chạy. Tài liệu giới thiệu cách tiếp cận dựa trên lập trình hướng khía cạnh (AOP) và công nghệ AspectJ để tự động sinh mã aspect. Mã aspect này được sử dụng để kiểm chứng sự tuân thủ các giao thức ràng buộc giữa các đối tượng và tác tử, được mô tả bằng biểu đồ UML, AUML. Công cụ Protocol Verification Generator (PVG) được đề xuất để tự động sinh mã aspect từ các đặc tả này, giúp nâng cao hiệu quả kiểm chứng phần mềm.

Mục lục chi tiết:

  • Chương 1: Mở đầu (Đặt vấn đề, Nội dung bài toán, Tổng quan phương pháp, Cấu trúc khóa luận)
  • Chương 2: Giới thiệu lập trình hướng khía cạnh (Aspect-Oriented Programming) và AspectJ
  • Chương 3: Agent UML và JADE framework
  • Chương 4: Xây dựng máy trạng thái từ biểu đồ UML
  • Chương 5: Xây dựng công cụ tự động sinh aspect từ máy trạng thái
  • Chương 6: Thực nghiệm
  • Chương 7: Kết luận
  • Phụ lục
  • Danh mục ký hiệu, từ viết tắt