Đề tài này tập trung vào việc nghiên cứu và áp dụng kỹ thuật thực thi tượng trưng để tự động hóa quá trình tạo lập Test Case, nhằm giải quyết vấn đề hiệu suất và độ chính xác của việc viết test thủ công. Mục tiêu là xây dựng hệ thống tự động hóa dựa trên sự kết hợp giữa lý thuyết về đại diện biểu đồ và phương pháp học máy. Qua thực nghiệm, đề tài mong đợi đóng góp một giải pháp thực tế cho các nhà phát triển phần mềm trong lĩnh vực kiểm thử tự động.