Luận văn trình bày các nội dung chính sau: Chương 1) Đặt vấn đề; chương 2) Giới thiệu tổng quan về mô hình thực thi được, tổng quan về kiểm thử dựa trên mô hình, một số phương pháp kiểm thử dựa trên mô hình; chương 3) Phát biểu bài toán, đề xuất phương pháp sinh tự động ca kiểm thử từ mô hình BPMN; chương 4) Mô tả cài đặt và kết quả thực nghiệm triển khai phương pháp đã đề xuất; chương 5) Trình bày tóm tắt kết quả đã đạt được, kết luận, những hạn chế và hướng nghiên cứu phát triển trong tương lai. | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ DƯƠNG THỊ THANH HUYỀN SINH TỰ ĐỘNG CA KIỂM THỬ TỪ CÁC MÔ HÌNH THỰC THI ĐƯỢC LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN HÀ NỘI – 2017 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ DƯƠNG THỊ THANH HUYỀN SINH TỰ ĐỘNG CA KIỂM THỬ TỪ CÁC MÔ HÌNH THỰC THI ĐƯỢC Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số: 60480103 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN CÁN BỘ HƯỚNG DẪN KHOA HỌC: TS. Đặng Đức Hạnh HÀ NỘI – 2017 VIETNAM NATIONAL UNIVERSITY, HA NOI UNIVERSITY OF ENGINEERING TECHNOLOGY DUONG THI THANH HUYEN AUTOMATED TESTCASE GENERATION FROM EXECUTABLE MODELS THE MS. THESIS INFORMATION TECHNOLOGY Supervisor: Dr. DANG DUC HANH HA NOI-2017 LỜI CẢM ƠN Đầu tiên, tôi xin gửi lời cảm ơn chân thành và sâu sắc tới thầy Đặng Đức Hạnh – giảng viên bộ môn Công Nghệ Phần Mềm - Người đã trực tiếp hướng dẫn nhiệt tình, giúp đỡ và động viên tôi rất nhiều, góp ý cho tôi những lời khuyên chân thành trong quá trình nghiên cứu để hoàn thành đề tài này. Tiếp theo, tôi xin chân thành cảm ơn tập thể các thầy, cô giáo Trường Đại học Công Nghệ - Đại học Quốc Gia Hà Nội – những người đã tận tâm truyền đạt những kiến thức quý báu cho tôi trong suốt thời gian học tập. Cuối cùng, tôi xin gửi lời biết ơn sâu sắc tới gia đình, người thân đã luôn hết lòng giúp đỡ, mang lại cho tôi nguồn động viên tinh thần to lớn và tạo mọi điều kiện thuận lợi cho tôi trong quá trình 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 13 tháng 10 năm 2017 Học viên Dương Thị Thanh Huyền i TÓM TẮT Luận văn trình bày một phương pháp nghiên cứu tự động hóa quá trình sinh ca kiểm thử từ mô hình luồng quy trình nghiệp vụ (BPMN). Hướng nghiên cứu dựa trên lý thuyết kiểm thử dựa trên mô hình. Mục tiêu đề ra là tự động hóa quá trình kiểm thử, nâng cao hiệu quả kiểm thử, tiết kiệm chi phí và thời gian phát triển sản phẩm phần mềm. Phương pháp được đề xuất với nội dung chính như sau: Với đầu vào là mô hình luồng nghiệp vụ BPMN lưu .
