THƯ VIỆN F 🔎

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

➤  Gửi thông báo lỗi    ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu:     WORD
Số trang:         89 Trang
Tài liệu:           ✅  ĐÃ ĐƯỢC PHÊ DUYỆT
 











Nội dung chi tiết: 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

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜ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Ệ T

Sinh tự động ca kiểm thử từ các mô hình thực thi đượcTHÔNG TINHÀ NỘI-2017https://khothu vien .comVIETNAM NATIONAL UNIVERSITY, HA NOI UNIVERSITY OF ENGINEERING TECHNOLOGYDUONG THI THANH HUYENAUTOMATED TES

TCASEGENERATION FROM EXECUTABLEMODELSTHE MS. THESIS INFORMATION TECHNOLOGYSupervisor: Dr. DANG DUC HANHLI A vnrLỜI CÁM ƠNĐâu tiên, tôi xin gứi lời cám Sinh tự động ca kiểm thử từ các mô hình thực thi được

ơn chân thành và sâu sắc tới thầy Đặng Đức Hạnh - giáng viên bộ môn Công Nghệ Phân Mềm - Người đâ tìực tiếp hướng dân nhiệt tình, giúp đò' và động vi

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

ên tôi rất nhiêu, góp ý cho tôi những lời khuyê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 o'n

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜ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Ệ T

Sinh tự động ca kiểm thử từ các mô hình thực thi được suôt thời gian học tập.Cuối cùng, lôi xin gửi lời biêt ơn sâu sắc tới gia dinh, người thân dà luôn het lòng giúp dờ, mang lại cho tôi nguôn dộng viên

tinh thần to lớn và tạo mọi diề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 Sinh tự động ca kiểm thử từ các mô hình thực thi được

năm 2017 Học viênDương Thị Thanh HuyênTÓ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 sinh ca kiếm thử tù’ mô hình luông q

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

uỵ 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 h

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜ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Ệ T

Sinh tự động ca kiểm thử từ các mô hình thực thi đượcô 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 lừ diêm bât đầu cho tới diêm kết thúc gọi là các đường Sinh tự động ca kiểm thử từ các mô hình thực thi được

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 c

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

ho lính đúng dâ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 dê áp dụng cho các cô

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜ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Ệ T

Sinh tự động ca kiểm thử từ các mô hình thực thi đượ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ụ.Từ khóa: Kiêm thủ’ dựa trên mồ hình, kiếm thử tự động, mô hình

hóa quy trinh nghiệp vụ, quản lý quy trình nghiệp vụ.ABSTRACTThis thesis is researched and proposes a method to auto - generate a set of test cases f Sinh tự động ca kiểm thử từ các mô hình thực thi được

rom the BPMN model based on the model-based testing in order to automate the testing process, increase effectiveness, reduce cost and time of testing.

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

The method contains the following steps. At first, with the input as BPMN model, the program converts xml files by analyzing and dividing the input m

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜ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Ệ T

Sinh tự động ca kiểm thử từ các mô hình thực thi đượcsimple examples in order to study the feasibility of the method. The experimental results have given us the perspective of the tool to apply in automa

tion testing in software companies. From the generated test cases can be applied to the integration test, system testing. In addition, it can be used Sinh tự động ca kiểm thử từ các mô hình thực thi được

to test the validity of business process management tools.Keywords: Model based testing, automated testing, bpmn, bpm.

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜ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Ệ T

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜ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Ệ T