Nội dung chi tiết: Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++
Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++
ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHỆNguyên Đức AnhPHƯƠNG PHÁP PHÂN TÍCH MÃ NGUỒN VÀ SINH DỮ LIỆU KIẾM THỬ CHO CÁC Dự ÁN C/C++LUẬN VĂN THẠC Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++C sĩ: KỲ THUẬT PHÂN MỀMHÀ NỘI-2017ITLỜI CẢM ƠNĐâu tiên, tôi xin gửi lời cám ơn chân thành tới Tiến sĩ Phạm Ngọc Hùng - giảng viên bộ mòn công Nghệ Phần Mềm - người đà hướng dấn tận tình, tỉ mì, chu đáo tôi trong suôt hai năm làm luận văn. Quãng thời gian được thây hướng dân đà giúp tôi học hỏi, đúc Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++kết được nhiêu kinh nghiệm vê phương pháp nghiên cứu, kì năng giao tiếp, kì năng làm việc nhóm, kĩ năng trình bày. Thây còn truyền cho tôi ngọn lừa yê
Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++
u nghiên cứu khoa học, niêm tin vượt qua nhùng khó khăn trong cuộc sông và dạy tôi cách vượt qua những khó khăn đó. Tôi cảm thấy tự hào và may mắn khiĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHỆNguyên Đức AnhPHƯƠNG PHÁP PHÂN TÍCH MÃ NGUỒN VÀ SINH DỮ LIỆU KIẾM THỬ CHO CÁC Dự ÁN C/C++LUẬN VĂN THẠC Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++t tình đế hoàn thành luận văn sao cho đạt hiệu quả cao nhất. Cám ơn nhóm nghiên cứu đà giúp đờ tôi bằng hành động, bằng lời nói mỏi khi tôi gặp khó khăn, that bại. Hai năm bên nhau không phải là dài nhưng đối với tôi, đây là quàng thời gian tuyệt vời nhất và không thế nào quên.Tiếp theo, tôi xin gửi Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++ lời cảm ơn đẽn các thây cô giảng viên 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
Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++
làm nền tàng đê tôi tiếp tục đi xa hơn nừa trong lĩnh vực công nghệ thông tin.Cuối cùng, tôi xin được cám ơn gia đình đà nuôi tôi khôn lớn để trở thànĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHỆNguyên Đức AnhPHƯƠNG PHÁP PHÂN TÍCH MÃ NGUỒN VÀ SINH DỮ LIỆU KIẾM THỬ CHO CÁC Dự ÁN C/C++LUẬN VĂN THẠC Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++ẹ, em gái đà luôn động viên và cố vù tôi mòi khi tôi gặp khó khăn và thữ thách.Hà Nội, ngày 25 tháng 11 năm 2017Học viênNguyên Đức AnhIIILỜ1 CAM ĐOANTôi xin cam đoan lăng những nghiên cứu vê kiêm thứ tụ’ động cho chương trình C/C++ dược Irình bày irong luận văn này là cùa lôi và chưa lừng dưực nộp n Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++hu* mộl báo cáo luận văn tại trường Dại học công Nghệ - Dại học Quốc Gia Tĩà Nội hoặc bât kỳ trường đại học khác. Nhừng gì tôi viễt ra không sao chép
Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++
tù’ các tài liệu, không sử dụng các kêì quà cùa người khác mà không trích dân cụ ihc.Tôi xin cam doan công cụ kiềm ihừ lự dộng tôi trình bày irong khoĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHỆNguyên Đức AnhPHƯƠNG PHÁP PHÂN TÍCH MÃ NGUỒN VÀ SINH DỮ LIỆU KIẾM THỬ CHO CÁC Dự ÁN C/C++LUẬN VĂN THẠC Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++ghệ - Dại học Quốc Gia Hà Nội.Hà Nội, ngày 25 tháng 11 năm 2017Học viênNguyền Đức AnhIVMỤC LỤCChuông l.Giới thiệu......................................................1Chương 2. Tông quan kì thuật kiếm thử tự động định hướng.................52.1.Dừ liệu kiếm thử...................................... Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++..........52.2.Các tiêu chí độ phú sử dụng trong kì thuật kiếm thử tự động định hướng5 2.3. Đô thị dòng điêu khiên....................................
Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++
......62.4.Cây cú pháp trừu tượng..........................................72.5.Quy trình chung kĩ thuật kiếmthử tự động định hướng............7ChươngĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHỆNguyên Đức AnhPHƯƠNG PHÁP PHÂN TÍCH MÃ NGUỒN VÀ SINH DỮ LIỆU KIẾM THỬ CHO CÁC Dự ÁN C/C++LUẬN VĂN THẠC Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++phương pháp đê xuât...................................93.2.Pha tiền xử lý mà nguồn.........................................103.2.1.Xây dựng cây cấu trúc từ dự án C/C++.........................103.2.2.Chèn các câu lệnh đánh dãu vào hàm...........................13 Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án c c++ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHỆNguyên Đức AnhPHƯƠNG PHÁP PHÂN TÍCH MÃ NGUỒN VÀ SINH DỮ LIỆU KIẾM THỬ CHO CÁC Dự ÁN C/C++LUẬN VĂN THẠC