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 TESTCASEGENERATION 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 đượcrom 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 automation 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 đượcto 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