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: 105 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 Biểu Trưng

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

Lĩnh vực: Luận án Tiến sĩ Toán học

Nội dung tài liệu:

Luận án này tập trung nghiên cứu về việc cải tiến các phương pháp mô hình hóa và giải ràng buộc trên kiểu dữ liệu xâu và ràng buộc hỗn hợp, nhằm nâng cao hiệu quả của kỹ thuật thực thi biểu trưng trong việc tự động sinh dữ liệu kiểm thử. Nghiên cứu đã cài đặt thử nghiệm các phương pháp đề xuất, áp dụng các công cụ như Otomat và Bitvector, và thực hiện đánh giá so sánh kết quả thu được.

Mục lục chi tiết:

  • Mở đầu
  • Chương 1: Tổng quan về kiểm thử phần mềm và thực thi biểu trưng
  • Chương 2: Thực thi biểu trưng và mô hình hóa ràng buộc
  • Chương 3: Giải ràng buộc xâu
  • Kết luận và kiến nghị
  • Danh mục công trình của tác giả
  • Tài liệu tham khảo