Đề tài này tập trung vào nghiên cứu kỹ thuật thực thi tượng trưng để tự động hóa quá trình tạo lập các Test Case. Trong bối cảnh ngày càng tăng của yêu cầu chất lượng phần mềm, đề tài nhằm giải quyết vấn đề quan trọng về việc nâng cao hiệu quả và độ chính xác trong quá trình kiểm thử. Qua việc kết hợp phương pháp lý thuyết với thực nghiệm, nghiên cứu này sẽ xây dựng một hệ thống hỗ trợ tự động hóa sinh Test Case dựa trên kỹ thuật thực thi tượng trưng. Mục tiêu của đề tài là đóng góp vào sự phát triển bền vững và hiệu quả của quy trình kiểm thử phần mềm thông qua việc áp dụng các công nghệ tiên tiến. Ý nghĩa của đề tài nằm ở khả năng ứng dụng thực tế, cung cấp giải pháp tự động hóa hiệu quả cho quá trình tạo lập Test Case trong các dự án phát triển phần mềm.