tailieunhanh - Luận văn Thạc sĩ Kỹ thuật phần mềm: 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++

Luận văn hướng đến xây dựng một giải pháp kiểm thử tự động mức đơn vị cho các dự án C/C++. Tuy vậy, các vấn đề còn tồn tại cần giải quyết của kĩ thuật kiểm thử tự động định hướng gồm vấn đề sinh dữ liệu kiểm thử đầu tiên chưa đủ tốt, sinh tập dữ liệu kiểm thử có số lượng nhỏ nhưng đạt độ phủ cao. Do đó, luận văn tập trung giải quyết các bài toán này. Cụ thể, luận văn đề xuất kĩ thuật sinh dữ liệu kiểm thử đầu tiên dựa trên thông tin phân tích mã nguồn thay vì áp dụng kĩ thuật sinh ngẫu nhiên truyền thống trong kĩ thuật kiểm thử tự động định hướng. | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Nguyễn Đức Anh 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++ LUẬN VĂN THẠC SĨ: KỸ THUẬT PHẦN MỀM HÀ NỘI – 2017 I ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Nguyễn Đức Anh 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++ 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Ĩ: KỸ THUẬT PHẦN MỀM Cán bộ hướng dẫn: PGS. TS. Phạm Ngọc Hùng HÀ NỘI - 2017 II LỜ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 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ê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 là một học viên được thầy hướng dẫn trong những năm tháng cao học. Ngoài ra, tôi xin gửi lời cám ơn chân thành đến nhóm nghiên cứu đã giúp đỡ tôi nhiệ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, thất 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 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 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ành người có ích cho xã hội, giúp tôi có một điểm tựa vững chắc để yên tâm học hành trong suốt bao năm qua. Tôi xin gửi lời cám ơn chân thành tới cha, mẹ, em gái đã .

• Thạc sĩ - Tiến sĩ - Cao học
• Luận văn Thạc sĩ
• Công nghệ thông tin
• Phân tích mã nguồn
• Sinh dữ liệu kiểm thử
• Ngôn ngữ lập trình C
• Kĩ thuật kiểm thử tự động
• Luận văn thạc sĩ kinh tế
• Luận văn thạc sĩ kế toán
• Mô hình tổ chức kế toán
• Tóm tắt luận văn thạc sĩ quản trị kinh doanh
• Luận văn thạc sĩ quản trị kinh doanh
• Luận văn thạc sĩ tài chính ngân hàng
• Kiểm soát nội bộ tín dụng
• Tóm tắt luận văn thạc sĩ kinh doanh
• Kiểm soát tín dụng
• Quản lý thu bảo hiểm xã hội
• Quản lý thu bảo hiểm
• Kiểm soát nội bộ chi phí
• Kiểm soát nội bộ
• Báo cáo bảo vệ luận văn thạc sĩ
• Bảo vệ luận văn thạc sĩ
• Giải trình sau bảo vệ luận văn thạc sĩ
• Hội đồng chấm luận văn thạc sĩ
• Đánh giá luận văn thạc sĩ
• Cách viết luận văn thạc sĩ
• Luận văn thạc sĩ lí luận
• Phương pháp dạy học văn
• Cách trình bày luận văn
• Kỹ năng trình bày luận văn thạc sĩ
• Luận văn kinh tế nông nghiệp
• Luận văn thạc sĩ nông nghiệp
• Luận văn phát triển kinh tế hộ
• Luận văn thạc sĩ kinh tế nông nghiệp
• Luận văn thạc sĩ thạc sĩ Lịch sử
• Luận văn thạc sĩ lý luận chính trị
• Luận văn lịch sử ĐCS Việt Nam
• Đề tài ĐCS Việt Nam
• Luận văn chính trị
• Luận văn sư phạm lịch sử
• Đề tài chiến tranh du kích ở Đăk Lăk
• Tóm tắt luận văn thạc sĩ khoa học xã hội
• Tóm tắt luận văn thạc sĩ khoa học nhân văn
• Luận văn thạc sĩ khoa học nhân văn
• Luận văn thạc sĩ khoa học xã hội
• Thơ Tản Đà
• Thơ Trần Tuấn Khải
• Luận văn Thạc sĩ Ngữ văn
• Luận văn Thạc sĩ ngành Văn học nước ngoài
• Luận văn Thạc sĩ ngành Văn học Trung Quốc
• Nghệ thuật trong Tây Du Ký
• Tây Du Ký
• Tóm tắt Luận văn Thạc sĩ
• Luận văn Thạc sĩ ngành Văn học Việt Nam
• Đặc điểm ký Nguyễn Ái Quốc
• Thể loại ký
• Thơ văn Nguyễn Ái Quốc
• Luận văn Thạc sĩ Khoa học Ngữ văn
• Nhà nho ẩn sĩ
• Tố chức ẩn sĩ của Đào Uyên Minh
• Tố chức ẩn sĩ của Nguyễn Bỉnh Khiêm
• Luận văn Thạc sĩ Sư phạm Ngữ văn
• Sư phạm Ngữ văn
• Phương pháp dạy học môn Ngữ văn
• Văn tế nghĩa sĩ Cần Giuộc
• Biện pháp tạo hứng thú trong dạy học
• Luận văn kinh tế quốc tế
• Đề tài hội nhập kinh tế Việt Nam
• Luận văn thạc sĩ kinh tế tài chính
• Đề tài dịch vụ tín dụng ngân hàng
• Luận văn ngân hàng thương mại
• Đề tài tài trợ tín dụng cho doanh nghiệp
• Đề tài tín dụng ngân hàng
• Luận văn cao học
• Đề tài quản trị kinh doanh
• Kiểm soát tín dụng tại ngân hàng
• Luận văn quản trị kinh doanh