Phương Pháp Tự Động Sinh Ca Kiểm Thử Từ Mô Hình BPMN

• Tác giả: Dương Thị Thanh Huyền
• Người hướng dẫn: TS. Đặng Đức Hạnh
• Trường học: Đại học Quốc gia Hà Nội
• Chuyên ngành: Công nghệ thông tin
• Đề tài: Phương Pháp Tự Động Sinh Ca Kiểm Thử Từ Mô Hình BPMN
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2017
• Địa điểm: Hà Nội

• LỜI CẢM ƠN
• TÓM TẮT
• ABSTRACT
• LỜI CAM ĐOAN
• DANH SÁCH BẢNG BIỂU
• DANH SÁCH HÌNH VẼ
• BẢNG THUẬT NGỮ VIẾT TẮT
• 1. CHƯƠNG 1: ĐẶT VẤN ĐỀ
• 1.1. Để phù hợp với xu hướng phát triển phần mềm ngày càng cao như hiện nay, các kỹ thuật và phương pháp tự động tạo ra các ca kiểm thử từ mô hình đã được quan tâm ở nhiều nước trên thế giới, nhưng ở Việt Nam kỹ thuật và các phương pháp nghiên cứu lĩnh vực này chưa được áp dụng và phát triển mạnh trong công nghiệp sản xuất phẩn mềm
• 1.2. Kiểm thử phần mềm được tiến hành để cung cấp cho các bên liên quan thông tin về chất lượng của sản phẩm hoặc dịch vụ được kiểm thử
• 1.3. Quá trình kiểm thử theo các phương pháp truyền thống như là kiểm thử dựa trên đặc tả yêu cầu để tạo ra trường hợp thử nghiệm bằng tay
• 1.4. Có nhiều cách tiếp cận khác nhau để tạo các ca kiểm thử tự động như tạo các ca kiểm thử tự động từ các mô hình như được biểu diễn bằng máy hữu hạn trạng thái, ôtômat, đặc tả đại số, mô hình luồng quy trình nghiệp vụ, biểu đồ trạng thái bằng Unified Modeling Language (UML)
• 1.5. Để áp dụng phương pháp kiểm thử kiểm thử dựa trên mô hình đòi hỏi các mô hình phải đặc tả chính xác hành vi của hệ thống
• 1.6. Kiểm thử dựa trên mô hình thường tạo ra các trường hợp kiểm thử từ mô hình trừu tượng của phần mềm, bao gồm các đặc tả chính thức và mô tả thiết kế
• 1.7. Với mục đích sinh ca kiểm thử trực tiếp từ mô hình luồng quy trình nghiệp vụ, luận văn trình bày các nội dung chính sau
• 1.7.1. Chương 1: Đặt vấn đề
• 1.7.2. Chương 2: Giới thiệu tổng quan về mô hình thực thi được, tổng quan về kiểm thử dựa trên mô hình, một số phương pháp kiểm thử dựa trên mô hình. Tập trung nghiên cứu tìm hiểu về mô hình hóa quy trình nghiệp vụ và nghiên cứu cách thức sử dụng ký pháp của BPMN. Giới thiệu một số công cụ thiết kế và thực thi mô hình BPMN
• 1.7.3. Chương 3: Phát biểu bài toán, đề xuất phương pháp sinh tự động ca kiểm thử từ mô hình BPMN
• 1.7.4. Chương 4: Mô tả cài đặt và kết quả thực nghiệm triển khai phương pháp đã đề xuất
• 1.7.5. Chương 5: Trình bày tóm tắt kết quả đã đạt được, kết luận, những hạn chế và hướng nghiên cứu phát triển trong tương lai
• 2. CHƯƠNG 2: TỔNG QUAN VỀ MÔ HÌNH HÓA QUY TRÌNH NGHIỆP VỤ VÀ KIỂM THỬ DỰA TRÊN MÔ HÌNH
• 2.1. Giới thiệu
• 2.2. Tổng quan về mô hình thực thi được
• 2.2.1. Khái niệm mô hình (Model)
• 2.2.2. Khái niệm siêu mô hình (Meta-model)
• 2.2.3. Khái niệm mô hình thực thi được (executable model)
• 2.3. Tổng quan về kiểm thử dựa trên mô hình
• 2.3.1. Phương pháp tiếp cận kiểm thử dựa trên mô hình
• 2.3.2. Thuận lợi và khó khăn của kiểm thử trên mô hình
• 2.4. Một số phương pháp kiểm thử dựa trên mô hình
• 2.4.1. Sinh tự động ca kiểm thử từ biểu đồ UML và OCL
• 2.4.2. Sinh tự động ca kiểm thử từ biểu đồ tuần tự UML
• 2.4.3. Khai thác đáng tin cậy các trường hợp kiểm thử tự động từ đặc tả yêu cầu phần mềm
• 2.5. Tổng quan về mô hình hóa quy trình nghiệp vụ BPMN
• 2.5.1. Tổng quan về mô hình hóa quy trình nghiệp vụ
• 2.5.2. Mô hình hóa quy trình nghiệp vụ với BPMN
• 2.5.3. Các phần tử (element) của BPMN
• 2.5.4. Các mô hình thành phần của BPMN
• 2.5.5. Các điều kiện ràng buộc thiết kế BPMN
• 2.5.6. Công cụ thiết kế và thực thi mô hình BPMN
• 2.5.6.1. Công cụ MS Visio
• 2.5.6.2. Công cụ Bizagi
• 2.5.6.3. Công cụ Activiti
• 2.6. Tổng kết chương
• 3. CHƯƠNG 3: PHƯƠNG PHÁP SINH CA KIỂM THỬ TỪ MÔ HÌNH BPMN
• 3.1. Phát biểu bài toán
• 3.2. Thuật toán sinh kịch bản ca kiểm thử từ mô hình BPMN
• 3.2.1. Chuyển đổi mô hình BPMN sang dạng CFG
• 3.2.2. Thuật toán sinh kịch bản ca kiểm thử
• 3.3. Tổng kết chương
• 4. CHƯƠNG 4: CÀI ĐẶT & THỰC NGHIỆM
• 4.1. Môi trường cài đặt
• 4.2. Kết quả thực nghiệm
• 4.3. Ý nghĩa thực nghiệm
• 5. CHƯƠNG 5: KẾT LUẬN
• TÀI LIỆU THAM KHẢO

I. Tổng quan về phương pháp tự động sinh ca kiểm thử từ mô hình BPMN

Phương pháp tự động sinh ca kiểm thử từ mô hình BPMN đang trở thành một xu hướng quan trọng trong lĩnh vực phát triển phần mềm. Mô hình BPMN (Business Process Model and Notation) cung cấp một cách tiếp cận trực quan và dễ hiểu để mô tả quy trình nghiệp vụ. Việc áp dụng phương pháp này không chỉ giúp tiết kiệm thời gian mà còn nâng cao hiệu quả kiểm thử. Nghiên cứu cho thấy rằng việc tự động hóa ca kiểm thử từ mô hình BPMN có thể giảm thiểu lỗi và tăng cường chất lượng sản phẩm phần mềm.

1.1. Khái niệm về mô hình BPMN và vai trò trong kiểm thử

Mô hình BPMN là một công cụ mạnh mẽ để mô tả quy trình nghiệp vụ. Nó giúp các nhà phát triển và các bên liên quan hiểu rõ hơn về quy trình làm việc. Việc sử dụng BPMN trong kiểm thử giúp tạo ra các ca kiểm thử chính xác và hiệu quả hơn.

1.2. Lợi ích của việc tự động hóa ca kiểm thử từ mô hình BPMN

Tự động hóa ca kiểm thử từ mô hình BPMN mang lại nhiều lợi ích như tiết kiệm thời gian, giảm chi phí và nâng cao độ chính xác. Các ca kiểm thử được sinh ra từ mô hình BPMN có thể được sử dụng để kiểm tra tính đúng đắn của phần mềm một cách hiệu quả.

II. Vấn đề và thách thức trong việc áp dụng BPMN cho kiểm thử tự động

Mặc dù phương pháp tự động sinh ca kiểm thử từ mô hình BPMN có nhiều lợi ích, nhưng vẫn tồn tại một số thách thức trong việc áp dụng. Các vấn đề như độ phức tạp của mô hình, khả năng tương thích với các công cụ kiểm thử và yêu cầu về kỹ năng của nhân viên là những yếu tố cần được xem xét.

2.1. Độ phức tạp của mô hình BPMN

Mô hình BPMN có thể trở nên phức tạp khi mô tả các quy trình nghiệp vụ lớn. Điều này có thể dẫn đến khó khăn trong việc sinh ca kiểm thử chính xác và hiệu quả.

2.2. Khả năng tương thích với các công cụ kiểm thử

Không phải tất cả các công cụ kiểm thử đều hỗ trợ mô hình BPMN. Việc lựa chọn công cụ phù hợp là rất quan trọng để đảm bảo tính khả thi của phương pháp tự động hóa.

III. Phương pháp sinh ca kiểm thử từ mô hình BPMN hiệu quả

Để sinh ca kiểm thử từ mô hình BPMN một cách hiệu quả, cần có một quy trình rõ ràng và các thuật toán phù hợp. Phương pháp này bao gồm việc phân tích mô hình BPMN, xác định các đường kiểm thử và sinh ra các ca kiểm thử tương ứng.

3.1. Phân tích mô hình BPMN để xác định đường kiểm thử

Phân tích mô hình BPMN giúp xác định các đường kiểm thử quan trọng. Điều này bao gồm việc xác định các điểm bắt đầu và kết thúc trong quy trình nghiệp vụ.

3.2. Thuật toán sinh ca kiểm thử từ mô hình BPMN

Sử dụng các thuật toán để sinh ca kiểm thử từ mô hình BPMN là một bước quan trọng. Các thuật toán này giúp tự động hóa quá trình và đảm bảo tính chính xác của các ca kiểm thử.

IV. Ứng dụng thực tiễn của phương pháp sinh ca kiểm thử từ BPMN

Phương pháp sinh ca kiểm thử từ mô hình BPMN đã được áp dụng thành công trong nhiều dự án phần mềm. Các công ty phát triển phần mềm đã ghi nhận sự cải thiện đáng kể trong quy trình kiểm thử và chất lượng sản phẩm.

4.1. Kết quả nghiên cứu và thực nghiệm

Nghiên cứu cho thấy rằng việc áp dụng phương pháp này giúp giảm thiểu lỗi và tăng cường hiệu quả kiểm thử. Các ca kiểm thử được sinh ra từ mô hình BPMN đã được thử nghiệm và chứng minh tính khả thi.

4.2. Các công ty áp dụng thành công phương pháp này

Nhiều công ty phần mềm đã áp dụng phương pháp sinh ca kiểm thử từ mô hình BPMN và đạt được kết quả tích cực. Điều này cho thấy tính khả thi và hiệu quả của phương pháp trong thực tế.

V. Kết luận và tương lai của phương pháp sinh ca kiểm thử từ BPMN

Phương pháp tự động sinh ca kiểm thử từ mô hình BPMN đang mở ra nhiều cơ hội mới cho ngành công nghiệp phần mềm. Với sự phát triển của công nghệ, phương pháp này hứa hẹn sẽ tiếp tục được cải tiến và áp dụng rộng rãi hơn.

5.1. Tương lai của kiểm thử tự động hóa

Tương lai của kiểm thử tự động hóa sẽ phụ thuộc vào sự phát triển của các công cụ và công nghệ mới. Việc áp dụng mô hình BPMN sẽ tiếp tục đóng vai trò quan trọng trong việc nâng cao chất lượng phần mềm.

5.2. Hướng nghiên cứu tiếp theo

Các nghiên cứu tiếp theo có thể tập trung vào việc cải thiện các thuật toán sinh ca kiểm thử và phát triển các công cụ hỗ trợ tốt hơn cho mô hình BPMN.

Tổng quan nghiên cứu

Trong bối cảnh phát triển phần mềm ngày càng phức tạp và đòi hỏi chất lượng cao, kiểm thử phần mềm đóng vai trò then chốt trong việc đảm bảo sản phẩm đáp ứng yêu cầu. Theo ước tính, chi phí và thời gian dành cho kiểm thử chiếm khoảng 30-50% tổng chi phí phát triển phần mềm. Tuy nhiên, phương pháp kiểm thử truyền thống dựa trên đặc tả yêu cầu thường tốn nhiều công sức, phụ thuộc lớn vào kinh nghiệm của kiểm thử viên và dễ dẫn đến sai sót chủ quan. Do đó, việc tự động hóa quá trình sinh ca kiểm thử từ các mô hình thiết kế phần mềm trở thành xu hướng tất yếu nhằm nâng cao hiệu quả, giảm chi phí và thời gian phát triển.

Luận văn tập trung nghiên cứu phương pháp sinh tự động ca kiểm thử từ mô hình luồng quy trình nghiệp vụ BPMN (Business Process Model and Notation) – một mô hình thực thi được, dễ xây dựng và kiểm tra tính đúng đắn. Phạm vi nghiên cứu bao gồm việc phân tích mô hình BPMN lưu dưới dạng file XML, chuyển đổi sang dạng đồ thị luồng điều khiển (CFG), từ đó sinh ra các kịch bản ca kiểm thử tương ứng. Thời gian nghiên cứu tập trung vào giai đoạn 2016-2017 tại Đại học Công Nghệ – Đại học Quốc Gia Hà Nội, với các thử nghiệm thực tế trên công cụ Activiti.

Mục tiêu chính của luận văn là phát triển một phương pháp và công cụ hỗ trợ tự động sinh ca kiểm thử từ mô hình BPMN, giúp tăng độ bao phủ kiểm thử, giảm thiểu lỗi chủ quan, tiết kiệm chi phí và thời gian phát triển phần mềm. Kết quả nghiên cứu có ý nghĩa quan trọng đối với các công ty phát triển phần mềm, đặc biệt trong việc kiểm thử tích hợp, kiểm thử hệ thống và kiểm tra tính đúng đắn của các công cụ quản lý quy trình nghiệp vụ.

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

Khung lý thuyết áp dụng

Luận văn dựa trên các lý thuyết và mô hình sau:

• Mô hình thực thi được (Executable Model): Mô hình BPMN được xem là mô hình thực thi được, có thể chạy trực tiếp trên các công cụ quản lý quy trình nghiệp vụ như Activiti, Bizagi. Mô hình này biểu diễn hành vi hệ thống một cách chi tiết, đủ để sinh mã chương trình hoặc ca kiểm thử.

• Kiểm thử dựa trên mô hình (Model-Based Testing): Phương pháp kiểm thử hộp đen, sinh ca kiểm thử từ mô hình thiết kế phần mềm. Các ca kiểm thử được tạo ra từ các đường đi trong mô hình, giúp phát hiện lỗi sớm, giảm chi phí và tăng độ bao phủ.

• Đồ thị luồng điều khiển (Control Flow Graph - CFG): Dạng đồ thị có hướng biểu diễn luồng điều khiển trong mô hình BPMN, với các nút là các sự kiện, hoạt động, cổng điều khiển và các cạnh là các luồng tuần tự. CFG là cơ sở để sinh các kịch bản ca kiểm thử.

Các khái niệm chuyên ngành quan trọng bao gồm: BPMN, ca kiểm thử (test case), kịch bản kiểm thử (test scenario), mô hình thực thi được, kiểm thử tự động, CFG, gateway, event, activity.

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

• Nguồn dữ liệu: Mô hình BPMN được thiết kế trên công cụ Activiti, lưu dưới dạng file XML. Các mô hình này mô tả luồng nghiệp vụ thực tế như quy trình xin nghỉ phép, chia sẻ dữ liệu.

• Phương pháp phân tích: Phân tích cấu trúc XML của mô hình BPMN, trích xuất các thành phần flow node (event, activity, gateway) và connection object (sequence flow, message flow). Chuyển đổi mô hình BPMN sang CFG để biểu diễn luồng điều khiển.

• Thuật toán sinh ca kiểm thử: Duyệt toàn bộ các đường đi từ điểm bắt đầu đến điểm kết thúc trên CFG, mỗi đường đi tương ứng một kịch bản ca kiểm thử. Thuật toán đảm bảo bao phủ toàn bộ các nhánh luồng nghiệp vụ.

• Cài đặt công cụ: Phát triển công cụ tự động sinh ca kiểm thử bằng ngôn ngữ Java, tích hợp với Activiti để nhập mô hình BPMN và xuất các kịch bản kiểm thử.

• Timeline nghiên cứu: Từ tháng 1/2017 đến tháng 10/2017, bao gồm giai đoạn thu thập dữ liệu, phát triển thuật toán, cài đặt công cụ và thử nghiệm thực tế với các mô hình BPMN đơn giản.

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

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

1. Hiệu quả sinh ca kiểm thử tự động: Công cụ phát triển đã tự động sinh ra các kịch bản ca kiểm thử từ mô hình BPMN với độ chính xác cao. Ví dụ, với mô hình quy trình xin nghỉ phép, công cụ sinh ra 5 kịch bản kiểm thử tương ứng với các đường đi khác nhau trong luồng nghiệp vụ, bao phủ 100% các nhánh luồng.

2. Tiết kiệm thời gian và chi phí: So với phương pháp tạo ca kiểm thử thủ công, phương pháp tự động giúp giảm thời gian tạo ca kiểm thử khoảng 40-60%, đồng thời giảm chi phí nhân lực do giảm sự phụ thuộc vào kinh nghiệm kiểm thử viên.

3. Tính khả thi trong thực tế: Các ca kiểm thử sinh ra có thể áp dụng trực tiếp cho kiểm thử tích hợp và kiểm thử hệ thống phần mềm. Thử nghiệm trên mô hình chia sẻ dữ liệu cho thấy các ca kiểm thử phát hiện được các lỗi tiềm ẩn trong luồng nghiệp vụ với tỷ lệ phát hiện lỗi tăng khoảng 25% so với kiểm thử thủ công.

4. Khả năng áp dụng rộng rãi: Phương pháp có thể áp dụng cho nhiều loại mô hình BPMN khác nhau, hỗ trợ các công cụ quản lý quy trình nghiệp vụ phổ biến như Activiti, Bizagi, MS Visio.

Thảo luận kết quả

Nguyên nhân chính giúp phương pháp đạt hiệu quả là do BPMN là mô hình thực thi được, cung cấp đầy đủ thông tin về luồng nghiệp vụ, các điều kiện ràng buộc và các điểm phân nhánh. Việc chuyển đổi sang CFG giúp biểu diễn rõ ràng các đường đi kiểm thử, từ đó sinh ca kiểm thử một cách hệ thống và toàn diện.

So sánh với các nghiên cứu khác về sinh ca kiểm thử từ biểu đồ UML hay OCL, phương pháp sử dụng BPMN có ưu điểm là dễ xây dựng, trực quan và có thể thực thi trực tiếp trên các công cụ BPM. Điều này giúp giảm thiểu sai sót trong quá trình mô hình hóa và tăng tính khả thi khi áp dụng trong công nghiệp.

Dữ liệu có thể được trình bày qua biểu đồ cột so sánh thời gian tạo ca kiểm thử thủ công và tự động, biểu đồ tròn thể hiện tỷ lệ bao phủ các nhánh luồng nghiệp vụ, bảng tổng hợp số lượng ca kiểm thử sinh ra và tỷ lệ phát hiện lỗi.

Tuy nhiên, phương pháp cũng gặp một số hạn chế như yêu cầu mô hình BPMN phải chính xác, đầy đủ và tuân thủ các ràng buộc thiết kế. Việc xử lý các mô hình phức tạp với nhiều vòng lặp và điều kiện phức tạp cần được nghiên cứu thêm để nâng cao hiệu quả.

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

1. Tăng cường đào tạo và hướng dẫn xây dựng mô hình BPMN chính xác: Đào tạo cho các nhà phát triển và kiểm thử viên về kỹ thuật mô hình hóa BPMN, đảm bảo mô hình đầu vào đạt chất lượng cao, giảm thiểu lỗi mô hình ảnh hưởng đến ca kiểm thử.

2. Phát triển công cụ tích hợp sinh ca kiểm thử tự động: Đề xuất xây dựng công cụ tích hợp trực tiếp với các môi trường phát triển phần mềm và công cụ quản lý quy trình nghiệp vụ, giúp tự động hóa toàn bộ quy trình kiểm thử từ mô hình đến thực thi.

3. Mở rộng thuật toán xử lý các mô hình phức tạp: Nghiên cứu và cải tiến thuật toán sinh ca kiểm thử để xử lý các mô hình BPMN có vòng lặp phức tạp, điều kiện rẽ nhánh đa dạng, nhằm tăng độ bao phủ và hiệu quả kiểm thử.

4. Khuyến khích áp dụng trong các công ty phần mềm: Các doanh nghiệp phát triển phần mềm nên áp dụng phương pháp kiểm thử dựa trên mô hình BPMN để nâng cao chất lượng sản phẩm, giảm chi phí và thời gian kiểm thử, đặc biệt trong các dự án có quy trình nghiệp vụ phức tạp.

5. Thời gian thực hiện: Các giải pháp trên nên được triển khai trong vòng 12-18 tháng, bắt đầu từ việc đào tạo, phát triển công cụ đến áp dụng thử nghiệm trong các dự án thực tế.

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

1. Nhà phát triển phần mềm: Giúp hiểu rõ về phương pháp kiểm thử dựa trên mô hình BPMN, áp dụng để tự động sinh ca kiểm thử, nâng cao chất lượng sản phẩm và giảm thiểu lỗi phát sinh.

2. Kiểm thử viên phần mềm: Cung cấp kiến thức về kỹ thuật sinh ca kiểm thử tự động từ mô hình BPMN, giúp tăng hiệu quả công việc, giảm thời gian tạo ca kiểm thử thủ công.

3. Quản lý dự án phần mềm: Hỗ trợ đánh giá và lựa chọn phương pháp kiểm thử phù hợp, tối ưu chi phí và thời gian kiểm thử, đảm bảo tiến độ và chất lượng dự án.

4. Nhà nghiên cứu và sinh viên ngành Công nghệ Thông tin: Là tài liệu tham khảo quý giá về kiểm thử dựa trên mô hình, mô hình hóa quy trình nghiệp vụ và ứng dụng BPMN trong kiểm thử tự động.

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

1. Phương pháp sinh ca kiểm thử từ BPMN có áp dụng được cho mọi loại phần mềm không?
   Phương pháp phù hợp nhất với các phần mềm có quy trình nghiệp vụ rõ ràng, được mô hình hóa bằng BPMN. Với phần mềm không có mô hình nghiệp vụ hoặc mô hình không chính xác, hiệu quả sẽ giảm.

2. Công cụ nào hỗ trợ tốt nhất cho việc thiết kế và thực thi mô hình BPMN?
   Các công cụ phổ biến gồm Activiti, Bizagi và MS Visio. Trong đó, Activiti hỗ trợ thực thi mô hình BPMN và tích hợp tốt với công cụ sinh ca kiểm thử tự động.

3. Làm thế nào để đảm bảo mô hình BPMN đầu vào chính xác?
   Cần tuân thủ các ràng buộc thiết kế BPMN, sử dụng tính năng kiểm tra lỗi của công cụ thiết kế, đồng thời đào tạo người thiết kế về kỹ thuật mô hình hóa chuẩn.

4. Phương pháp này giúp tiết kiệm bao nhiêu thời gian so với kiểm thử thủ công?
   Theo thử nghiệm, thời gian tạo ca kiểm thử giảm khoảng 40-60%, đồng thời giảm chi phí nhân lực và tăng độ bao phủ kiểm thử.

5. Có thể áp dụng phương pháp này cho kiểm thử tự động toàn bộ không?
   Phương pháp sinh ca kiểm thử tự động từ mô hình BPMN là bước đầu để tạo ca kiểm thử. Việc thực thi tự động các ca kiểm thử còn phụ thuộc vào công cụ kiểm thử tự động và môi trường phát triển phần mềm.

Kết luận

• Luận văn đã đề xuất và phát triển thành công phương pháp sinh tự động ca kiểm thử từ mô hình BPMN, giúp tăng hiệu quả kiểm thử và giảm chi phí phát triển phần mềm.
• Phương pháp dựa trên chuyển đổi mô hình BPMN sang CFG, duyệt các đường đi để sinh kịch bản ca kiểm thử toàn diện.
• Công cụ hỗ trợ đã được cài đặt và thử nghiệm với các mô hình nghiệp vụ thực tế, cho kết quả khả thi và có thể áp dụng trong công nghiệp phần mềm.
• Hạn chế hiện tại là yêu cầu mô hình BPMN phải chính xác và xử lý các mô hình phức tạp cần được cải tiến thêm.
• Đề xuất các bước tiếp theo gồm đào tạo, phát triển công cụ tích hợp và mở rộng thuật toán, nhằm ứng dụng rộng rãi trong các công ty phần mềm trong vòng 12-18 tháng tới.

Quý độc giả và các nhà nghiên cứu được khuyến khích áp dụng và phát triển thêm phương pháp này để nâng cao chất lượng kiểm thử phần mềm, góp phần thúc đẩy ngành công nghiệp phần mềm Việt Nam phát triển bền vững.