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: 69 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Phương pháp Phân Tích Mã Nguồn Và Sinh Dữ Liệu Kiểm Thử Cho Các Dự Án C/C++

Tác giả: Nguyễn Đức Anh

Lĩnh vực: 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 xây dựng giải pháp kiểm thử tự động cho các dự án C/C++, nhằm giảm chi phí và nâng cao chất lượng phần mềm. Phương pháp đề xuất dựa trên kỹ thuật kiểm thử tự động định hướng, giải quyết các hạn chế còn tồn tại trong việc sinh dữ liệu kiểm thử ban đầu và tối ưu hóa số lượng bộ dữ liệu kiểm thử, đảm bảo độ phủ cao. Cụ thể, luận văn đề xuất kỹ thuật sinh dữ liệu kiểm thử đầu tiên dựa trên phân tích mã nguồn, thay vì phương pháp sinh ngẫu nhiên truyền thống. Thuật toán LDFS cũng được đề xuất để giảm thiểu số lượng bộ dữ liệu kiểm thử trong khi vẫn đạt độ phủ cao. Để chứng minh tính hiệu quả, công cụ CFT4Cpp đã được xây dựng và so sánh với các phương pháp kiểm thử khác như KLEE, PathCrawler, CAUT, CREST, cho kết quả khả quan về tính thực tiễn.

Mục lục chi tiết:

  • Chương 1: Giới thiệu
  • Chương 2: Tổng quan kĩ thuật kiểm thử tự động định hướng
  • Chương 3: Phương pháp kiểm thử tự động dự án C/C++ sử dụng kĩ thuật kiểm thử tự động định hướng
  • Chương 4: Công cụ và thực nghiệm
  • Chương 5: Kết luận
  • Tài liệu tham khảo