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

ĐẠ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

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ộĩ - 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 để đá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 javang 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 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ồ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 mem (ví dụ: bàn cập nhật gảy ra

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, v.v.) để sửa lỗi hồi quy. I kí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ụ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ữ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 dặ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ự độ 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ụ the học đượ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

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

ửa lồi đà được cài đật lại dựa vào ý tưởng của Relifix. NgOcài ra, luận vãn cài dặ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

Luận văn thạc sĩ phương pháp tự động sửa lỗi cho các chương trình javaenProg, jMutRepair, TBar) trên tập dử liệu 51 lơi hồi quy thực tế của các hệ thong 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à 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 tot nhát (TBar) với kết q 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

uà sinh dượ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 trình, lỗi hồi quy, lịch sử phát triển phần tnềmiiiLỜI CẢM

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

Ơ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 javatrườ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 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

ẻ 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 Googl

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