Đề tài này nhằm nghiên cứu và áp dụng phương pháp thực thi tượng trưng vào quá trình kiểm thử Unit sử dụng công cụ JUnit cho ngôn ngữ Java. Bối cảnh đề tài được đặt ra từ nhu cầu nâng cao chất lượng mã nguồn thông qua việc cải thiện hiệu quả kiểm thử tự động. Mục tiêu của nghiên cứu là xây dựng và triển khai một hệ thống kiểm thử Unit mới, dựa trên thực thi tượng trưng, nhằm tự động hóa quy trình phát hiện lỗi và tăng cường độ chính xác của kết quả kiểm thử. Phương pháp nghiên cứu bao gồm cả phân tích lý thuyết về thực thi tượng trưng và thực nghiệm ứng dụng phương pháp này trong môi trường Java. Qua đó, đề tài mong muốn đóng góp một giải pháp mới cho lĩnh vực kiểm thử phần mềm và nâng cao năng lực phát triển phần mềm bền vững.