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