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 TRƯỜNG ĐẠ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ẾPCẬN MÔ HÌNH HÓACHUYÊ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 trình nghiên cửu cùa riêng tôi. Các số liệu. kết. qua được trình bày trong luận án là hoàn toàn trung thực và chưa từng dược còng bố trong bất kỳ 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 một công trình nào khác.■Tòi dã trích dần dầy đủ các tài liệu tham khảo, còng trình nghiên cửu lien quan ờ trong nước và quốc tế. Ngoại trừ các tài lKiể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ệu tham khảo này. luận án hoàn toàn là công việc của riêng tói.■Trong các công trình khoa học dược cóng bó trong luận án. tôi dã the hiện rò ràng và ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠ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ẾPCẬN MÔ HÌNH HÓACHUYÊ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 ng nghệ phầ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 Hà Nội.Tác giâ:Hà Nội:iLỜ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. Dạng Dửc Hạnh, cán bộ hướng (lần, các thầy đã t rực tiếp giảng (lạy và (lịnh hường tôi trong suốt thòi gi 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 an học cao học, thực hiện luận văn thạc sĩ cũng như luận án này. Một vinh (lự lán cho tôi (lược học tập, nghiên cứu (lưới sự hướng (lần cùa các Thầy.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
ôi xin bày t ò sự biết, ơn sâu sắc (lếu các Thầy Cô t rong Bộ môn Công nghệ phần mềm vì sự giúp đờ cua các Thầy Cô về các (lóng góp rất hữu ích cho luĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠ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ẾPCẬN MÔ HÌNH HÓACHUYÊ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 trong suốt quá trình thực hiện luận án.Tôi cùng bày tó sự biết, ơn (lốn Trường Dại học Sir phạm Ky thuật Hưng Yên (là tạo (liều kiện về thời gian và tài chính cho tôi thực hiện luận án này. Tôi muốn cảm ơn den Ban chủ nhiệm, các cán bộ, giang viên Khoa Công nghệ thông tin - Trường Dại học Sư phạm K 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 ỹ thuật Hưng Yên (lã cổ vù (lộng viên và sát cánh ben tôi trong suốt quá trình nghiên cửu.Tôi muốn câm ơn (lếu tất cà những người bạn cùa tôi, những nKiể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 luôn chia se. (lộng viên tôi bất cử khi nào tôi cằn và tôi luôn ghi nhó (liều (ló.Cuối cùng, tôi xin bày tó lòng biết ơn vô hạn (lối vói cha mẹ, ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠ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ẾPCẬN MÔ HÌNH HÓACHUYÊ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 n thành được luận án này.iiiiiTÓM TẮTLuận án này trinh bày một sổ phương pháp cho phép sinh tự động các ca kicm 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 tìní dựa trên mô hình với hướng tiếp cận mô hình hóa chuyên biệt mien [Domain Specific Modeling DSM). Cụ the. 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 quan lâm đen phương pháp đặc tà rõ ràng các ca sữ dụng và các ca kicm thử bang các mô hình trong các ngón ngữ mô hình hóa chuyên biệt miền và phươngKiể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
pháp chuyên tự dộng các mô hình ca sir dụng sang mô hình ca. kiểm lliử trong các ngón ngữ dặc líi chuyên biệl mien. Các dóng góp chính cúa luận án nhưĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠ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ẾPCẬN MÔ HÌNH HÓACHUYÊ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 software artifacts) khác nhau trong quy trình phát triển phần mềm bang các chuyên dổi mô hình. Ngôn ngữ dượ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) dế đặc tà rõ ràng các ca kiểm thư. Ngôn ngữ dược xây dựng với cách tiếp cậ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 mô hình hóa chuyên biệt miền.Đề xuất một phương pháp ƯSLTG [ƯSL-based Test Generation) de sinh tự động các ca kiểm thử từ ca sử dụng bằng cách chuyênKiể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 tự động các mô hình USL vào trong một mó hình TCSL.Xây dựng bộ công cụ hồ trợ l SL đe hiện thực hóa những dề xuất của luận án. Bộ cóng cụ hổ trợ IĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠ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ẾPCẬN MÔ HÌNH HÓACHUYÊ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 mô hình l SL một các trực quan và cung cấp các bộ sinh tự động các chồ tác khác nhau từ mò hình. Trọng tâm chính của luận án này là sinh các ca kiêm thứ I ự dộng I ừ các mồ hình USL. Ngoài ra. luận án cũng t rình bày các ví dụ nghiên cửu dược áp dụng (1)0 các phương pháp ctìa luận án. cung cấp cá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 đánh giá của ngôn ngữ USL với các ngôn ngữ dạc tã khác, và so sánh phương pháp USLTG với một so phương pháp sinh ca kiêm Ihử t ừ ca. sử dụng khác.Từ kKiể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óa: ca sử dụng, ca kicm thử. sinh ca kiểm thử tự động, mô hình hóa chuyên biẹl miền, ƯSL, TCSL. ƯSLTG.Mục lụcLời cam đoaniLời câm ơniiĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠ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ẾPCẬN MÔ HÌNH HÓACHUYÊN BIỆT MIỀNLUẬN ÁN TIẾN SỲ ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠ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ẾPCẬN MÔ HÌNH HÓACHUYÊN BIỆT MIỀNLUẬN ÁN TIẾN SỲGọi ngay
Chat zalo
Facebook