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ạm

Loại tài liệu: PDF

Số trang: 78 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nộ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

DẠI HỌC QUỐ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 JAVALUẬN VÀN THẠC sĩNgành: Khoa

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ọ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: K

hoa 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 - 2020VIETN 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

AM NATIONAL UNIVERSITY, HA NOI UNIVERSITY OF ENGINEERING AND TECHNOLOGYBui Quang CuongA METHOD FOR AUTOMATED REPAIR OF ERRORS FOR JAVA PROGRAMSMASTER

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

THESIS 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

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 tại trường Dại học Công nghệ - DI ỈQGI IN 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 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ò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 quỵ định của trường Đại học Công nghệ - ĐHQGHN

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à Nội, ngày 15 tháng 08 năm 2020 Họ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 dè' đáp

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 trình không hoạt dộng dứng. Nlìừng lói như thế này dược gọi là lói hồi quy. Sứa lói tự dộng (Automated Program Repair - APR) gần dây dã cho thấy

ditợ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 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

lói hồi quy. Tuy nhiên, các kỹ thuật chưa thực sir khai thác đầy đù thông tin có sẵn trong lịch sừ phát triển cùa các phần mem (ví dụ: bàn cập nhật gâ

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

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 dặt cho cộng dóng hoặc còng cụ rất hạn chế và khó có thê sử

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 những phát hiện gần dâ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ự dộng cho các chương trinh c (Reliíix). Từ đó, 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ự 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 bang 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 dược từ lịch sử phát triển phần mềm. Tám mau sửa lói hói quy, thuật toá

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 sửa lói đã được cài đạt lại dựa vào ý tường của Rclitix. 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ệ

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 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 (TBar) với kế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

quá sinh dược bán vá 33.3% lói và tí lệ bán vá dứng là 41.1%.lừ khóa: tự động sưa ỉỏi chương trình, lỗi ỉiồi quy, lịch sứ phát triền phần mềmiiiLỜI 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

M ƠNDầu tiê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

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 trường Dạ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á trình thực hi 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 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 kịp tức mỗi khi tôi gập kho khăn. Các anh và cô cùng chia

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

sẻ rất nhiề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 dược cảm ơn ban tổ chức chương trình Goog

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ợ một phần tữ dề tài KHCN cấp Dl IQGHN, Mã số đề tài: QG.19.24. Cuối cùng, tôi xin dược cám ơn những lời dộng viên từ gia dinh, người thân, bạn bè dế

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