Ứng dụng Vận trù học trong kiểm thử hệ thống quản lý sinh viên

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.