Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 52 trang
Dung lượng: 1 MB

Giới thiệu nội dung

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

Tác giả: Lê Thế Huy

Lĩnh vực: Công nghệ thông tin, Kỹ thuật phần mềm

Nội dung tài liệu:
Luận văn này tập trung vào việc nghiên cứu và tổng hợp các công cụ phân tích mã nguồn tĩnh nhằm mục đích giảm thiểu cảnh báo sai trong quá trình phát triển phần mềm. Nghiên cứu đánh giá hiệu quả của các công cụ phổ biến như SonarQube, SpotBugs, PMD, IntelliJ IDE, VCG, HuntBugs, và Infer. Qua đó, luận văn đưa ra những so sánh, phân tích kết quả dựa trên các tiêu chí nhất định để xác định công cụ nào đáp ứng tốt nhất yêu cầu phát hiện lỗi, cũng như xem xét khả năng cải thiện chất lượng kiểm tra khi kết hợp các công cụ.

Mục lục chi tiết:

  • DANH MỤC HÌNH ẢNH
  • DANH MỤC BẢNG BIỂU
  • DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT
  • 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

    • Giới thiệu đề tài
    • Các công cụ được sử dụng trong nghiên cứu

      • Công cụ phân tích SonarQube
      • Công cụ phân tích HuntBugs
      • Công cụ phân tích PMD [6]
      • Công cụ phân tích IntelliJ IDE
      • Công cụ phân tích VCG [11]
      • Công cụ phân tích SpotBugs [8]
      • Công cụ phân tích Infer
    • Đánh giá hiệu suất
    • Bộ thử nghiệm (Test Suite)
    • Các lớp yếu điểm(CWE)
  • Chương 2. PHƯƠNG PHÁP VÀ TIẾN HÀNH THỰC NGHIỆM

    • Phương pháp nghiên cứu

      • Chiến lược nghiên cứu
      • Phương pháp tạo dữ liệu
      • Phân tích dữ liệu
    • Tiến hành thử nghiệm

      • Bộ dữ liệu kiểm thử Juliet phiên bản 1.3
      • Quá trình chạy công cụ
      • Tổng hợp dữ liệu
      • Viết công cụ phân tích dữ liệu
      • Thực hiện phân tích dữ liệu
  • Chương 3. KẾT QUẢ VÀ ĐÁNH GIÁ

    • Kết quả

      • Phân tích không theo tiêu chuẩn CWE
      • Phân tích theo từng danh mục chuẩn CWE
      • Phân tích tổ hợp công cụ không theo chuẩn CWE
      • Phân tích tổ hợp theo chuẩn CWE
    • Đánh giá

      • Phân tích không theo chuẩn CWE
      • Phân tích theo chuẩn CWE
  • Chương 4: KẾT LUẬN
  • Tài liệu tham khảo