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: 28 trang
Dung lượng: 463 KB

Giới thiệu nội dung

Một Số Phương Pháp Kiểm Chứng Các Hệ Thống Hướng Đối Tượng

Tác giả: Đào Thị Hường

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

Nội dung tài liệu:

Luận án tập trung vào bài toán kiểm chứng tính nhất quán của hệ thống phần mềm trong quá trình tái cấu trúc, đặc biệt là các hệ thống hướng đối tượng. Nghiên cứu đề xuất các phương pháp kiểm chứng tính bất biến của lớp và sự bảo toàn hành vi, đồng thời xây dựng công cụ hỗ trợ kiểm chứng.

Mục lục chi tiết:

  • Chương 1: Giới thiệu
    • 1.1 Đặt vấn đề
    • 1.2 Các kết quả chính của luận án
    • 1.3 Bố cục của luận án
  • Chương 2: Kiến thức cơ sở
    • 2.1 Tái cấu trúc
    • 2.2 Mẫu thiết kế
  • Chương 3: Kiểm chứng tính bất biến trong tái cấu trúc mô hình
    • 3.1 Giới thiệu
    • 3.2 Phương pháp bảo toàn tính bất biến trong tái cấu trúc biểu đồ lớp của UML
      • 3.2.1 Mô hình hóa biểu đồ lớp trong UML
      • 3.2.2 Xây dựng tập luật áp dụng trong tái cấu trúc biểu đồ lớp của mô hình UML
    • 3.3 Kết chương
  • Chương 4: Kiểm chứng sự bảo toàn hành vi trong tái cấu trúc
    • 4.1 Giới thiệu
    • 4.2 Kiểm chứng tính nhất quán về mặt hành vi trong tái cấu trúc hệ thống phần mềm
      • 4.2.1 Tổng quan về quy trình kiểm chứng sự bảo toàn hành vi trong tái cấu trúc hệ thống phần mềm
      • 4.2.2 Phương pháp kiểm chứng tính nhất quán trong tái cấu trúc mô hình phần mềm
      • 4.2.3 Kiểm chứng tính nhất quán trong tái cấu trúc chương trình phần mềm
      • 4.2.4 Kiểm chứng sự bảo toàn hành vi trong tái cấu trúc mô hình hệ thống ARTC
    • 4.3 Kết chương
  • Chương 5: Công cụ kiểm chứng
    • 5.1 Giới thiệu
    • 5.2 Xây dựng công cụ kiểm chứng CVT
      • 5.2.1 Kiến trúc của công cụ CVT
      • 5.2.2 Chuyển đổi biểu thức OCL sang công thức FOL
    • 5.3 Cài đặt và thực nghiệm
    • 5.4 Kết chương
  • Chương 6: Kết luận và hướng phát triển
    • 6.1 Các đóng góp của luận án
    • 6.2 Hướng phát triển