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ạm

Loại tài liệu: WORD

Số trang: 163 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

Nộ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ền

t 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ệu

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

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

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ền

họ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

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 v

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ê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à

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ền

tả 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

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ền

uẩ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ào

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 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

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 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

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