tailieunhanh - Luận án Tiến sĩ Công nghệ thông tin: 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

Luậ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). | Luận án Tiến sĩ Công nghệ thông tin 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ẾP CẬN MÔ HÌNH HÓA CHUYÊN BIỆT MIỀN LUẬN ÁN TIẾN SỸ CÔNG NGHỆ THÔNG TIN Hà Nội - 2019 LỜI CAM ĐOAN Tô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 quả được trình bày trong luận án là hoàn toàn trung thực và chưa từng được công bố trong bất kỳ một công trình 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ứu liên quan ở trong nước và quốc tế. Ngoại trừ các tài liệ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 được công bố trong luận án tôi đã thể hiện rõ ràng và chính xác đóng góp của các đồng tác giả và những gì do tôi đã đóng góp. Luận án được hoàn thành trong thời gian tôi làm Nghiên cứu sinh tại Bộ môn Công nghệ phần mềm Khoa Công nghệ Thông tin Trường Đại học Công nghệ Đại học Quốc gia Hà Nội. Tác giả Hà Nội i LỜI CẢM ƠN Trướ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 Đứ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 tôi trong suốt thời gian 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 dự lớn cho tôi được học tập nghiên cứu dưới sự hướng dẫn của các Thầy. Tôi xin bày tỏ 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 trọng cảm ơn Khoa Công nghệ thông tin Phòng Đào tạo và Ban giám hiệu trường Đại học Công nghệ đã tạo điều kiện thuận lợi cho tôi trong suốt quá trình thực hiện luận án. Tôi cũng bày tỏ sự biết ơn đến Trường Đại học Sư phạm Kỹ thuật Hưng Yên đã tạo điề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 đến Ban chủ nhiệm các cán bộ giảng viên Khoa Công nghệ .

• Thạc sĩ - Tiến sĩ - Cao học
• Luận án Tiến sĩ Công nghệ thông tin
• Công nghệ thông tin
• mô hình hóa chuyên biệt miền
• Kiểm thử phần mềm
• Sinh ca kiểm thử tự động
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Hệ thống thông tin
• Bài toán nhận dạng thực thể
• Dữ liệu văn bản tiếng Việt
• Dữ liệu văn bản y sinh học
• Luận án Tiến sĩ ngành Khoa học máy tính
• Hệ thống nơron sinh học
• Mô phỏng quá trình ghi nhớ thông tin
• Kỹ thuật giấu tin
• Kỹ thuật phát hiện ảnh giấu tin
• Ảnh giấu tin
• Luận án Tiến sĩ ngành Công nghệ thông tin
• Luận án Tiến sĩ ngành Công nghệ phần mềm
• Lý thuyết tập mờ
• Hệ thống hướng sự kiện
• Luận án Tiến sĩ Khoa học giáo dục
• Năng lực sử dụng công nghệ thông tin
• Dạy học phát triển năng lực
• Nâng cao chất lượng dạy Tin học
• Công nghệ thông tin và truyền thông
• Tính toán diễn biến môi trường nước
• Dự báo diễn biến môi trường nước
• Mô hình thủy lực
• Khai phá tri thức song ngữ
• Ngữ liệu song ngữ
• Luận án Công nghệ thông tin
• Kiểm định công khai dữ liệu
• Dữ liệu lưu trữ ngoài
• Khoa học máy tính
• Dự án trong đào tạo công nghệ thông tin
• Đào tạo công nghệ thông tin
• Sự hỗ trợ của Elearning
• Luận án Tiến sĩ Kỹ thuật phần mềm
• Áp dụng lý thuyết trò chơi
• Dự án đầu tư công nghệ thông tin
• Quản lý dự án công nghệ thông tin
• Luận án Tiến sĩ Hệ thống thông tin
• Hệ thống thông tin
• Phương pháp giấu tin thuận nghịch
• Ảnh đa cấp xám
• Luận án Tiến sĩ Kinh tế
• Chất lượng thông tin kế toán
• Rủi ro công nghệ thông tin
• Kế toán tài chính doanh nghiệp
• Quản trị nhân lực
• Công nghệ thông tin Việt Nam
• Đặc điểm ngành công nghệ thông tin
• Xây dựng cây Bootstrap tiến hóa
• Bài toán xây dựng cây tiến hóa
• Cây nhị phân
• Ứng dụng công nghệ thông tin
• Công nghệ thông tin ngành thuế
• Hệ thống ứng dụng CNTT trong ngành thuế
• Sử dụng CNTT trong ngành thuế
• Giao thức định tuyến tiết kiệm năng lượng
• Tiết kiệm năng lượng
• Thuật toán định tuyến phân cụm truyền đơn
• Tổng hợp dữ liệu
• Mạng cảm biến không dây
• Mô hình tổ hợp dữ liệu
• Đặc trưng điểm chạc
• Kỹ thuật đối sánh vân tay
• Kỹ thuật lập trình
• Mô hình học Ontology
• Xây dựng ontology dầu khí
• Đồ thị tái tổ hợp di truyền
• Dữ liệu hệ gen
• Hệ thống thông tin quản lý
• Thiết kế hệ thống thông tin
• Mô hình hệ thống thông tin
• Luận án Tiến sĩ ngành Kỹ thuật phần mềm
• Tối ưu phần mềm nhúng
• Phần mềm nhúng
• Lý thuyết vết
• Lý thuyết Vết thời gian
• Hệ phân tán
• Kỹ thuật xây dựng nhân vật ảo
• Hệ mã hóa cử động khuôn mặt