tailieunhanh - Luận văn Thạc sĩ Công nghệ thông tin: Nghiên cứu tổng hợp các công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai

Trong luận văn sẽ phân tích kết quả của các công cụ đưa ra trên một số tiêu chí và từ đó đưa ra đánh giá công cụ nào hiện nay đáp ứng tốt nhất để có thể giải quyết được các vấn đề nêu trên của nhà phát triển. Mời các bạn tham khảo! | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ LÊ THẾ HUY NGHIÊN CỨU TỔNG HỢP CÁC CÔNG CỤ PHÁT HIỆN LỖI PHẦN MỀM ĐỂ GIẢM CẢNH BÁO SAI Ngành Công nghệ thông tin Chuyên ngành Kỹ thuật phần mềm Mã số LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC PGS. TS. TRƯƠNG ANH HOÀNG Hà Nội - 2020 1 MỤC LỤC DANH MỤC HÌNH ẢNH .3 DANH MỤC BẢNG BIỂU .4 DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT .5 LỜI CẢM ƠN .6 LỜI CAM ĐOAN .7 Chương 1. GIỚI THIỆU ĐỀ TÀI VÀ CÁC CÔNG CỤ SỬ DỤNG PHÂN TÍCH MÃ NGUỒN .8 . Giới thiệu đề tài .8 . Các công cụ được sử dụng trong nghiên cứu .8 . Công cụ phân tích SonarQube .8 . Công cụ phân tích HuntBugs .12 . Công cụ phân tích PMD 6 .12 . Công cụ phân tích IntelliJ IDE .14 . Công cụ phân tích VCG 11 .18 . Công cụ phân tích SpotBugs 8 .19 . Công cụ phân tích Infer .19 . Đánh giá hiệu suất .21 . Bộ thử nghiệm Test Suite .21 . Các lớp yếu điểm CWE .22 Chương 2. PHƯƠNG PHÁP VÀ TIẾN HÀNH THỰC NGHIỆM .23 . Phương pháp nghiên cứu .23 . Chiến lược nghiên cứu .23 . Phương pháp tạo dữ liệu .23 . Phân tích dữ liệu .24 . Tiến hành thử nghiệm .24 . Bộ dữ liệu kiểm thử Juliet phiên bản .24 2 . Quá trình chạy công cụ .28 . Tổng hợp dữ liệu .31 . Viết công cụ phân tích dữ liệu .32 . Thực hiện phân tích dữ liệu .33 Chương 3. KẾT QUẢ VÀ ĐÁNH GIÁ .43 . Kết quả .43 . Phân tích không theo tiêu chuẩn CWE .43 . Phân tích theo từng danh mục chuẩn CWE .43 . Phân tích tổ hợp công cụ không theo chuẩn CWE .45 . Phân tích tổ hợp theo chuẩn CWE .45 . Đánh giá .48 . Phân tích không theo chuẩn CWE .48 . Phân tích theo chuẩn CWE .49 Chương 4 KẾT LUẬN .50 Tài liệu tham khảo .51 3 DANH MỤC HÌNH ẢNH Hình 4 thành phần chính của SonarQube 1 .9 Hình Các ngôn ngữ SonarQube hỗ trợ .10 Hình Cách thức hoạt động của SonarQube .11 Hình Lỗi NullPointer trước khi sửa .15 Hình Lỗi NullPointer sau khi sửa .15 Hình Mã nguồn

TÀI LIỆU LIÊN QUAN
TỪ KHÓA LIÊN QUAN