Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
DẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801 Nội - 2018LỜI CAM ĐOANTôi xin cam đoan luận án “Một số phương pháp kiểm chứng tái cấu trúc phần niềm’* là công trình nghiên cứu của riêng tôi. Các số liệu, kết quả được trình bày trong luận án là hoàn toàn trung thực và chưa từng (lược công bó trong bất kỳ một công trình nào khác.■Tôi đã trích dẫn Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801đầy đù các tài liệu tham khảo, công trình nghiên cứu liên quan ờ trong nước và quốc tế. Ngoại trừ các tài liộu t ham khảo này, luận án hoàn toàn là côLuận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
ng việc của riêng tôi.■Trong các công trình khoa học được công bố trong luận án. tôi đã the hiện rò ràng và chính xác dóng góp cùa các dồng tác già vàDẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801. Trường Dại học Công nghệ, Dại học Quốc gia Hà Nội.Tác giả:Hà Nội:iiiLỜI CẢM ƠNTrước hết, tôi muốn bày tỏ sự biết ơn den PGS.TS Trương Ninh Thuận, cán bộ hướng (lẫn, người đã trực tiếp giảng (lạy và (lịnh hướng tôi trong suốt thời gian học cao học, thực hiện luận văn thạc sĩ cũng như luận ân này. T Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801hầy không chỉ hướng dẫn cho tôi những kiến thức về học thuật mà còn chì bào cho tôi những kinh nghiệm quý báu trong cuộc sống. Một vinh dự lớn cho tôiLuận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
được học t ập. nghiên cứu dưới sự hướng dan cùa Thầy.Tôi xin bày t ò sự biết ơn sâu sắc đến các Thầy Cô t rong Bộ môn Cõng nghệ phần mềm vì sự giúp đDẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801ili học Công nghệ đà tạo (lieu kiện thuận lợi cho tôi trong suốt quá trình thực hiện luận án.Tôi cùng bày tó sự biết ơn đến Ban giám hiệu Trường Dại học Hài Phòng dã tạo (lieu kiện về thời gian và tài chính cho tôi thực hiện luận án này. Tôi muốn câm ơn (lốn Ban chủ nhiệm, cốc cán bộ, giang viên Kho Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801a Cõng nghệ thõng tin - Trường Dại học Hãi Phòng đà cổ vù động viên và sát cánh bên tôi trong suốt quá trình nghiên cứu.Một phần cùa nghiên cứu này đưLuận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
ợc thực hiện trong khuôn khổ đề tài nghiên cứu khoa học số 102.03-2014.40 (Nafosted). Xin cảm ơn các trao dổi và trợ giúp của các thành viên dồ tài.TôDẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801uôn ghi nhớ (lieu dó.Cuối cùng, tôi xin bày tó lòng biết ơn vô hạn dối với cha mọ, chồng, con và gia dinh đã luôn ling hộ và yêu thương tôi một cách võ diều kiện. Nến không có sự ủng hộ của gia dinh và chồng con tôi không the hoàn thành dược luận án này.Một lần nữa xin dược trán trọng cám ơn vì tat Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801cả...NCS. Đào Thị HườngiiiTÓM TẮTTrong qúa trình phát triển cùa hộ thống phần mềm. tái cấu trúc (refactoring) (lược biếlLuận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
n cấu Inic bên trong (internal structure) mà không làm ánh hường dến hành vi bên ngoài (external beha viour) cùa hộ thống'. Tuy nhiên, hoạt động tái cDẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801ác quy trình và liêu chuẩn phát trien phần mềm. Bói vậy, tiên trình tái câu trúc can (lược kiêm soát một cách chật chẽ đồng thời phải đánh giá ảnh hưởng của tiến trình này trẽn các đặc tiling về chắt lượng và xem xét sự bảo toàn các đặc tính quan t rọng cùa hệ thống phần niềm.Luận án (lề xuất một số Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801 phương pháp bảo toàn các ràng buộc cùa hộ thống phan sau tiến trình tái can trúc. Cụ the. luận án quan lãm đến các liến trình tái can trúc áp (lụng tLuận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
rên các hộ thống hướng (lối tượng với các dặc trưng về bất biến (invariants) và hành vi (behaviors). Các đóng góp chính cùa luận án được tóm tắt như sDẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801 hình thức, hóa bàng các ký pháp toán học. Tái cấu trúc (rên biêu (lồ lóp (lược thực hiện thông qua cấc phép toán Folding. Abstraction, Composition. Factoring và Unfolding. Luận án đề xuất luật tái cấu trúc (refactoring rules) cho các phép toán đồng thời cúng chứng minh sựdímg (lắn cúa các luật, này Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801 bằng phương pháp toán học. Tien trình tái cấu trúc áp (lụng các phép toán Iren (lược khắng (lịnh là báo loàn bắt biến cùa các lớp của mõ hình ban đầuLuận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
trẽn mõ hình tái cấu trúc.(ii)Dề xuất phương pháp 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 bằng cách áp dụng mầu thiết kế.DẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801thức hóa. ĩĩoạl (lộng lái can trúc (lược thực thi sẽ gầy ảnli hương trực tiếp (lốn các thành phần cấu lạo cũng như các ràng buộc hành vi này.https://khothuvien.cori!ivBời vậy, các ràng buộc hành vi được tính toán lại và so sánh vói vói các ràng buộc của hộ thống ban đầu. Chú ý rằng, đói tượng được q Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801uan tâm đốn khía cạnh bâo toàn hành vi là các kịch ban tham gia vào liến trình tái cấu trúc. Dóng góp chủ yen của luận án trong giải quyết bài toán bảLuận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801
o toàn hành vi là việc xây dựng các (lịnh nghía biểu (liền hình thức các khái niệm t rong kịch bân và sử dụng các (lịnh nghía này t rong quy trình kiêDẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801 dựng cõng cụ CVT (Consistency Validator Tool) hỗ trự cho quá trình kiểm chứng tính nhất quán trong tái cấu trúc mô hình phần mềm. CVT nhận (lư liệu đần vào là mõ hình cùng vói các ràng buộc hành vi của các hệ thống trước và sau khi tái câu trúc. Sau quá trình thực thi, CVT sè trả lại kết luận về kh Luận án tiến sĩ một số phương pháp kiểm chứng tái cấu trúc phần mềm luận án TS máy tính 624801ả năng nhất quán giữa các mõ hình này.Từ khóa: tái cấu trúc, bảo toàn bat biến, bảo toàn hành vi, kiem chứng tính nhất quán.DẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHà DẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆDào Thị HườngMỘT SỐ PHƯƠNG PHÁP KIẾM CHỨNG TÁI CẤU TRÚC PHẦN MỀMLUẬN ÁN TIẾN SỶ CÔNG NGHỆ THÔNG TINHàGọi ngay
Chat zalo
Facebook