Phương pháp tự động sửa lỗi cho các chương trình java
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Phương pháp tự động sửa lỗi cho các chương trình java
Phương pháp tự động sửa lỗi cho các chương trình java
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVALUẬN VĂN THẠC sĩNgành: Khoa học má Phương pháp tự động sửa lỗi cho các chương trình java áy tínhHÀ NỘI - 2020DẠI HỌC QLỈỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÕNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVANgành: Khoa học máy tính Chuyên ngành: Khoa học máy tính Mã số: 60 48 01 01LƯẬN VĂN THẠC sĩNGƯỜI HƯỚNG DẲN KHOA HỌC: PGS. TS. Phạm Ngọc HùngHÀ NỘI - 2020VIETNAM NA Phương pháp tự động sửa lỗi cho các chương trình java TIONAL UNIVERSITY, HA NOI UNIVERSITY OF ENGINEERING AND TECHNOLOGYBui Quang CuongA METHOD FOR AUTOMATED REPAIR OF ERRORS FOR JAVA PROGRAMSMASTER THESIPhương pháp tự động sửa lỗi cho các chương trình java
S OF COMPUTER SCIENCEMajor: Computer ScienceSupervisor: Assoc. Prof., Dr. Pham Ngoc HungHANOI - 2020LỜI CAM ĐOANTôi xin cam đoan ràng những nghiên cứuĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVALUẬN VĂN THẠC sĩNgành: Khoa học má Phương pháp tự động sửa lỗi cho các chương trình java tại trưởng Đại học Công nghệ - ĐHQGHN hoặc bất kỳ trường đại học khác. Những gì tôi viết ra không sao chép từ các tài liệu, không sứ dụng các kết quả của người khác mà không trích dẫn cụ thế. Tòi xin cam đoan công cụ tự động sửa lỏi cho các chương trinh Java tòi trình bày trơng luận văn là do tôi tự Phương pháp tự động sửa lỗi cho các chương trình java phát triển, không sao chép mà nguồn cùa người khác. Nếu sai tỏi hoàn toàn chịu trách nhiệm theo quy định cùa trường Đại học Cõng nghệ - ĐHQGHN.Hà NộiPhương pháp tự động sửa lỗi cho các chương trình java
, ngày 15 tháng 08 năm 2020Học viên cao họcBùi Quang CườngiiTÓM TẮTCác hệ thống phần mềm luôn không ngừng phát triển theo lẽ tự nhiên đê đáp ứng nhu cĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVALUẬN VĂN THẠC sĩNgành: Khoa học má Phương pháp tự động sửa lỗi cho các chương trình java không hoạt động đúng. Những lỗi như thế này được gọi là lồi hỏi quy. Sửa lỏi tự động (Automated Program Repair - APR) gần đây đà cho thầy được tiềm năng lớn trong việc tự động sửa các lói của phần mềm. Mặc dú với sự phát triển mạnh mẽ của APR, chì có một số kỹ thuật tập trung xứ lý các lồi hỏi quy. Phương pháp tự động sửa lỗi cho các chương trình java Tuy nhiên, các kỹ thuật chưa thực sự khai thác đầy đủ thông tin có sản trong lịch sừ phát triển cùa các phần mềm (ví dụ: bàn cập nhật gây ra lỏi, v.vPhương pháp tự động sửa lỗi cho các chương trình java
.) dể sửa lỏi hồi quy. Hơn nữa, những kỹ thuật này không còng bó cóng cụ cài đặt cho cộng dồng hoặc công cụ rắt hạn chế và khó có thể sử dụng dẽ sửa lĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVALUẬN VĂN THẠC sĩNgành: Khoa học má Phương pháp tự động sửa lỗi cho các chương trình java iện gần đây về lỏi hỏi quy, ví dụ: mói tương quan giữa các bân cập nhật tạo ra lỏi và sữa lỏi. Luận ván cài đặt lại vã cài tiến phương pháp sửa lối hồi quy tự động cho các chương trình c (Reliíix). Từ dó, xây dựng một hệ thống có tên là LyFix, cho phép người dùng sữa lỏi hồi quy Java tự động bang cá Phương pháp tự động sửa lỗi cho các chương trình java ch tận dụng các nguyên liệu sửa lỏi và các mẫu sửa lỗi cụ thể học dược từ lịch sử phát triển phần mềm. Tám mẫu sửa lỗi hổi quy, thuật toán sứa lỏi dãPhương pháp tự động sửa lỗi cho các chương trình java
được cài dặt lại dựa vào ý tường của Reliíix. Ngoài ra, luận vãn cài đặt thèm ba mẫu sừa lỏi hồi quy mới cho Java. Luận văn củng thực hiện thực nghiệmĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVALUẬN VĂN THẠC sĩNgành: Khoa học má Phương pháp tự động sửa lỗi cho các chương trình java utRepair, TBar) trên tập dử liệu 51 lỏi hòi quy thực tế của các hệ thống phàn mèm Java mã nguồn mờ. Két quà cho tháy Ly Fix có thế sinh ra bàn vá thành cóng cho 56.8% lỗi có trong tập dừ liệu và ti lệ số bản vá chính xác là 79.3% trong khi các cóng cụ khác sữa lói tót nhát (TBar) với kết quà sinh dư Phương pháp tự động sửa lỗi cho các chương trình java ợc bàn vã 33.3% lỏi và ti lệ bàn vá dũng lã 41.1%.Từ khóa: tự động sửa lồi chương trinh, lồi hồi quy, lịch SI? phát triền phần mềmiiiLỜI CẢM ƠNĐầu tiêPhương pháp tự động sửa lỗi cho các chương trình java
n và quan trọng nhát, tôi xin gửi lời cảm ơn trân trọng vã sâu sắc tới PGS. TS. Phạm Ngọc Hùng - người Thầy giáo đã trực tiếp hướng dẫn tận tình và đóĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVALUẬN VĂN THẠC sĩNgành: Khoa học má Phương pháp tự động sửa lỗi cho các chương trình java học Công nghệ cho đến nay. Thầy đã không ngần ngại cho phép và hỗ trợ tôi tự lựa chọn đề tài đê thực hiện luận văn này. Tỏi xin được gửi lời cảm ơn chân thành tới TS. Bách Lê, TS. Lê Quang Lộc, và PCS. TS. Corina Pasareanu đã hướng dẫn và hỗ trợ tôi rất nhiệt tình trong quá trình thực hiện luận vãn Phương pháp tự động sửa lỗi cho các chương trình java này. Các anh và có luôn động viên tôi và đưa ra những càu trã lời vã gợi ý ngay lập tức mỏi khi tòi gặp khó khăn. Các anh và cỏ cùng chia sẻ rất nhiềPhương pháp tự động sửa lỗi cho các chương trình java
u kinh nghiệm quý báu trong nghiên cứu và cuộc sống và tôi đã học được nhiều điều từ các anh. Xin được cảm ơn ban tổ chức chương trình Google Summer oĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVALUẬN VĂN THẠC sĩNgành: Khoa học má Phương pháp tự động sửa lỗi cho các chương trình java từ đề tãi KHCN cấp ĐHQGHN, Mã số đè tài: QG.19.24. Cuối cùng, tỏi xin được càm ơn những lời động viên tư gia đình, người thân, bạn bẽ để giúp tôi luôn vững bước trong con đường tương lai. Phương pháp tự động sửa lỗi cho các chương trình java ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆBùi Quang CườngPHƯƠNG PHÁP Tự ĐỘNG SỬA Lỗi CHO CÁC CHƯƠNG TRÌNH JAVALUẬN VĂN THẠC sĩNgành: Khoa học máGọi ngay
Chat zalo
Facebook