Một số phương pháp kiểm chứng tái cấu trúc phần mềm
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Một số phương pháp kiểm chứng tái cấu trúc phần mềm
Một số phương pháp kiểm chứng tái cấu trúc phần mềm
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à Một số phương pháp kiểm chứng tái cấu trúc phần mềm 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 mề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 đầ Một số phương pháp kiểm chứng tái cấu trúc phần mềm 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 te. Ngoại trừ các tài liêu t ham khảo này, luận án hoàn toàn là côngMột số phương pháp kiểm chứng tái cấu trúc phần mềm
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à nDẠ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à Một số phương pháp kiểm chứng tái cấu trúc phần mềm 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. Thầ Một số phương pháp kiểm chứng tái cấu trúc phần mềm 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ôi đMột số phương pháp kiểm chứng tái cấu trúc phần mềm
ượ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à Một số phương pháp kiểm chứng tái cấu trúc phần mềm i 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 Khoa Một số phương pháp kiểm chứng tái cấu trúc phần mềm 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 đượcMột số phương pháp kiểm chứng tái cấu trúc phần mềm
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ôi 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à Một số phương pháp kiểm chứng tái cấu trúc phần mềm 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 cả Một số phương pháp kiểm chứng tái cấu trúc phần mềm ...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ếlMột số phương pháp kiểm chứng tái cấu trúc phần mềm
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 cắuDẠ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à Một số phương pháp kiểm chứng tái cấu trúc phần mềm 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ố p Một số phương pháp kiểm chứng tái cấu trúc phần mềm hươ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 trêMột số phương pháp kiểm chứng tái cấu trúc phần mềm
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ư sauDẠ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à Một số phương pháp kiểm chứng tái cấu trúc phần mềm ì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 b Một số phương pháp kiểm chứng tái cấu trúc phần mềm ằ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 đầu tMột số phương pháp kiểm chứng tái cấu trúc phần mềm
rẽ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ế. PDẠ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à Một số phương pháp kiểm chứng tái cấu trúc phần mềm ứ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 qua Một số phương pháp kiểm chứng tái cấu trúc phần mềm n 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ảoMột số phương pháp kiểm chứng tái cấu trúc phần mềm
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êm 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à Một số phương pháp kiểm chứng tái cấu trúc phần mềm ự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ả Một số phương pháp kiểm chứng tái cấu trúc phần mềm 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