Luận văn: Sinh Tự Động Ca Kiểm Thử Từ Các Mô Hình Thực Thi Được

Sinh Tự Động Ca Kiểm Thử Từ Các Mô Hình Thực Thi Được

Tác giả: Dương Thị Thanh Huyền

Lĩnh vực: Công nghệ thông tin, Chuyên ngành: Kỹ thuật phần mềm

Nội dung tài liệu:

Luận văn trình bày một phương pháp tự động hóa quá trình sinh ca kiểm thử dựa trên mô hình luồng quy trình nghiệp vụ (BPMN). Hướng nghiên cứu này tập trung vào lý thuyết kiểm thử dựa trên mô hình với mục tiêu tự động hóa quá trình kiểm thử, nâng cao hiệu quả, tiết kiệm chi phí và thời gian phát triển phần mềm. Phương pháp đề xuất sử dụng mô hình BPMN dưới dạng tệp XML làm đầu vào, sau đó chương trình sẽ phân tích, trích xuất thông điệp, toán tử và các ràng buộc để sinh ra các đường đi kiểm thử từ điểm bắt đầu đến điểm kết thúc. Một công cụ hỗ trợ đã được phát triển và thử nghiệm để minh chứng cho tính khả thi và hiệu quả của phương pháp, cho thấy tiềm năng ứng dụng trong các công ty phát triển phần mềm, 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ụ.

Mục lục chi tiết:

• Chương 1: Đặt vấn đề
• 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
• Chương 3: Phương pháp sinh ca kiểm thử từ mô hình BPMN
• Chương 4: Cài đặt & Thực nghiệm
• Chương 5: Kết luận