luận văn thạc sĩ 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: luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java
luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java
https: //k hot h u vien .comĐẠ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 luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java VĂN THẠC sĩNgành: Khoa học máy tínhHÀ NỘI - 2020ĐẠ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 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 01LUẬN VĂN THẠC sĩNGƯỜI HƯỚNG DÃN KHOA HỌC: PGS. TS. Phạm Ngọc luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java HùngHÀ NỘI - 2020VIETNAM NATIONAL UNIVERSITY, HA NOI UNIVERSITY OF ENGINEERING AND TECHNOLOGYBui Quang CuongA METHOD FOR AUTOMATED REPAIR OF ERRORS FOluận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java
R JAVA PROGRAMSMASTER THESIS OF COMPUTER SCIENCEMajor: Computer ScienceSupervisor: Assoc. Prof., Dr. Pham Ngoc HungHANOI - 2020ILỜI CAM ĐOANTôi xin cahttps: //k hot h u vien .comĐẠ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 luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java ộp như một báo cáo luận văn tại trường Đại học công nghệ - ĐHỌGHN hoặc bât kỳ trường đại hoc 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 trình Java tôi trình bày luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java trong luận văn là do tòi tự 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 Đai hluận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java
oc Còng nghệ - ĐHQGHN.Hà Nội, ngày 15 tháng 08 năm 2020Học viên cao hocBùi Quang CườngTÓM TẲTCác hệ thông phân mèm luôn không ngừng phát triển theo lẽhttps: //k hot h u vien .comĐẠ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 luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java ăng đã có cùa chương trình không hoạt động đúng. Những lỗi như the 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 tr luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java ung xử lý các lỗi hồi quy. 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àluận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java
n cập nhât gây ra lồi, v.v.) để 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 đông hoặc công cụ rât hạn chê và khttps: //k hot h u vien .comĐẠ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 luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java ác và mò' rông những phát hiệ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 nê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ừ đó. xây dựng một hệ thông có tên là LyPix. cho phép người dùng sửa lỗi hô luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java i quy Java tự động bằng cá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 được lừ lịch sử phát triển phẳn mèm. Tám mẫu sửa lối hỏi qluận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java
uy, thuật toán sừa lỗi đã đươc cài đặ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 chttps: //k hot h u vien .comĐẠ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 luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java t hiện nay (jGenProg, jMutRepair, 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 LyFix có thể sinh ra bàn vá thành công cho 56.8% lỗi có trong tập dữ liêu và tỉ lệ sô bản vá chinh xác là 79.3% trong khi các công cụ khác sửa lỗi tốt nhãt (T luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java Bar) với kẽt quả sinh đươc bàn vá 33.3% lỗi và tì lê bàn vá đúng là 41.1%.Từ khóa: ỉự động sửa lỗi chương trình. IỖI hồi quy. lỊCh sử phát triển phầnluận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java
mèmiiiLỜI CẢM ƠNĐâu tiên và quan trọng nhât, tôi xin gửi lời càm ơn trân trong 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 hhttps: //k hot h u vien .comĐẠ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 luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java inh viên tai trường Đại 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à PGS. TS. Corina Pasareanu đã hướng dẫn và hỗ trợ tôi răt nhiệt tình trong quá t luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java rình thực hiện luận văn 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à cluận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java
ô cũng chia sẻ rât nhiêu kinh nghiệm quý báu trong nghiên cứu và cuộc sông và tôi đă hoc Ơươc nhiêu điêu từ các anh. Xin dược càm ơn ban tố chức chươnhttps: //k hot h u vien .comĐẠ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 luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java g được tài trợ một phàn từ đè tài KHCN cap ĐHỌGHN, Mã số đẻ tài: ỌG.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, ban bè để giúp tôi luôn vững bước trong con đường tương lai. luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình java https: //k hot h u vien .comĐẠ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 VGọi ngay
Chat zalo
Facebook