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

Giới thiệu nội dung

Some Improvements Of String Constraint Solving In Automated Test Cases Generation For Symbolic Execution

Tác giả: To Huu Nguyen

Lĩnh vực: Mathematical foundations for Informatics

Nội dung tài liệu:
Nghiên cứu này tập trung vào việc cải thiện khả năng giải quyết các ràng buộc chuỗi (string constraint) trong việc tự động tạo các trường hợp kiểm thử (test cases) cho kỹ thuật thực thi biểu tượng (symbolic execution). Luận án xem xét các kỹ thuật tạo trường hợp kiểm thử tự động, đặc biệt là ứng dụng của thực thi biểu tượng, và đề xuất các phương pháp cải tiến việc mô hình hóa ràng buộc và khả năng giải quyết chúng. Nghiên cứu cũng khám phá việc áp dụng kỹ thuật thực thi biểu tượng cho dữ liệu chuỗi, vốn thường gây khó khăn do sự pha trộn giữa miền dữ liệu chuỗi và số nguyên. Các cải tiến được đề xuất nhằm nâng cao khả năng bao phủ và chất lượng của phần mềm thông qua việc tạo ra các trường hợp kiểm thử hiệu quả hơn.

Mục lục chi tiết:
Chương 1: Tổng quan về kiểm thử phần mềm và thực thi biểu tượng
Chương 2: Thực thi biểu tượng và mô hình hóa ràng buộc