Xây dựng công cụ sinh dữ liệu thử tự động cho chương trình Java

Abstract

Hiện nay các công cụ sinh dữ liệu thử tự động đã được nghiên cứu, hiện thực hóa và ứng dụng rộng nhờ tính chính xác và khách quan trong quá trình sinh dữ liệu thử. Tuy nhiên những công cụ này vẫn còn tồn tại một số nhược điểm nhất định. Nghiên cứu này được đề xuất nhằm tập trung giải quyết vấn đề về giải các ràng buộc cho kỹ thuật sinh dữ liệu thử tự động bằng thực thi ký hiệu. Luận văn đã khái quát về Thực thi ký hiệu, giải pháp sinh dữ liệu thử cho chƣơng trình Java và đề xuất và cài đặt giải pháp tối ưu hóa các ràng buộc lộ trình. Các phân tích đánh giá hệ thống cũng được giới thiệu trong luận văn. Tác giả đã tóm tắt các kết quả đạt được và đưa ra hướng phát triển tiếp theo.