Tổng quan nghiên cứu

Trong quy trình công nghệ phần mềm hiện đại, chi phí dành cho hoạt động kiểm thử thường chiếm từ 40% đến 50% tổng ngân sách và hơn 45% thời gian phát triển dự án. Một hệ thống phần mềm triển khai thiếu quy trình kiểm chuẩn chặt chẽ có thể đối mặt với rủi ro thất bại nghiêm trọng khi vận hành thực tế. Tại Trường Đại học Kinh tế - Đại học Đà Nẵng, việc thực hiện cơ chế tự chủ tài chính đòi hỏi nhà trường phải chủ động quản lý khối lượng cơ sở vật chất và danh mục trang thiết bị rất lớn với hàng nghìn đầu mục công cụ, dụng cụ có tần suất luân chuyển cao. Thực trạng này đặt ra yêu cầu cấp thiết phải xây dựng một phần mềm quản lý nội bộ riêng biệt, vận hành chính xác để đối chiếu dữ liệu, ngăn ngừa triệt để tình trạng thất thoát tài sản công.

Nghiên cứu tập trung giải quyết bài toán cốt lõi: Làm thế nào để thiết lập một quy trình kiểm thử phần mềm tự động hóa đạt chuẩn, chuyển hóa hiệu quả các đặc tả phân tích thiết kế sang kịch bản kiểm thử thực tế. Mục tiêu cụ thể của luận văn bao gồm: hệ thống hóa kỹ thuật kiểm thử dựa trên mô hình UML (Unified Modeling Language), làm chủ công cụ kiểm thử tự động Katalon Studio và ứng dụng thực nghiệm kiểm thử chức năng cho Hệ thống Quản lý thiết bị tại Trường Đại học Kinh tế - Đại học Đà Nẵng. Phạm vi nghiên cứu được triển khai thực nghiệm trực tiếp trên nền tảng web của nhà trường trong giai đoạn 2022 - 2023. Kết quả nghiên cứu mang lại ý nghĩa thực tiễn to lớn khi giúp giảm thiểu hơn 70% thời gian thực thi các ca kiểm thử hồi quy và nâng tỷ lệ bao phủ chức năng hệ thống lên mức trên 95%, đảm bảo chất lượng phần mềm trước khi đưa vào vận hành chính thức.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên 2 nền tảng lý thuyết chủ đạo: Lý thuyết mô hình hóa hướng đối tượng với ngôn ngữ UML và Lý thuyết kiểm định chất lượng phần mềm hiện đại. Ngôn ngữ UML cung cấp hệ thống 12 biểu đồ trực quan, cho phép mô hình hóa cấu trúc tĩnh và hành vi động của hệ thống từ giai đoạn phân tích đến kiểm thử. Trong đó, 4 khái niệm cốt lõi được vận dụng bao gồm:

  1. Mô hình Use Case và Biểu đồ tuần tự (Sequence Diagram): Xác định tương tác giữa tác nhân (actor) và hệ thống, làm căn cứ logic để sinh dữ liệu kiểm thử.
  2. Kiểm thử hộp đen (Black-box Testing): Phương pháp tiếp cận dựa trên đặc tả kỹ thuật mà không cần can thiệp mã nguồn, sử dụng các kỹ thuật phân hoạch tương đương và phân tích giá trị biên (Boundary Value Analysis - BVA).
  3. Kiểm thử hộp trắng (White-box Testing): Đánh giá độ bao phủ mã lệnh (Code Coverage) và kiểm tra luồng điều khiển giải thuật bên trong các cấu phần phần mềm.
  4. Tự động hóa kiểm thử (Test Automation Framework): Áp dụng kiến trúc kiểm thử hướng từ khóa (Keyword-driven) và kiểm thử hướng dữ liệu (Data-driven) thông qua công cụ Katalon Studio tích hợp thư viện Selenium/Appium.

Phương pháp nghiên cứu

Nghiên cứu sử dụng phương pháp kết hợp giữa nghiên cứu lý thuyết hệ thống và thực nghiệm kiểm thử ứng dụng web.

  • Cỡ mẫu và phương pháp chọn mẫu: Cỡ mẫu nghiên cứu bao gồm 12 biểu đồ mô hình hóa phân tích thiết kế UML và bộ 48 ca kiểm thử chức năng (test cases) đại diện cho 4 phân hệ nghiệp vụ chính: Đăng nhập hệ thống, Thêm mới thiết bị, Chỉnh sửa thông tin thiết bị và Xóa dữ liệu thiết bị. Phương pháp chọn mẫu phi xác suất có chủ đích (purposive sampling) được lựa chọn nhằm tập trung kiểm định vào các luồng nghiệp vụ có tần suất phát sinh giao dịch cao nhất và tiềm ẩn nhiều nguy cơ sai lệch dữ liệu tài sản.
  • Lý do lựa chọn phương pháp phân tích: Việc kết hợp phân tích mô hình UML với công cụ Katalon Studio giúp đồng bộ hóa tài liệu thiết kế với mã kịch bản kiểm thử (test script), loại bỏ sự mơ hồ trong việc xác định các trường hợp kiểm thử biên và kiểm thử lỗi ngoại lệ.
  • Nguồn dữ liệu và Timeline: Dữ liệu kiểm thử được trích xuất từ cơ sở dữ liệu quản lý tài sản thực tế của Trường Đại học Kinh tế - Đại học Đà Nẵng. Quá trình thu thập, thiết kế kịch bản và chạy thực nghiệm được thực hiện xuyên suốt từ tháng 06/2022 đến tháng 02/2023.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình thực nghiệm kiểm thử tự động hệ thống quản lý thiết bị bằng Katalon Studio dựa trên nền tảng UML đã mang lại những phát hiện quan trọng:

  1. Rút ngắn vượt bậc thời gian thực thi: Thời gian chạy tự động mỗi ca kiểm thử chức năng trên Katalon Studio chỉ dao động từ 1,2 đến 2,5 giây, giảm tới 75% so với thời gian thao tác thủ công (trung bình 10 đến 15 giây cho một ca kiểm thử nhập liệu và xác minh).
  2. Độ chính xác và tính toàn vẹn dữ liệu đạt mức tối đa: Tỷ lệ vượt qua (Pass Rate) của các kịch bản kiểm thử tự động đạt 98%, phát hiện sớm 100% các lỗi nhập liệu sai định dạng ngày tháng, chuỗi rỗng và lỗi xác thực quyền truy cập của người dùng.
  3. Tái sử dụng kịch bản kiểm thử đạt trên 85%: Nhờ cơ chế quản lý kho đối tượng (Object Repository) tập trung và thư viện từ khóa tùy biến (Custom Keywords), đội ngũ kiểm thử có thể tái sử dụng hơn 85% mã kiểm thử khi hệ thống cập nhật giao diện mới.
  4. Hiệu quả kinh tế vượt trội: So với các công cụ thương mại có chi phí bản quyền lên đến 3.500 USD/năm như Ranorex hay Micro Focus UFT, Katalon Studio cung cấp giải pháp tối ưu chi phí hoàn toàn cho đơn vị giáo dục mà vẫn đảm bảo đầy đủ các tính năng kiểm thử Web, API và trích xuất báo cáo chuyên sâu.

Thảo luận kết quả

Nguyên nhân chính dẫn đến sự vượt trội về hiệu năng là do quy trình đã chuyển hóa trực tiếp các luồng sự kiện từ Biểu đồ hoạt động (Activity Diagram) và Biểu đồ tuần tự sang các bước kiểm thử logic có cấu trúc. Việc này khắc phục hoàn toàn nhược điểm "thăm dò mù" của kiểm thử hộp đen truyền thống. So sánh với các nghiên cứu kiểm thử phần mềm dựa trên mô hình (Model-Based Testing) trong ngành, kết quả của luận văn khẳng định việc ứng dụng UML giúp giảm thiểu hơn 40% lỗi logic ngay từ pha thiết kế chi tiết.

Dữ liệu thực nghiệm được trực quan hóa thông qua các biểu đồ phân tích thời gian phản hồi của từng kịch bản và bảng ma trận đánh giá 10 mức độ nghiêm trọng của lỗi phần mềm (từ mức 1 - lỗi chính tả giao diện, mức 5 - lỗi ngừng giao dịch, đến mức 10 - lỗi thảm họa làm sai lệch dữ liệu toàn trường). Việc kết xuất báo cáo tự động sang các định dạng HTML, PDF và CSV qua Katalon TestOps giúp lãnh đạo nhà trường và kiểm thử viên có cái nhìn trực quan, minh bạch về chất lượng phần mềm theo thời gian thực.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu thực nghiệm, luận văn đề xuất 4 nhóm giải pháp chiến lược nhằm nâng cao chất lượng phần mềm quản lý:

  1. Chuẩn hóa quy trình sinh ca kiểm thử tự động từ mô hình UML: Ban Quản lý Dự án Công nghệ thông tin và Trưởng nhóm Kiểm thử cần ban hành quy chuẩn thiết kế biểu đồ Use Case và Sequence Diagram chi tiết ngay từ đầu dự án, hướng tới mục tiêu rút ngắn 30% thời gian thiết kế kịch bản test trong vòng 6 tháng tới.
  2. Tích hợp kiểm thử tự động vào quy trình CI/CD: Bộ phận Kỹ sư DevOps và Đội ngũ Đảm bảo Chất lượng (QA) cần cấu hình Katalon Studio chạy tự động trong đường ống tích hợp liên tục (Continuous Integration), đảm bảo 100% các bản cập nhật phần mềm được kiểm thử hồi quy tự động trước quý 4/2024.
  3. Tổ chức đào tạo nâng cao kỹ năng kiểm thử tự động: Nhà trường và các đơn vị phát triển phần mềm cần tổ chức khóa đào tạo chuyên sâu về ngôn ngữ Groovy/Java và kiểm thử nâng cao cho 100% nhân sự kiểm thử trong thời gian 3 tháng nhằm tối ưu hóa việc tùy biến từ khóa kiểm thử.
  4. Mở rộng kiểm thử hiệu năng và an ninh bảo mật: Trưởng nhóm Kỹ thuật hệ thống cần phối hợp triển khai công cụ Apache JMeter và OWASP ZAP song song với Katalon Studio, đặt mục tiêu bảo đảm hệ thống vận hành an toàn và chịu tải ổn định trên 1.000 người dùng đồng thời trong lộ trình 12 tháng.

Đối tượng nên tham khảo luận văn

Nội dung và kết quả nghiên cứu của luận văn mang lại giá trị thiết thực cho 4 nhóm đối tượng trọng tâm:

  1. Kỹ sư kiểm thử phần mềm (Tester/QA/QC): Nắm vững phương pháp chuyển đổi thiết kế UML thành kịch bản kiểm thử tự động trên Katalon Studio, nâng cao năng suất kiểm thử hồi quy và giảm 75% công sức kiểm thử thủ công.
  2. Chuyên viên phân tích nghiệp vụ và kiến trúc sư hệ thống (BA/System Architect): Sử dụng các mô hình use case, sequence diagram làm tài liệu chuẩn hóa giao tiếp liên phòng ban, loại bỏ sai sót đặc tả yêu cầu phần mềm.
  3. Lãnh đạo và cán bộ quản lý thiết bị tại các trường đại học, viện nghiên cứu: Tham khảo mô hình chuyển đổi số trong quản lý tài sản công, giúp giám sát 100% dữ liệu thiết bị, chống thất thoát tài sản khi thực hiện cơ chế tự chủ tài chính.
  4. Giảng viên, học viên cao học và sinh viên ngành Công nghệ thông tin/Hệ thống thông tin: Sử dụng làm tài liệu học thuật tham khảo chuyên sâu về kiểm thử dựa trên mô hình (Model-Based Testing) và công nghệ kiểm thử tự động ứng dụng web.

Câu hỏi thường gặp

Kiểm thử phần mềm dựa trên UML mang lại ưu thế gì so với cách tiếp cận truyền thống?
Phương pháp này chuyển hóa trực tiếp các biểu đồ tuần tự và biểu đồ hoạt động thành kịch bản kiểm thử, giúp phát hiện sớm các lỗi logic nghiệp vụ ngay từ khâu thiết kế. Cách tiếp cận này giúp giảm hơn 40% sai sót đặc tả và đảm bảo độ bao phủ kiểm thử chức năng đạt trên 95%.

Tại sao Katalon Studio lại được ưu tiên lựa chọn thay vì viết mã Selenium thuần túy?
Katalon Studio đóng gói sẵn các framework kiểm thử, kho đối tượng Object Repository và hỗ trợ song song chế độ kéo-thả (Manual) lẫn viết mã kịch bản (Script). Điều này giúp rút ngắn hơn 50% thời gian thiết lập ban đầu so với Selenium mà vẫn hỗ trợ đa nền tảng và đa trình duyệt hiệu quả.

Luận văn đã triển khai kiểm thử tự động cho những chức năng cụ thể nào?
Nghiên cứu thực nghiệm toàn diện trên 4 chức năng nghiệp vụ trọng yếu của phần mềm Quản lý thiết bị tại Trường Đại học Kinh tế - Đại học Đà Nẵng, bao gồm: phân hệ xác thực đăng nhập người dùng, phân hệ thêm mới trang thiết bị, phân hệ chỉnh sửa thông tin tài sản và phân hệ xóa dữ liệu thiết bị.

Hệ thống phân loại mức độ nghiêm trọng của lỗi trong luận văn gồm những cấp độ nào?
Luận văn thiết lập bảng phân loại 10 cấp độ lỗi dựa trên tần suất và mức độ ảnh hưởng: từ mức 1 (lỗi chính tả giao diện), mức 4 (lỗi xử lý giao dịch cục bộ), mức 6 (xử lý sai giao dịch) cho đến mức 9 (hệ thống tê liệt) và mức 10 (thảm họa lây lan sai lệch dữ liệu).

Quy trình kiểm thử trong luận văn có thể tái sử dụng cho các hệ thống khác không?
Quy trình kiểm thử kết hợp UML và Katalon Studio có tính tổng quát hóa rất cao. Các tổ chức hoàn toàn có thể áp dụng nguyên vẹn khung quy trình này cho các ứng dụng web quản lý trong y tế, giáo dục, tài chính nhằm rút ngắn chu kỳ kiểm thử từ 5 ngày xuống dưới 1 ngày làm việc.

Kết luận

  • Luận văn hệ thống hóa thành công khung lý thuyết kiểm thử dựa trên mô hình UML và công nghệ tự động hóa kiểm thử phần mềm trên nền tảng web.
  • Xây dựng hoàn chỉnh quy trình chuyển đổi từ biểu đồ phân tích sang bộ kịch bản kiểm thử tự động tối ưu bằng công cụ Katalon Studio.
  • Thực nghiệm kiểm thử thành công trên hệ thống quản lý thiết bị thực tế, giúp giảm 75% thời gian thực thi ca kiểm thử và đạt tỷ lệ bao phủ chức năng 98%.
  • Đề xuất bảng ma trận phân loại 10 mức độ nghiêm trọng của lỗi, hỗ trợ đắc lực cho công tác bảo trì và kiểm soát chất lượng phần mềm.
  • Đóng góp giải pháp công nghệ thiết thực phục vụ công tác quản lý tài sản công minh bạch cho các trường đại học tự chủ tài chính.

Lộ trình 12 tháng tiếp theo mở ra tiềm năng mở rộng nghiên cứu sang kiểm thử hiệu năng chịu tải cao và kiểm thử an ninh bảo mật chuyên sâu. Hãy áp dụng ngay quy trình kiểm thử dựa trên UML và Katalon Studio vào các dự án công nghệ của bạn để nâng cao chất lượng phần mềm và tối ưu hóa ngân sách vận hành.