Luận văn: 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++

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: Công nghệ thông tin, Chuyên ngành: Kỹ thuật phần mềm

Nội dung tài liệu:

Luận văn thạc sĩ này tập trung vào các phương pháp kiểm thử phần mềm, đặc biệt là kiểm thử đơn vị. Bài viết đi sâu vào phân tích hai phương pháp kiểm thử chính là kiểm thử hộp đen (black-box testing) và kiểm thử hộp trắng (white-box testing). Trong khi kiểm thử hộp đen tập trung vào đầu vào và đầu ra mà không xem xét mã nguồn, kiểm thử hộp trắng lại đi sâu vào phân tích mã nguồn để phát hiện các lỗi tiềm ẩn. Tuy nhiên, kiểm thử hộp trắng thường tốn kém chi phí do số lượng lớn các hàm cần kiểm thử. Để giải quyết vấn đề này, luận văn đề cập đến việc tự động hóa quá trình kiểm thử hộp trắng.

Luận văn cũng thảo luận về hai hướng chính trong kiểm thử hộp trắng: phát hiện lỗi và tối đa hóa độ phủ. Độ phủ, liên quan đến việc thực thi các nhánh, câu lệnh, hoặc điều kiện con trong mã nguồn, được xem là một thước đo quan trọng cho chất lượng của các ca kiểm thử. Các công cụ kiểm thử như PathCrawler, CAUT, CUTE, CREST được giới thiệu như những giải pháp hỗ trợ.

Đặc biệt, luận văn tập trung vào phương pháp kiểm thử theo hướng động, bao gồm kỹ thuật Execution Generated Testing (EGT) và kỹ thuật concolic. Kỹ thuật concolic được đề xuất như một giải pháp để cải thiện hiệu quả trong việc sinh ca kiểm thử, đặc biệt đối với các dự án C/C++. Luận văn đề xuất phương pháp giải quyết các vấn đề còn tồn tại trong kiểm thử concolic, bao gồm việc đề xuất phương pháp sinh ca kiểm thử đầu tiên và phương pháp phân tích mã nguồn dự án C/C++ để sinh ra tập ca kiểm thử tối ưu về số lượng và độ phủ.

Mục lục chi tiết:

(Không có thông tin về mục lục chi tiết trong văn bản được cung cấp.)