Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai
Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai
ĐẠI HỌC QƯÓC GIA HÀ NỘITRƯỜNG DẠI HỌC CÔNG NGHỆI.ÊìHÉ HUYNGHIÊN c ÍT TÔNG HỢP C ẤC C ÔNG c ụ PHẤT HIẸN LÕI PHẤN MÈM DẺ GIẤM c ÁNH BÁO SAINgành: Còng n Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sainghệ thông tin Chuyên ngành: Kỳ thuật phần mềm Mà sổ: 8480103.0iLUẬN VĂN THẠC’ sì CÔNG NGHỆ THÔNG TINNGƯỜI HI ÓNG DÀN KHOA HỌC: PGS. TS. TRƯƠNG ANH HOÀNGHà Nội - 20201MỤC LỤCDANH MỤC HÌNH ẢNH..................................3DANH MỤC BÀNG BIỂU.................................4DANH MỤC CÁC KÝ HIỆl’ Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo saiVÀ CHỮ VIẾT TẤT..............5LỜI CẢM ƠN.........................................6LỜI CAM ĐOAN.......................................7Chuông 1. GIỚI TNghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai
IIIẸU ĐÉ TÀI VÀ CẤC CÔNG cụ sứ DỤNG PHẢN TÍCHMÃ NGLÕN....................................... 81.1.Giới thiệu để tài................................ĐẠI HỌC QƯÓC GIA HÀ NỘITRƯỜNG DẠI HỌC CÔNG NGHỆI.ÊìHÉ HUYNGHIÊN c ÍT TÔNG HỢP C ẤC C ÔNG c ụ PHẤT HIẸN LÕI PHẤN MÈM DẺ GIẤM c ÁNH BÁO SAINgành: Còng n Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo saiarQuhe.................................................81.2.2.Công cụ phản tích Huntlỉugs................................................121.2.3.Công cụ phân tích PMD [6]..................................................121.2.4.công cụ phân tích InteỉìU IDE........................................... Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai...141.2.5.Công cụ phản tích VC(Ì /77/................................................181.2.6.Công cụ phản tích SpotHugs /8/..........................Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai
...................191.2.7.Công cụ phân tích Infer....................................................191.3.Đánh giá hiệu suất........................ĐẠI HỌC QƯÓC GIA HÀ NỘITRƯỜNG DẠI HỌC CÔNG NGHỆI.ÊìHÉ HUYNGHIÊN c ÍT TÔNG HỢP C ẤC C ÔNG c ụ PHẤT HIẸN LÕI PHẤN MÈM DẺ GIẤM c ÁNH BÁO SAINgành: Còng n Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai(CWE).............................................................22Chưưng 2. PHƯƠNG PHẤP VÀ TIÊN HÀNH THựC NGHIỆM.............................................232.1.Phưưng pháp nghiên cứu............................................................232.7.7.Chiến lược nghiên cứu........................ Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai..............................232.1.2.Phương pháp ỉịio dừ liệu...................................................232.1.3.Phân tích dử liệu............Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai
.................................................................... 242.2.Tiến hành thừ nghiệm.......................................................ĐẠI HỌC QƯÓC GIA HÀ NỘITRƯỜNG DẠI HỌC CÔNG NGHỆI.ÊìHÉ HUYNGHIÊN c ÍT TÔNG HỢP C ẤC C ÔNG c ụ PHẤT HIẸN LÕI PHẤN MÈM DẺ GIẤM c ÁNH BÁO SAINgành: Còng nĐẠI HỌC QƯÓC GIA HÀ NỘITRƯỜNG DẠI HỌC CÔNG NGHỆI.ÊìHÉ HUYNGHIÊN c ÍT TÔNG HỢP C ẤC C ÔNG c ụ PHẤT HIẸN LÕI PHẤN MÈM DẺ GIẤM c ÁNH BÁO SAINgành: Còng nGọi ngay
Chat zalo
Facebook