Sinh tự động ca kiểm thử từ các mô hình thực thi được

Abstract

Luận văn trình bày một phương pháp nghiên cứu tự động hóa quá trình sinh ca kiểm thử từ mô hình luồng quy trình nghiệp vụ (BPMN). Hướng nghiên cứu dựa trên lý thuyết kiểm thử dựa trên mô hình. Mục tiêu đề ra là tự động hóa quá trình kiểm thử, nâng cao hiệu quả kiểm thử, tiết kiệm chi phí và thời gian phát triển sản phẩm phần mềm. Phương pháp được đề xuất với nội dung chính như sau: Với đầu vào là mô hình luồng nghiệp vụ BPMN lưu giữ dưới dạng tệp xml, chương trình kiểm thử biến đổi tệp xml bằng cách bóc tách các thông điệp, toán tử và các ràng buộc được đưa vào trong thiết kế. Sau đó thực hiện dò tìm và sinh ca kiểm thử cho các đường đi từ điểm bắt đầu cho tới điểm kết thúc gọi là các đường kiểm thử. Để kiểm nghiệm mức độ khả thi của phương pháp, một công cụ hỗ trợ đã được cài đặt và thử nghiệm với một số ví dụ đơn giản nhằm minh chứng cho tính đúng đắn và hiệu quả của phương pháp trên. Kết quả thực nghiệm cho thấy hiệu quả của các kịch bản ca kiểm thử là khả thi để áp dụng cho các công ty phát triển phần mềm. Từ các ca kiểm thử được sinh ra có thể áp dụng để kiểm thử tích hợp, kiểm thử hệ thống phần mềm. Hơn nữa, các ca kiểm thử còn có thể áp dụng để kiểm tra tính đúng đắn của các công cụ quản lý quy trình nghiệp vụ.