Tóm tắt Luận án Tiến sĩ: Một số phương pháp kiểm chứng các hệ thống hướng đối tượng

Luận án “Một số phương pháp kiểm chứng các hệ thống hướng đối tượng” bao gồm sáu chương. Trong đó, Chương 1 trình bày bài toán mà luận án sẽ nghiên cứu, Chương 2 trình bày một cách tóm tắt các hướng nghiên cứu chính của bài toán kiểm chứng tính nhất quán trong tái cấu trúc. Chương 3 đề xuất phương pháp kiểm chứng các ràng buộc về bất biến trong tái cấu trúc biểu đồ lớp;...
Nội dung trích xuất từ tài liệu:
Tóm tắt Luận án Tiến sĩ: Một số phương pháp kiểm chứng các hệ thống hướng đối tượng ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Đào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIỂM CHỨNGCÁC HỆ THỐNG HƯỚNG ĐỐI TƯỢNG TÓM TẮT LUẬN ÁN TIẾN SỸ CÔNG NGHỆ THÔNG TIN Hà Nội - 2017 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Đào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIỂM CHỨNGCÁC HỆ THỐNG HƯỚNG ĐỐI TƯỢNG Chuyên ngành: Kỹ thuật Phần mềm Mã số: 62.48.01.03 TÓM TẮT LUẬN ÁN TIẾN SỸ CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS Trương Ninh Thuận Hà Nội - 2017Mục lục1 Giới thiệu 1 1.1 Đặt vấn đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Các kết quả chính của luận án . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Bố cục của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 KIẾN THỨC CƠ SỞ 3 2.1 Tái cấu trúc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Mẫu thiết kế . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Kiểm chứng tính bất biến trong tái cấu trúc mô hình 5 3.1 Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.2.1 Mô hình hóa biểu đồ lớp trong UML . . . . . . . . . . . . . . . . . 5 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.3 Kết chương . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124 Kiểm chứng sự bảo toàn hành vi trong tái cấu trúc 13 4.1 Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 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 . . . . . . . . . . . . . . . . . . . . . 13 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 4.3 Kết chương . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185 Công cụ kiểm chứng 19 5.1 Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 5.2 Xây dựng công cụ kiểm chứng CVT . . . . . . . . . . . . . . . . . . . . . 19 5.2.1 Kiến trúc của công cụ CVT . . . . . . . . . . . . . . . . . . . . . . 19 5.2.2 Chuyển đổi biểu thức OCL sang công thức FOL . . . . . . . . . . 20 5.3 Cài đặt và thực nghiệm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 5.4 Kết chương . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN 22 6.1 Các đóng góp của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 i 6.2 Hướng phát triển . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23Danh mục các công trình khoa học 24 iiChương 1Giới thiệu1.1 Đặt vấn đề Tái cấu ...