DSpace at UET-VNU >
2. Luận văn Thạc sĩ >
Khoa Công nghệ thông tin >
Luận văn năm 2017 [FIT] >
Please use this identifier to cite or link to this item:
http://data.uet.vnu.edu.vn:8080/xmlui/handle/123456789/1127
|
Title: | Sinh tự động ca kiểm thử từ các mô hình thực thi được |
Authors: | Dương, Thị Thanh Huyền |
Issue Date: | 16-Jan-2018 |
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ụ. |
URI: | http://data.uet.vnu.edu.vn:8080/xmlui/handle/123456789/1127 |
Appears in Collections: | Luận văn năm 2017 [FIT]
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|