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

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ử.

• Luận văn thạc sĩ tin học
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: TS. Đặng Đức Hạnh
• Tác giả: Dương Thị Thanh Huyền
• Số trang: 89
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Công nghệ - ĐHQG Hà Nội 2017

Link Download
http://lib.uet.vnu.edu.vn/handle/123456789/816
https://drive.google.com/uc?id=17lUyHN7opIdAmNycP2HNoGSe_d-fgUS5
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1