(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 ths máy tính 604801
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: (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 ths máy tính 604801
(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 ths máy tính 604801
DẠI HỌC QƯÓC GIA HÀ Nội TRƯỜNG DẠI HỌC CÔNG NGHỆDƯƠNG TIIỊ TIĨANTIIIUYẺNSINH Tự ĐỘNG CA KIỀM THỬ TỪ CÁC MÔ HÌNH THỤC THI ĐượcLUẬN VĂN THẠC S1 CÔNG NGH (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 ths máy tính 604801HỆ THÔNG TINHÀ NỘI-2017DẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHẸDƯƠNG THỊ THANH HƯYẺNSINH Tự ĐỘNG CA KIỀM THỬ TỪ CÁC MÔ HÌNH THỤC THI ĐượcNgành; Cóng nghệ thông tinChuyên ngành; Kỳ thuật phàn niêm Mà số; 60480103LUẬN VĂN THẠC sĩ CÔNG NGHẸ TĨĨÔNG TINCẤN BỌ HƯỚNG DẤN KHOA HỌC: TS. Dặng Dức Hạnh (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 ths máy tính 604801HÀ NỘI-2017VIETNAM NATIONAL UNIX'ERSITY, HA NOI UNIVERSITY OF ENGINEERING TECHNOLOGYDUONG THI THANH HƯYENAUTOMATED TESTCASE GENERATIONFROM EXECUTABLE(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 ths máy tính 604801
MODELSTHE MS. THESIS INFORMATION TECHNOLOGYSupervisor: Dr. DANG Due ĨTANĨĨHA NOI-2017LỜI CẢM ƠNDâu tiên, tôi xin gừi lời cam ơn chân thành và sâu sắc DẠI HỌC QƯÓC GIA HÀ Nội TRƯỜNG DẠI HỌC CÔNG NGHỆDƯƠNG TIIỊ TIĨANTIIIUYẺNSINH Tự ĐỘNG CA KIỀM THỬ TỪ CÁC MÔ HÌNH THỤC THI ĐượcLUẬN VĂN THẠC S1 CÔNG NGH (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 ths máy tính 604801ôi nhùng lời khuyên chân thành trong quá trình nghiên cứu đe hoàn thành đe tài này.Tiếp theo, tôi xin chân thành cam ơn tập thè các thây, cỏ giáo Trường Dại học CôngNghệ - Dại học Quốc Gia Hà Nội những người đà lận tâm truyền đạt những kiên thứcquý báu cho lòi trong suốt thín gian học tập.Cuối cùng, (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 ths máy tính 604801 tôi xin gửi lời biết ơn sâu sac 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 than to ló*n và tạo mọi diều(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 ths máy tính 604801
kiện thuận lợi cho tỏitrong quá trinh 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 2 tháng 12nãm 2017I lọc viênDương Thị Thanh HuDẠI HỌC QƯÓC GIA HÀ Nội TRƯỜNG DẠI HỌC CÔNG NGHỆDƯƠNG TIIỊ TIĨANTIIIUYẺNSINH Tự ĐỘNG CA KIỀM THỬ TỪ CÁC MÔ HÌNH THỤC THI ĐượcLUẬN VĂN THẠC S1 CÔNG NGH (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 ths máy tính 604801n cửu dựa trên lý thuyếtkiêm thư dựa trên mò hình. Mục tiêu dề ra là tự dộng hóa quả trình kiểm thư, nâng caohiệu quà kiểm thừ, tiết kiệm chi phi và thời gian phát triển sân phẩm phần mềm. Phương pháp dược dềxuất với nội dung chinh như sau:Với dầu vảo lả mô hình luồng nghiệp vụ BPMN lưu giừ dưới dạn (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 ths máy tính 604801gtệp xml, chương trinh kiềm thừ biên dồi tệp xml bàng cách bóc tách các thông diệp, toántử vả các ràng buộc dược dưa vào trong thiết kế. Sau dó thực h(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 ths máy tính 604801
iện dò tìm vã sinh ca kiếm thú chocác dường di từ diem bat dầu chotới diêm kết thúc gọi lã các dường kiểm thử.Dê kiêm nghiệm mức độ kliâ (hi cua phươnDẠI HỌC QƯÓC GIA HÀ Nội TRƯỜNG DẠI HỌC CÔNG NGHỆDƯƠNG TIIỊ TIĨANTIIIUYẺNSINH Tự ĐỘNG CA KIỀM THỬ TỪ CÁC MÔ HÌNH THỤC THI ĐượcLUẬN VĂN THẠC S1 CÔNG NGH (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 ths máy tính 604801Kcl qua thực nghiệm cho thấy hiệu qua cùa các kịch ban ca kiêm thưlà kha thi đê áp dụng cho các công ly phái Iricn phần mềm. Từ các ca kiêm ihư được sinh ra có (hê áp dụng đê kiêm ihư lích hợp, kiềm thừ hệ (hổng phần mềm. Hơn nửa, các ca kiêm (hữ còn có lliê áp dụng đê kiềm Ira lính dũng đán cùa các (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 ths máy tính 604801 công cụ quan lý quy (rinh nghiệp vụ.Từ khóa: Kiêm ihư dựa trên mô hình, kiêm ihư lự dộng, mô hình hóa quy (rinh nghiệp vụ. quan lý quy trinh nghiệp v(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 ths máy tính 604801
ụ.IIDẠI HỌC QƯÓC GIA HÀ Nội TRƯỜNG DẠI HỌC CÔNG NGHỆDƯƠNG TIIỊ TIĨANTIIIUYẺNSINH Tự ĐỘNG CA KIỀM THỬ TỪ CÁC MÔ HÌNH THỤC THI ĐượcLUẬN VĂN THẠC S1 CÔNG NGHDẠI HỌC QƯÓC GIA HÀ Nội TRƯỜNG DẠI HỌC CÔNG NGHỆDƯƠNG TIIỊ TIĨANTIIIUYẺNSINH Tự ĐỘNG CA KIỀM THỬ TỪ CÁC MÔ HÌNH THỤC THI ĐượcLUẬN VĂN THẠC S1 CÔNG NGHGọi ngay
Chat zalo
Facebook