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 - 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 HùngHÀ NỘI - 2020VIETNAM NAT Phương pháp tự động sửa lỗi cho các chương trình java IONAL UNIVERSITY, HA NOI UNIVERSITY OF ENGINEERING AND TECHNOLOGYBui Quang CuongA METHOD FOR AUTOMATED REPAIR OF ERRORS FOR JAVA PROGRAMSMASTER THESISPhương pháp tự động sửa lỗi cho các chương trình java
OF COMPUTER SCIENCEMajor: Computer ScienceSupervisor: Assoc. Prof., Dr. Pham Ngoc HungHANOI - 2020ILỜI CAM ĐOANTôi xin cam đoan rang 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ệ - Đ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 trong 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 Đai hoc 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 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ẽ tự nhiên đế đáp ứng nhu 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 hô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 lư đô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. T Phương pháp tự động sửa lỗi cho các chương trình java uy 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.v.)Phương pháp tự động sửa lỗi cho các chương trình java
để 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à khó có thế sử dụng đế sửa lỗiĐẠ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 ệ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 lạ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ừ đó. 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ôi quy Java tự động bang các Phương pháp tự động sửa lỗi cho các chương trình java h 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 quy, thuật toán sừa lồi đâ đPhương pháp tự động sửa lỗi cho các chương trình java
ươc cài đặt lai 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 epair, 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á 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 đươc b Phương pháp tự động sửa lỗi cho các chương trình java ản vá 33.3% lỗi và tì lê bàn vá đúng là 41.1%.Từ khóa: tự động sữa lỗi chương ưình. IỖI hồi quy. lỊCh sừ phát triển phẫn mèmiiiLỜI CẢM ƠNĐâu tiên và qPhương pháp tự động sửa lỗi cho các chương trình java
uan 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 hướng dẫn tận tình và đóng gópĐẠ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 ô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á trình thực hiện luận văn này. Phương pháp tự động sửa lỗi cho các chương trình java 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êu kinhPhương pháp tự động sửa lỗi cho các chương trình java
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ương trình Google Summer of CodeĐẠ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 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. 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