TAILIEUCHUNG - Luận văn Thạc sĩ Kỹ thuật phần mềm: Phương pháp sinh dữ liệu kiểm thử tự động từ mã nguồn và ứng dụng xây dựng hệ thống chấm bài lập trình

Luận văn cũng đã tiến hành xây dựng công cụ hỗ trợ và áp dụng thử nghiệm với các chương trình đơn giản nhằm minh chứng cho tính đúng đắn và tính hiệu quả của phương pháp đề xuất. Tuy nhiên, công cụ cài đặt chưa được hoàn thiện và cần được tiếp tục phát triển nhằm có một công cụ hỗ trợ giáo viên như đã nêu ở trên. | Luận văn Thạc sĩ Kỹ thuật phần mềm Phương pháp sinh dữ liệu kiểm thử tự động từ mã nguồn và ứng dụng xây dựng hệ thống chấm bài lập trình ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ KHÁNH CHI PHƢƠNG PHÁP SINH DỮ LIỆU KIỂM THỬ TỰ ĐỘNG TỪ MÃ NGUỒN VÀ ỨNG DỤNG XÂY DỰNG HỆ THỐNG CHẤM BÀI LẬP TRÌNH LUẬN VĂN THẠC SĨ Ngành Kỹ Thuật Phần Mềm HÀ NỘI 2019 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ KHÁNH CHI PHƢƠNG PHÁP SINH DỮ LIỆU KIỂM THỬ TỰ ĐỘNG TỪ MÃ NGUỒN VÀ ỨNG DỤNG XÂY DỰNG HỆ THỐNG CHẤM BÀI LẬP TRÌNH Ngành Kỹ Thuật Phần Mềm Chuyên ngành Kỹ Thuật Phần Mềm Mã số 848 01 LUẬN VĂN THẠC SĨ Ngành Kỹ Thuật Phần Mềm NGƢỜI HƢỚNG DẪN KHOA HỌC PGS. TS. Phạm Ngọc Hùng HÀ NỘI 2019 VIETNAM NATIONAL UNIVERSITY HANOI UNIVERSITY OF ENGINEERING AND TECHNOLOGY NGUYEN THI KHANH CHI A METHOD FOR AUTOMATED TEST DATA GENERATION FROM SOURCE CODE AND APPLICATION IN BUILDING PROGRAMMING MARKING SYSTEM THE MS. THESIS Major InformationTechnology Supervisor Assoc. Prof. Pham Ngoc Hung HANOI - 2019 i MỤC LỤC MỤC LỤC . i LỜI CẢM ƠN . iii TÓM TẮT. iv ABSTRACT . v LỜI CAM ĐOAN . vi DANH MỤC THUẬT NGỮ VIẾT TẮT .vii DANH MỤC HÌNH VẼ . viii DANH MỤC BẢNG . x Chương 1 Mở đầu . 1 Chương 2 Phương pháp sinh dữ liệu kiểm thử dòng điều khiển . 3 Tổng quan về kiểm thử dòng điều khiển . 3 Các tiêu chí kiểm thử . 4 Xây dựng đồ thị dòng điều khiển . 6 dựng đồ thị dòng điều khiển ứng với tiêu chí phủ câu lệnh và phủ nhánh . 8 . Xây dựng CFG ứng với tiêu chí phủ điều kiện con . 9 . Phương pháp xây dựng CFG từ mã nguồn Java . 10 . Sinh đường đi kiểm thử từ đồ thị. 12 . Sinh đường đi thỏa mãn tiêu chí phủ câu lệnh. 12 . Sinh đường đi thỏa mãn tiêu chí phủ nhánh . 13 . Sinh đường đi thỏa mãn tiêu chí phủ điều kiện con . 13 . Phương pháp sinh đường đi kiểm thử trên đồ thị . 14 . Sinh ca kiểm thử từ đường đi . 15 . Sinh dữ liệu kiểm thử . 15 . Sinh đầu ra mong muốn . 17 . Sinh các ca kiểm thử giá trị biên và

• Thạc sĩ - Tiến sĩ - Cao học
• Kỹ thuật phần mềm
• Luận văn Thạc sĩ Kỹ thuật phần mềm
• Phương pháp sinh dữ liệu kiểm thử
• Hệ thống chấm bài lập trình
• Kiểm thử tự động từ mã nguồn
• Đề tài xây dựng phần mềm
• Đồ án phần mềm
• Bài tập lớn công nghệ phần mềm
• Phần mềm và kỹ thuật phần mềm
• Bài thuyết trình công nghệ phần mềm
• Bài thuyết trình kỹ nghệ phần mềm
• Công nghệ phần mềm
• Bài giảng Kỹ thuật phần mềm
• Bản chất phần mềm
• Quy trình phát triển phần mềm
• Phát triển phần mềm
• Kỹ thuật phần mềm ứng dụng
• Báo cáo kỹ thuật phần mềm ứng dụng
• Thiết kế phần mềm ứng dụng
• Báo cáo công nghệ thông tin
• Luận văn thiết kế phần mềm ứng dụng
• Ước lượng chi phí phần mềm
• Quản lý chất lượng phần mềm
• Cải tiến quy trình phần mềm
• Quản lý dự án phần mềm
• Quy trình quản lý dự án
• Kỹ thuật quản lý dự án
• Bài giảng Lý thuyết kiểm tra phần mềm
• Lý thuyết kiểm tra phần mềm
• Kỹ thuật gỡ rối sửa lỗi phần mềm
• Kỹ thuật vét cạn phần mềm
• Kiểm tra phần mềm
• Bài giảng Kỹ thuật phần mềm ứng dụng
• Thiết kế phần mềm
• Thiết kế kiến trúc
• Kiến trúc phần mềm
• Phong cách kiến trúc
• Yêu cầu người dùng
• Xác định yêu cầu phần mềm
• Phương pháp đặc tả yêu cầu phần mềm
• Kiểm thử module
• Kiểm thử phần mềm
• Bảo trì phần mềm
• Bài giảng Bảo trì phần mềm
• Kỹ thuật bảo trì phần mềm
• Quản lý bảo trì phần mềm
• Phép đo bảo trì phần mềm
• Chi phí bảo trì phần mềm
• Kỹ nghệ phần mềm
• Kỹ thuật lập trình
• Lập trình phần mềm
• Định nghĩa kỹ nghệ phần mềm
• Tiến trình kỹ nghệ phần mềm
• Công cụ kỹ nghệ phần mềm
• Tiến trình phần mềm
• Mô hình tiến trình phần mềm
• Công nghệ thông tin
• Kiểm soát chất lượng phần mềm
• Đảm bảo chất lượng phần mềm
• Chất lượng phần mềm
• Quy trình kiểm soát chất lượng phần mềm
• Kỹ thuật kiểm soát chất lượng phần mềm
• Kỹ thuật kiểm tra phần mềm
• phần mềm CutViewer
• Hướng dẫn sử dụng phần mềm
• phần mềm tích hợp
• phần mềm đặt pass
• kỹ thuật sử dụng phần mềm
• phương pháp sử dụng phần mềm
• Kiến trúc dữ liệu
• phần mềm máy tính
• ứng dụng phần mềm máy tính
• Bài tập lớn Kỹ thuật phần mềm
• Bài tập lớn
• Bài tập lớn ngành Công nghệ thông tin
• Kỹ thuật kiểm thử phần mềm ứng dụng
• Quản trị dự án phần mềm
• Quản trị dự án
• Kỹ thuật điều phối
• Kỹ thuật sửa chữa máy tính
• Kỹ thuật lắp ráp máy tính
• Giáo trình Xử lý sự cố phần mềm
• Xử lý sự cố phần mềm
• Quy trình xử lý sự cố phần mềm
• Nguyên tắc xử lý sự cố phần mềm
• Kỹ thuật hệ thống
• Kỹ thuật sản phẩm phần mềm
• Kỹ thuật tiến trình nghiệp vụ
• Hệ thống máy tính
• Thuật ngữ Anh Việt
• Kỹ nghề phần mềm
• Thuật ngữ Tiếng Anh về phần mềm
• Thuật ngữ công nghệ thông tin
• quản trị hệ thống
• mẹo sử dụng máy tính
• hệ điều hành mac
• Bài tập lớn môn tin học
• Thuyết giảng công nghệ thông tin
• phần mềm
• dự án phần mềm
• hệ thống phần mềm
• cấu trúc dữ liệu