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

Giới thiệu nội dung

Kiểm Chứng Các Giao Thức Bằng AOP

Tác giả: Thân Văn Đức

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

Nội dung tài liệu:

Khóa luận này trình bày phương pháp tự động sinh mã aspect phục vụ cho mục đích kiểm chứng phần mềm. Phương pháp này kết hợp giữa biểu đồ tuần tự UML và máy trạng thái FSM. Mục tiêu là kiểm chứng các giao thức ràng buộc trong biểu đồ tuần tự, đảm bảo tính đúng đắn của hệ thống phần mềm. Các lỗi phần mềm thường gây thiệt hại lớn về thời gian, tiền bạc và công sức, việc phát hiện và sửa lỗi sớm là rất quan trọng. Lập trình hướng khía cạnh (AOP) và công nghệ AspectJ được giới thiệu như một hướng phát triển mới cho kiểm chứng phần mềm, giúp nâng cao khả năng dò tìm lỗi mà không ảnh hưởng đến mã nguồn hệ thống. Bài toán cụ thể được đặt ra là kiểm chứng giao thức đặc tả hoạt động của các đối tượng trong Java, dựa trên biểu đồ tuần tự UML làm đầu vào để tạo ra mã kiểm chứng aspect.

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