![Phân tích tư tưởng của nhân dân qua đoạn thơ: Những người vợ nhớ chồng… Những cuộc đời đã hóa sông núi ta trong Đất nước của Nguyễn Khoa Điềm](https://timtailieu.net/upload/document/136415/phan-tich-tu-tuong-cua-nhan-dan-qua-doan-tho-039-039-nhung-nguoi-vo-nho-chong-nhung-cuoc-doi-da-hoa-song-nui-ta-039-039-trong-dat-nuoc-cua-nguyen-khoa-136415.jpg)
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
Số trang: 52
Loại file: pdf
Dung lượng: 2.05 MB
Lượt xem: 18
Lượt tải: 0
Xem trước 6 trang đầu tiên của tài liệu này:
Thông tin tài liệu:
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!
Nội dung trích xuất từ tài liệu:
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 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ LÊ THẾ HUYNGHIÊ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ố: 8480103.01 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ỤCDANH MỤC HÌNH ẢNH .............................................................................................3DANH MỤC BẢNG BIỂU ...........................................................................................4DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT ..................................................5LỜI CẢM ƠN ................................................................................................................6LỜI CAM ĐOAN ..........................................................................................................7Chương 1. GIỚI THIỆU ĐỀ TÀI VÀ CÁC CÔNG CỤ SỬ DỤNG PHÂN TÍCHMÃ NGUỒN ...................................................................................................................8 1.1. Giới thiệu đề tài ................................................................................................8 1.2. Các công cụ được sử dụng trong nghiên cứu ................................................8 1.2.1. Công cụ phân tích SonarQube ...............................................................8 1.2.2. Công cụ phân tích HuntBugs ...............................................................12 1.2.3. Công cụ phân tích PMD [6] .................................................................12 1.2.4. Công cụ phân tích IntelliJ IDE ............................................................14 1.2.5. Công cụ phân tích VCG [11] ................................................................18 1.2.6. Công cụ phân tích SpotBugs [8] ..........................................................19 1.2.7. Công cụ phân tích Infer .......................................................................19 1.3. Đánh giá hiệu suất ..........................................................................................21 1.4. Bộ thử nghiệm (Test Suite)............................................................................21 1.5. Các lớp yếu điểm(CWE) ................................................................................22Chương 2. PHƯƠNG PHÁP VÀ TIẾN HÀNH THỰC NGHIỆM .........................23 2.1. Phương pháp nghiên cứu ..............................................................................23 2.1.1. Chiến lược nghiên cứu .........................................................................23 2.1.2. Phương pháp tạo dữ liệu ......................................................................23 2.1.3. Phân tích dữ liệu ...................................................................................24 2.2. Tiến hành thử nghiệm ...................................................................................24 2.2.1. Bộ dữ liệu kiểm thử Juliet phiên bản 1.3 ............................................24 2 2.2.2. Quá trình chạy công cụ ........................................................................28 2.2.3. Tổng hợp dữ liệu ...................................................................................31 2.2.4. Viết công cụ phân tích dữ liệu .............................................................32 2.2.5. Thực hiện phân tích dữ liệu .................................................................33Chương 3. KẾT QUẢ VÀ ĐÁNH GIÁ ......................................................................43 3.1. Kết quả ............................................................................................................43 3.1.1. Phân tích không theo tiêu chuẩn CWE ...............................................43 3.1.2. Phân tích theo từng danh mục chuẩn CWE .......................................43 3.1.3. Phân tích tổ hợp công cụ không theo chuẩn CWE .............................45 3.1.4. Phân tích tổ hợp theo chuẩn CWE ......................................................45 3.2. Đánh giá ..........................................................................................................48 3.2 ...
Nội dung trích xuất từ tài liệu:
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 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ LÊ THẾ HUYNGHIÊ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ố: 8480103.01 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ỤCDANH MỤC HÌNH ẢNH .............................................................................................3DANH MỤC BẢNG BIỂU ...........................................................................................4DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT ..................................................5LỜI CẢM ƠN ................................................................................................................6LỜI CAM ĐOAN ..........................................................................................................7Chương 1. GIỚI THIỆU ĐỀ TÀI VÀ CÁC CÔNG CỤ SỬ DỤNG PHÂN TÍCHMÃ NGUỒN ...................................................................................................................8 1.1. Giới thiệu đề tài ................................................................................................8 1.2. Các công cụ được sử dụng trong nghiên cứu ................................................8 1.2.1. Công cụ phân tích SonarQube ...............................................................8 1.2.2. Công cụ phân tích HuntBugs ...............................................................12 1.2.3. Công cụ phân tích PMD [6] .................................................................12 1.2.4. Công cụ phân tích IntelliJ IDE ............................................................14 1.2.5. Công cụ phân tích VCG [11] ................................................................18 1.2.6. Công cụ phân tích SpotBugs [8] ..........................................................19 1.2.7. Công cụ phân tích Infer .......................................................................19 1.3. Đánh giá hiệu suất ..........................................................................................21 1.4. Bộ thử nghiệm (Test Suite)............................................................................21 1.5. Các lớp yếu điểm(CWE) ................................................................................22Chương 2. PHƯƠNG PHÁP VÀ TIẾN HÀNH THỰC NGHIỆM .........................23 2.1. Phương pháp nghiên cứu ..............................................................................23 2.1.1. Chiến lược nghiên cứu .........................................................................23 2.1.2. Phương pháp tạo dữ liệu ......................................................................23 2.1.3. Phân tích dữ liệu ...................................................................................24 2.2. Tiến hành thử nghiệm ...................................................................................24 2.2.1. Bộ dữ liệu kiểm thử Juliet phiên bản 1.3 ............................................24 2 2.2.2. Quá trình chạy công cụ ........................................................................28 2.2.3. Tổng hợp dữ liệu ...................................................................................31 2.2.4. Viết công cụ phân tích dữ liệu .............................................................32 2.2.5. Thực hiện phân tích dữ liệu .................................................................33Chương 3. KẾT QUẢ VÀ ĐÁNH GIÁ ......................................................................43 3.1. Kết quả ............................................................................................................43 3.1.1. Phân tích không theo tiêu chuẩn CWE ...............................................43 3.1.2. Phân tích theo từng danh mục chuẩn CWE .......................................43 3.1.3. Phân tích tổ hợp công cụ không theo chuẩn CWE .............................45 3.1.4. Phân tích tổ hợp theo chuẩn CWE ......................................................45 3.2. Đánh giá ..........................................................................................................48 3.2 ...
Tìm kiếm theo từ khóa liên quan:
Luận văn Thạc sĩ Luận văn Thạc sĩ Công nghệ thông tin Công nghệ thông tin Công cụ phát hiện lỗi phần mềm Lỗi phần mềmTài liệu liên quan:
-
52 trang 442 1 0
-
Luận văn Thạc sĩ Kinh tế: Quản trị chất lượng dịch vụ khách sạn Mường Thanh Xa La
136 trang 369 5 0 -
97 trang 338 0 0
-
Top 10 mẹo 'đơn giản nhưng hữu ích' trong nhiếp ảnh
11 trang 332 0 0 -
97 trang 323 0 0
-
74 trang 311 0 0
-
96 trang 308 0 0
-
Luận văn Thạc sĩ Khoa học máy tính: Tìm hiểu xây dựng thuật toán giấu tin mật và ứng dụng
76 trang 305 0 0 -
155 trang 300 0 0
-
Báo cáo thực tập thực tế: Nghiên cứu và xây dựng website bằng Wordpress
24 trang 300 0 0