tailieunhanh - 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; . | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Đào Thị Hường MỘT SỐ PHƯƠNG PHÁP KIỂM CHỨNG CÁ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ường MỘT SỐ PHƯƠNG PHÁP KIỂM CHỨNG CÁC HỆ THỐNG HƯỚNG ĐỐI TƯỢNG Chuyên ngành Kỹ thuật Phần mềm Mã số 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 Trương Ninh Thuận Hà Nội - 2017 Mục lục 1 Giới thiệu 1 Đặt vấn đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Các kết quả chính của luận án . . . . . . . . . . . . . . . . . . . . . . . . 2 Bố cục của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 KIẾN THỨC CƠ SỞ 3 Tái cấu trúc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Mẫu thiết kế . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 Kiểm chứng tính bất biến trong tái cấu trúc mô hình 5 Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 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 Mô hình hóa biểu đồ lớp trong UML . . . . . . . . . . . . . . . . . 5 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 Kết chương . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 4 Kiểm chứng sự bảo toàn hành vi trong tái cấu trúc 13 Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 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 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 .