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ạmNộ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
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 Sinh tự động ca kiểm thử từ các mô hình thực thi đượcHỆ 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 tin Chuyên ngành; Kỳ thuật phàn niêmMà 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 Sinh tự động ca kiểm thử từ các mô hình thực thi đượcHÀ NỘI-2017VIETNAM NATIONAL UNIX'ERSITY, HA NOI UNIVERSITY OF ENGINEERING TECHNOLOGYDUONG THI THANH HƯYENAUTOMATED TESTCASE GENERATIONFROM EXECUTABLESinh tự động ca kiểm thử từ các mô hình thực thi được
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 Sinh tự động ca kiểm thử từ các mô hình thực thi đượcô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, Sinh tự động ca kiểm thử từ các mô hình thực thi được 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ềuSinh tự động ca kiểm thử từ các mô hình thực thi được
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 Sinh tự động ca kiểm thử từ các mô hình thực thi đượcn 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 Sinh tự động ca kiểm thử từ các mô hình thực thi đượcgtệ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 hSinh tự động ca kiểm thử từ các mô hình thực thi được
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 Sinh tự động ca kiểm thử từ các mô hình thực thi đượcKcl 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 Sinh tự động ca kiểm thử từ các mô hình thực thi được 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 vSinh tự động ca kiểm thử từ các mô hình thực thi được
ụ.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