Hệ thống quản lý sinh viên (Student Management System - SMS) đóng vai trò quan trọng trong việc quản lý và theo dõi thông tin sinh viên của các cơ sở giáo dục đại học. Nó không chỉ tác động trực tiếp đến trải nghiệm học tập của sinh viên mà còn ảnh hưởng đến hiệu suất hoạt động của nhà trường. Vận trù học (Operations Research - OR) là một ngành khoa học nghiên cứu các vấn đề thực tế nhằm xác định cách sử dụng tối ưu các nguồn lực hiện có để đạt được các mục tiêu đã định trước thông qua các phép tính toán và công cụ kỹ thuật số. Bài báo này trình bày ứng dụng của OR để tối ưu hóa quy trình kiểm chứng chức năng của hệ thống SMS. Cụ thể, chúng tôi sử dụng Lập trình tuyến tính (Linear Programming - LP) để kiểm tra các chức năng: (i) Đăng ký khóa học và (ii) Lập thời khóa biểu. Hơn thế nữa, chúng tôi cũng so sánh và phân tích kết quả thực nghiệm khi sử dụng OR với các phương pháp kiểm thử truyền thống để làm thấy rõ hơn khả năng ứng dụng của OR trong kiểm chứng các hệ thống phần mềm.
Student Management System (SMS) plays an essential role in manipulating and tracking student information of higher education institutions. It not only directly impacts the learning experience of students but also affects the performance of the university. Operations Research (OR) is a scientific approach which studies practical problems to determine the optimal use of existing resources to achieve predetermined goals by using calculations and digital tools. This article demonstrates on the application of OR to optimize the testing process of the SMS. Specifically, we make use of Linear Programming (LP) to test the functions: (i) Course registration and (ii) Scheduling. Additionally, we analyze the experimental results and make comparison with traditional testing methods to further explore the applicable capacity of OR in testing software systems.