Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
ĐẠI HỌC QUỐC GIA HÀ NỘI TRUỒNG DẠI HỌC CÔNG NGHỆChu Thị Minh HuệKIỂM THỬDựA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỂNLUẬN ÁN TIỄN SỲ Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềnỲ CÔNG NGHỆ THÔNG TINHà Nội - 2019LỜI CAM ĐOANTôi xin cam đoan luận án "Kiêm thử dựa trên mô hình vói cách tiếp cận mô hình hóa chuyên biệt miền" là công Irinh nghiên cún cùa liêng tôi. Các sô liệu, kẽt quà được ninh bày trong luận án là hoãn loàn trung thực và chưa lửng dưực công bố trong bất kỹ mộ Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềnt công ninh nào khác.Tôi đằ trích dần đầy đù các tài liệu tham khảo, công trình nghiên cún liên quan ó* trong nước vã quốc lố. Ngoại trù' các tài liệuKiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
tham kháo nãy, luận án hoàn loàn là công việc cúa riêng tôi.Trong các công ninh khoa học được công bô trong luận án, tôi đầ thế hiện rõ ràng và chínhĐẠI HỌC QUỐC GIA HÀ NỘI TRUỒNG DẠI HỌC CÔNG NGHỆChu Thị Minh HuệKIỂM THỬDựA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỂNLUẬN ÁN TIỄN SỲ Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềnphân mồm, Khoa Công nghệ Thông tin, Trường Dại học Công nghệ. Dại học Quốc gia ĩĩà Nội.Tác già:ĩĩà Nội:LỜI CẢM ƠNTrước hẽt, tôi muôn bày tỏ sự biết ơn đến PGS. TS. Nguyền Ngọc Bình và TS. Đặng Dức Hạnh, cán bộ hướng dân, các thây đã trực tiếp giảng dạy và định hướng lôi (rong SUỐI (hời gian học cao Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềnhọc, (hực hiện luận van (hạc sì cùng nhu’ luận án này. MỘI vinh dự ló’n cho (ôi dược học lập, nghiên cứu dưới sự hướng dàn cùa các Thây.Tôi xin bày tôKiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
sự biẽt ơn sâu sắc đẽn các Thầy Cô trong Bộ môn Công nghệ phân mêm vì sự giúp đờ cùa các Thây Cô vê các đóng góp rất hữu ích cho luận án.Tôi xin trânĐẠI HỌC QUỐC GIA HÀ NỘI TRUỒNG DẠI HỌC CÔNG NGHỆChu Thị Minh HuệKIỂM THỬDựA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỂNLUẬN ÁN TIỄN SỲ Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềnh thực hiện luận án.l õi cùng bày tó sự bicl o'n den Trường Đại học Su’ phạm Kỳ ihuậl Hưng Yên dà lạo diều kiện VC ihời gian và lài chinh cho lôi thực hiện luận án này. Tôi muôn cảm ơn đẽn Ban chù nhiệm, các cán bộ, giảng viên Khoa Công nghệ thông tin - Trường Dại học Sư phạm Kỳ thuật Hưng Yên đầ cô Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền vù dộng viên và sál cánh bên lôi Irong SUỐI quá trinh nghiên cứu.Tôi muốn cảm ơn đến (ất cà những người bạn cùa tôi, những người luôn chia sé, dộng vKiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
iên tôi bấl cú' khi nào tôi cân và lôi luôn ghi nhô’ điêu đó.Cuối cùng, lôi xin bày ló lòng biết o’n vô hạn dối vời cha mẹ, chõng, con và gia dinh dà ĐẠI HỌC QUỐC GIA HÀ NỘI TRUỒNG DẠI HỌC CÔNG NGHỆChu Thị Minh HuệKIỂM THỬDựA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỂNLUẬN ÁN TIỄN SỲ Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềnM TẮTLuận án này trình bày một số phương pháp cho phép sinh tự động các ca kiếm thử chức năng mức hệ thõng từ các ca sử dụng áp dụng các kỳ thuật kiếm thử dựa trên mô hình với hướng tiếp cận mô hình hóa chuyên biệt miền (Domain Specific Modeling - DSM ). Cụ thế, luận án quan tâm đến phương pháp đặc Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềntả rõ ràng các ca sù’ dụng và các ca kiếm thừ bằng các mô hĩnh trong các ngôn ngừ mô hình hóa chuyên biệt miên và phương pháp chuyên lự dộng các mô hìKiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
nh ca sứ dụng sang mô hinh ca kiếm thứ trong các ngôn ngừ đặc tà chuyên biệt miền. Các đóng góp chính cùa luận án như sau.Dề xuất ngôn ngừ USĨ. (Use CĐẠI HỌC QUỐC GIA HÀ NỘI TRUỒNG DẠI HỌC CÔNG NGHỆChu Thị Minh HuệKIỂM THỬDựA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỂNLUẬN ÁN TIỄN SỲ Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềng quy trinh phát triển phần mém bằng các chuyến đổi mô hình. Ngôn ngừ được xây dựng với cách tiẽp cận mô hình hóa chuyên biệt miên.Xây dựng ngôn ngũ’ TCSL (Test Case Specification Language) đê đặc tả lõ ràng các ca kiêm thử. Ngôn ngũ’ được xây dựng vói cách tiêp cận mô hinh hóa chuyên biệt miền.Dê x Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềnuẩt một phương pháp USLTG (USL-based Test Generation) đê sinh lự dộng các ca Idem thú’ lù' ca sứ dụng bẵng cách chuyên dối lự dộng các mõ hĩnh USL vàoKiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
trong một mõ hĩnh TCSL.Xây dựng bộ công cụ hô trự USL dé hiện thực hóa nhifng dề xuất cúa luận án. Bộ công cụ hồ trợ USL cho phép tích hợp ngôn ngừ UĐẠI HỌC QUỐC GIA HÀ NỘI TRUỒNG DẠI HỌC CÔNG NGHỆChu Thị Minh HuệKIỂM THỬDựA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỂNLUẬN ÁN TIỄN SỲ Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền cấp các bộ sinh lự dộng các chẽ lác khác nhau lũ’ mô hĩnh. Trọng làm chinh của luận án này là sinh các ca kiêm thử tự động từ các mô hình USL. Ngoài ra, luận ãn cùng trình bây các ví dụ nghiên cứu dược áp dụng cho các phương pháp cúa luận án, cung cấp các dánh giá của ngôn ngữ USL vơi các ngôn ngừ Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miềnđặc tả khác, và so sánh phương pháp USLTG với một sô phương pháp sinh ca kiêm thử từ ca sử dụng khác.Tìr khóa: ca sứ dụng, ca kiếm thứ, sinh ca kiếm tKiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
hử lự dộng, mô hình hóa chuyên biệt miền, USL, TCSL, ƯSLTG.Mục lụcLòi cam đoaniLòi cảm oiliiTóm tắtiiiMục lụcivDanh mục các từ viết tắtviiĐẠI HỌC QUỐC GIA HÀ NỘI TRUỒNG DẠI HỌC CÔNG NGHỆChu Thị Minh HuệKIỂM THỬDựA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỂNLUẬN ÁN TIỄN SỲĐẠI HỌC QUỐC GIA HÀ NỘI TRUỒNG DẠI HỌC CÔNG NGHỆChu Thị Minh HuệKIỂM THỬDựA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỂNLUẬN ÁN TIỄN SỲGọi ngay
Chat zalo
Facebook