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 VÀ TIẾN HÀ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Ả VÀ ĐÁ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

Thiên Hương 48 52 pdf

Upload

Không thể tạo bản xem trước, hãy bấm tải xuống

Tải xuống

TÀI LIỆU LIÊN QUAN

Tóm tắt luận văn thạc sĩ: Hoàn thiện mô hình tổ chức kế toán tại công ty điện lực Quảng Nam thuộc tổng công ty điện lực miền Trung

29 430 10

Tóm tắt luận văn thạc sĩ: Kiểm soát nội bộ hoạt động tín dụng tại ngân hàng nông nghiệp và phát triển nông thôn thành phố Đà Nẵng

25 390 5

Tóm tắt luận văn thạc sĩ: Tăng cường kiểm soát nội bộ đối với hoạt động tín dụng tại các chi nhánh NHNo&PTNT khu vực miền Trung

26 286 1

Tóm tắt luận văn thạc sĩ: Tăng cường kiểm soát nội bộ hoạt động tín dụng tại ngân hàng thương mại cổ phần quân đội - chi nhánh Đà Nẵng

26 333 2

Tóm tắt luận văn thạc sĩ: Tăng cường kiểm soát tín dụng tại ngân hàng NHNo&PTNT Đà Nẵng

13 333 2

Tóm tắt luận văn thạc sĩ: Thiết kế thủ tục kiểm soát trong chương trình quản lý bảo hiểm xã hội tại bảo hiểm xã hội thành phố Đà Nẵng

13 299 0

Tóm tắt luận văn thạc sĩ: Tổ chức kiểm toán nội bộ tại công ty cổ phần xây dựng xây lắp Đà Nẵng (Coxiva)

26 355 5

Mẫu báo cáo giải trình sau bảo vệ luận văn thạc sĩ

11 340 8

Mấy ý kiến về viết luận văn thạc sĩ lí luận và phương pháp dạy học văn - Trần Thanh Bình

4 417 3

Luận văn Thạc sĩ Kinh tế: Phát triển kinh tế hộ và những tác động đến môi trường khu vực nông thôn huyện Định Hóa tỉnh Thái Nguyên

148 455 14

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 461857 55

Giới thiệu :Lập trình mã nguồn mở

14 22603 58

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10882 529

Câu hỏi và đáp án bài tập tình huống Quản trị học

14 10049 445

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 9513 104

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8268 1124

Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức

16 8224 423

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7862 2220

Đề tài: Dự án kinh doanh thời trang quần áo nữ

17 6669 253

Vật lý hạt cơ bản (1)

29 5765 85

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Giáo án mầm non chương trình đổi mới: Đề tài: Ôn xác định vị trí trên – dưới, trước- sau của đối tượng khác.

8 352 3 24-04-2024

Khurana et al. Journal of Orthopaedic Surgery and Research 2010, 5:23

7 133 0 24-04-2024

báo cáo hóa học:" Endoscopic decompression for intraforaminal and extraforaminal nerve root compression"

7 107 0 24-04-2024

Bài Tiểu Luận Chuyên Đề Tổ Chức Hoạt Động Nhận Thức Trong Dạy Học Vật Lý " Định Luật Ôm Cho Các Loại Đoạn Mạch Chứa Nguồn Điện"

10 150 3 24-04-2024

Báo cáo nghiên cứu nông nghiệp " Introduction of the principles of GAP for citrus through implementation of citrus IPM using Farmer Field Schools "

12 92 0 24-04-2024

Báo cáo nghiên cứu nông nghiệp " Biofertiliser inoculant technology for the growth of rice in Vietnam: Developing technical infrastructure for quality assurance and village production for farmers "

12 85 0 24-04-2024

Báo cáo nghiên cứu nông nghiệp " Field control of pest fruit flies in Vietnam "

14 116 0 24-04-2024

Cơ bản về Microsoft Frontpage part 7

5 99 0 24-04-2024

GIÁO TRÌNH LÝ THUYẾT & BÀI TẬP KỸ THUẬT SỐ

163 101 1 24-04-2024

Báo cáo y học: "Regulation and localization of endogenous human tristetraprolin"

12 82 0 24-04-2024

TÀI LIỆU HOT

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7862 2220

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 5678 1349

Ebook Chào con ba mẹ đã sẵn sàng

112 3757 1230

Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1

62 5309 1135

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8268 1124

Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu

561 3489 642

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10882 529

Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân

122 3678 525

Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm

274 4040 514

Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe

35 4120 480