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

Một Số Cải Tiến Về Ràng Buộc Xâu Trong Sinh Dữ Liệu Kiểm Thử Tự Động Cho Thực Thi Tượng Trưng

Tác giả: Tô Hữu Nguyên

Lĩnh vực: Cơ sở toán học cho tin học

Nội dung tài liệu:
Luận án tập trung vào việc nâng cao hiệu quả của quá trình sinh dữ liệu kiểm thử tự động cho phần mềm, đặc biệt là cho kỹ thuật thực thi biểu trưng. Nghiên cứu này đề xuất các cải tiến trong việc mô hình hóa và giải quyết các ràng buộc liên quan đến kiểu dữ liệu xâu và ràng buộc hỗn hợp. Các phương pháp được áp dụng bao gồm kỹ thuật thực thi biểu trưng, Otomata, Bitvector, và mô hình hóa ràng buộc dựa trên đồ thị xâu. Mục tiêu chính là tối ưu hóa việc giải các ràng buộc, giảm thiểu thời gian thực thi, và tăng cường khả năng bao phủ của quá trình kiểm thử. Nghiên cứu cũng đề cập đến việc sử dụng công cụ Java PathFinder (JPF) để triển khai và đánh giá hiệu quả của các phương pháp đề xuất.

Mục lục chi tiết:
(Nội dung chi tiết không được cung cấp trong văn bản.)