Luận văn Thạc sĩ Công nghệ thông tin: 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 các nội dung chính sau: Chương 1) Đặt vấn đề; 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; 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; 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; 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.
Nội dung trích xuất từ tài liệu:
Luận văn Thạc sĩ Công nghệ thông tin: Sinh tự động ca kiểm thử từ các mô hình thực thi đượcĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆDƯƠNG THỊ THANH HUYỀNSINH TỰ ĐỘNG CA KIỂM THỬTỪ CÁC MÔ HÌNH THỰC THI ĐƯỢCLUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TINHÀ NỘI – 2017ĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆDƯƠNG THỊ THANH HUYỀNSINH TỰ ĐỘNG CA KIỂM THỬ TỪ CÁCMÔ HÌNH THỰC THI ĐƯỢCNgành: Công nghệ thông tinChuyên ngành: Kỹ thuật phần mềmMã số: 60480103LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TINCÁN BỘ HƯỚNG DẪN KHOA HỌC: TS. Đặng Đức HạnhHÀ NỘI – 2017VIETNAM NATIONAL UNIVERSITY, HA NOI UNIVERSITYOF ENGINEERING TECHNOLOGYDUONG THI THANH HUYENAUTOMATED TESTCASE GENERATIONFROM EXECUTABLE MODELSTHE MS. THESIS INFORMATION TECHNOLOGYSupervisor: Dr. DANG DUC HANHHA NOI-2017LỜI CẢM ƠNĐầu tiên, tôi xin gửi lời cảm ơn chân thành và sâu sắc tới thầy Đặng ĐứcHạnh – giảng viên bộ môn Công Nghệ Phần Mềm - Người đã trực tiếp hướngdẫn nhiệt tình, giúp đỡ và động viên tôi rất nhiều, góp ý cho tôi những lờikhuyên chân thành trong quá trình nghiên cứu để hoàn thành đề tài này.Tiếp theo, tôi xin chân thành cảm ơn tập thể các thầy, cô giáo Trường Đạihọc Công Nghệ - Đại học Quốc Gia Hà Nội – những người đã tận tâm truyền đạtnhững kiến thức quý báu cho tôi trong suốt thời gian học tập.Cuối cùng, tôi xin gửi lời biết ơn sâu sắc tới gia đình, người thân đã luônhết lòng giúp đỡ, mang lại cho tôi nguồn động viên tinh thần to lớn và tạo mọiđiều kiện thuận lợi cho tôi trong quá trình học tập và hoàn thành luận văn.Xin trân trọng cảm ơn!Hà Nội, ngày 13 tháng 10 năm 2017Học viênDương Thị Thanh HuyềniTÓM TẮTLuận văn trình bày một phương pháp nghiên cứu tự động hóa quá trình sinhca kiểm thử từ mô hình luồng quy trình nghiệp vụ (BPMN). Hướng nghiên cứudự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áttriể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ántử và các ràng buộc được đưa vào trong thiết kế. Sau đó thực hiện dò tìm và sinhca 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 chotính đúng đắn và hiệu quả của phương pháp trên. Kết quả thực nghiệm cho thấyhiệ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áttriể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ể ápdụng để kiểm tra tính đúng đắn của các công cụ quản lý quy trình nghiệp vụ.Từ khóa: Kiểm thử dựa trên mô hình, kiểm thử tự động, mô hình hóa quy trìnhnghiệp vụ, quản lý quy trình nghiệp vụ.ii