Luận án Tiến sĩ Toán học: Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng

Mục tiêu của đề tài là nghiên cứu các phương pháp mô hình hóa ràng buộc giải ràng buộc từ đó cải tiến khả năng giải ràng buộc và áp dụng kỹ thuật thực thi biểu trưng trong tự động sinh các ca kiểm thử. Cài đặt thử nghiệm các phương pháp đề xuất trong sinh tự động các ca kiểm thử trên kiểu dữ liệu xâu và kiểu dữ liệu hỗn hợp. Phân tích, đánh giá kết quả sau khi thử nghiệm.
Nội dung trích xuất từ tài liệu:
Luận án Tiến sĩ Toán học: Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưngBỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ ----------------------------- TÔ HỮU NGUYÊNMỘT SỐ CẢI TIẾN VỀ RÀNG BUỘC XÂU TRONG SINH DỮ LIỆU KIỂM THỬ TỰ ĐỘNG CHO THỰC THI TƢỢNG TRƢNG LUẬN ÁN TIẾN SĨ TOÁN HỌC Hà Nội - 2020BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ ----------------------------- TÔ HỮU NGUYÊNMỘT SỐ CẢI TIẾN VỀ RÀNG BUỘC XÂU TRONG SINH DỮ LIỆU KIỂM THỬ TỰ ĐỘNG CHO THỰC THI TƢỢNG TRƢNG LUẬN ÁN TIẾN SĨ TOÁN HỌC Chuyên ngành : Cơ sở toán học cho tin học Mã số: 9 46 01 10 Người hướng dẫn khoa học: 1. TS. Nguyễn Trường Thắng 2. PGS. TS. Đặng Văn Đức Hà Nội - 2020 i MỤC LỤCMỤC LỤC ....................................................................................................................iLỜI CAM ĐOAN ..................................................................................................... iiiLỜI CẢM ƠN ............................................................................................................ivDANH MỤC THUẬT NGỮ VÀ TỪ VIẾT TẮT ......................................................vDANH MỤC BẢNG BIỂU .......................................................................................viDANH MỤC HÌNH VẼ ........................................................................................... viiMỞ ĐẦU .....................................................................................................................1CHƢƠNG 1. TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM VÀ THỰC THI BIỂUTRƢNG .......................................................................................................................5 1.1. Kiểm thử phần mềm ......................................................................................... 5 1.1.1. Các khái niệm cơ bản.................................................................................5 1.1.2 Các phương pháp kiểm thử .......................................................................10 1.2. Kỹ thuật kiểm thử hộp trắng dòng điều khiển ................................................ 12 1.2.1. Kiểm thử hộp trắng dòng điều khiển theo hướng động ...........................12 1.2.2 Kiểm thử hộp trắng dòng điều khiển theo hướng tĩnh ..............................14 1.2.3. Các tiêu chí phủ kiểm thử ........................................................................15 1.2.4. Đồ thị dòng điều khiển ............................................................................16 1.2.5. Đường kiểm thử .......................................................................................17 1.3. So sánh kiểm thử hộp trắng dòng điều khiển theo hướng tĩnh và động ......... 17 1.4. Thách thức trong kiểm thử phần mềm ........................................................... 18 1.5. Thực thi biểu trưng ......................................................................................... 19 1.5.1. Tổng quan về thực thi biểu trưng.............................................................19 1.5.2. Thực thi biểu trưng tĩnh ...........................................................................24 1.5.3. Thực thi biểu trưng động .........................................................................27 1.5.4 Thực thi Concolic .....................................................................................33 1.5.5. Thực thi biểu trưng với các lời gọi phương thức .....................................37 1.6.6. Ràng buộc xâu và vai trò của giải ràng buộc xâu ....................................40 1.6. Kết luận chương 1 .......................................................................................... 42CHƢƠNG 2. THỰC THI BIỂU TRƢNG VÀ MÔ HÌNH HÓA RÀNG BUỘC .....44 2.1. Đặt vấn đề ....................................................................................................... 44 2.1.1. Bùng nổ đường đi ....................................................................................44 ii 2.1.2. Mô hình hóa bộ nhớ .................................................................................46 2.2. Thực thi biểu trưng và cô ...