tailieunhanh - 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 đặt mục tiêu xây dựng một công cụ kèm theo, có tên LyFix, cho phép người dùng sửa lỗi hồi quy Java tự động và công bố nó như một phần mềm mã nguồn mở để cộng đồng có thể sử dụng. Khác với các kỹ thuật APR truyền thống, LyFix sử dụng các nguyên liệu sửa lỗi và những mẫu sửa lỗi cụ thể học từ lịch sử phát triển của các hệ thống phần mềm để đạt kết quả sửa lỗi tốt hơn cho các lỗi hồi quy. Mời các bạn cùng tham khảo! | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Bùi Quang Cường 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Ĩ Ngành Khoa học máy tính HÀ NỘI - 2020 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Bùi Quang Cường PHƯƠNG PHÁP TỰ ĐỘNG SỬA LỖI CHO CÁC CHƯƠNG TRÌNH JAVA Ngành Khoa học máy tính Chuyên ngành Khoa học máy tính Mã số 60 48 01 01 LUẬN VĂN THẠC SĨ NGƯỜI HƯỚNG DẪN KHOA HỌC PGS. TS. Phạm Ngọc Hùng HÀ NỘI - 2020 VIETNAM NATIONAL UNIVERSITY HA NOI UNIVERSITY OF ENGINEERING AND TECHNOLOGY Bui Quang Cuong A METHOD FOR AUTOMATED REPAIR OF ERRORS FOR JAVA PROGRAMS MASTER THESIS OF COMPUTER SCIENCE Major Computer Science Supervisor Assoc. Prof. Dr. Pham Ngoc Hung HANOI - 2020 i LỜI CAM ĐOAN Tôi xin cam đoan rằng những nghiên cứu về phương pháp tự động sửa lỗi cho các chương trình Java được trình bày trong luận văn này là của tôi và chưa từng được nộp như một báo cáo luận văn 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 trình Java tôi trình bày 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 Đại học Công nghệ - ĐHQGHN. Hà Nội ngày 15 tháng 08 năm 2020 Học viên cao học Bùi Quang Cường ii TÓM TẮT Cá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 thay đổi liên tục từ khách hàng và thị trường. Tuy nhiên những thay đổi này có thể gây ra các lỗi khiến cho những chức năng đã có của chương trình 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. Tuy nhiên các kỹ thuật chưa thực sự

• Thạc sĩ - Tiến sĩ - Cao học
• Luận văn Thạc sĩ
• Luận văn Thạc sĩ Khoa học máy tính
• Phương pháp tự động sửa lỗi
• Chương trình Java
• Hệ thống phần mềm mã nguồn mở
• Luận văn thạc sĩ kinh tế
• Luận văn thạc sĩ kế toán
• Mô hình tổ chức kế toán
• Tóm tắt luận văn thạc sĩ quản trị kinh doanh
• Luận văn thạc sĩ quản trị kinh doanh
• Luận văn thạc sĩ tài chính ngân hàng
• Kiểm soát nội bộ tín dụng
• Tóm tắt luận văn thạc sĩ kinh doanh
• Kiểm soát tín dụng
• Quản lý thu bảo hiểm xã hội
• Quản lý thu bảo hiểm
• Kiểm soát nội bộ chi phí
• Kiểm soát nội bộ
• Báo cáo bảo vệ luận văn thạc sĩ
• Bảo vệ luận văn thạc sĩ
• Giải trình sau bảo vệ luận văn thạc sĩ
• Hội đồng chấm luận văn thạc sĩ
• Đánh giá luận văn thạc sĩ
• Cách viết luận văn thạc sĩ
• Luận văn thạc sĩ lí luận
• Phương pháp dạy học văn
• Cách trình bày luận văn
• Kỹ năng trình bày luận văn thạc sĩ
• Luận văn kinh tế nông nghiệp
• Luận văn thạc sĩ nông nghiệp
• Luận văn phát triển kinh tế hộ
• Luận văn thạc sĩ kinh tế nông nghiệp
• Luận văn thạc sĩ thạc sĩ Lịch sử
• Luận văn thạc sĩ lý luận chính trị
• Luận văn lịch sử ĐCS Việt Nam
• Đề tài ĐCS Việt Nam
• Luận văn chính trị
• Luận văn sư phạm lịch sử
• Đề tài chiến tranh du kích ở Đăk Lăk
• Tóm tắt luận văn thạc sĩ khoa học xã hội
• Tóm tắt luận văn thạc sĩ khoa học nhân văn
• Luận văn thạc sĩ khoa học nhân văn
• Luận văn thạc sĩ khoa học xã hội
• Thơ Tản Đà
• Thơ Trần Tuấn Khải
• Luận văn Thạc sĩ Ngữ văn
• Luận văn Thạc sĩ ngành Văn học nước ngoài
• Luận văn Thạc sĩ ngành Văn học Trung Quốc
• Nghệ thuật trong Tây Du Ký
• Tây Du Ký
• Tóm tắt Luận văn Thạc sĩ
• Luận văn Thạc sĩ ngành Văn học Việt Nam
• Đặc điểm ký Nguyễn Ái Quốc
• Thể loại ký
• Thơ văn Nguyễn Ái Quốc
• Luận văn Thạc sĩ Khoa học Ngữ văn
• Nhà nho ẩn sĩ
• Tố chức ẩn sĩ của Đào Uyên Minh
• Tố chức ẩn sĩ của Nguyễn Bỉnh Khiêm
• Luận văn Thạc sĩ Sư phạm Ngữ văn
• Sư phạm Ngữ văn
• Phương pháp dạy học môn Ngữ văn
• Văn tế nghĩa sĩ Cần Giuộc
• Biện pháp tạo hứng thú trong dạy học
• Luận văn kinh tế quốc tế
• Đề tài hội nhập kinh tế Việt Nam
• Luận văn thạc sĩ kinh tế tài chính
• Đề tài dịch vụ tín dụng ngân hàng
• Luận văn ngân hàng thương mại
• Đề tài tài trợ tín dụng cho doanh nghiệp
• Đề tài tín dụng ngân hàng
• Luận văn cao học
• Đề tài quản trị kinh doanh
• Kiểm soát tín dụng tại ngân hàng
• Luận văn quản trị kinh doanh