TAILIEUCHUNG - 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. | BỘ 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ÊN 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 LUẬN ÁN TIẾN SĨ TOÁN HỌC Hà Nội - 2020 BỘ 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ÊN 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 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ỤC MỤC LỤC .i LỜI CAM ĐOAN . iii LỜI CẢM ƠN .iv DANH MỤC THUẬT NGỮ VÀ TỪ VIẾT TẮT .v DANH MỤC BẢNG BIỂU .vi DANH MỤC HÌNH VẼ . vii MỞ ĐẦU .1 CHƢƠNG 1. TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM VÀ THỰC THI BIỂU TRƢNG .5 . Kiểm thử phần mềm . 5 . Các khái niệm cơ Các phƣơng pháp kiểm thử .10 . Kỹ thuật kiểm thử hộp trắng dòng điều khiển . 12 . Kiểm thử hộp trắng dòng điều khiển theo hƣớng động .12 Kiểm thử hộp trắng dòng điều khiển theo hƣớng tĩnh .14 . Các tiêu chí phủ kiểm thử .15 . Đồ thị dòng điều khiển .16 . Đƣờng kiểm thử .17 . So sánh kiểm thử hộp trắng dòng điều khiển theo hƣớng tĩnh và động . 17 . Thách thức trong kiểm thử phần mềm . 18 . Thực thi biểu trƣng . 19 . Tổng quan về thực thi biểu . Thực thi biểu trƣng tĩnh .24 . Thực thi biểu trƣng động .27 Thực thi Concolic .33 . Thực thi biểu trƣng với các lời gọi phƣơng thức .37 . Ràng buộc xâu và vai trò của giải ràng buộc xâu .40 . Kết luận chƣơng 1 . 42 CHƢƠNG 2. THỰC THI BIỂU TRƢNG VÀ MÔ HÌNH HÓA RÀNG BUỘC .44 . Đặt vấn đề . 44 . Bùng nổ đƣờng đi .44 ii . Mô hình hóa bộ nhớ .46 . Thực thi biểu trƣng và công cụ mở rộng . 47 . Thực thi biểu trƣng và kiểm thử phần mềm .47 . Thực thi biểu trƣng trên ngôn ngữ Java .48

• Thạc sĩ - Tiến sĩ - Cao học
• Luận án Tiến sĩ
• Luận án Tiến sĩ Toán học
• Dữ liệu kiểm thử tự động
• Ràng buộc xâu
• Kiểm thử phần mềm
• Cơ sở toán cho tin học
• Dự thảo tóm tắt Luận án Tiến sĩ
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Hóa học
• Luận án Tiến sĩ ngành Hóa phân tích
• Nguyên tố độc hại cho môi trường
• Luận án Tiến sĩ Sinh học
• Luận án Tiến sĩ ngành Di truyền học
• Phân tích ADN
• Tế bào phôi thai tự do trong máu mẹ
• Luận án Tiến sĩ ngành Thực vật học
• Bảo tồn tài nguyên cây thuốc
• Ti nguyên cây thuốc tỉnh Thái Nguyên
• Luận án Tiến sĩ ngành Vi sinh vật học
• Xử lý chất thải hữu cơ
• Luận án Tiến sĩ ngành Hóa sinh học
• Bệnh đốm trắng ở tôm
• Luận án Tiến sĩ ngành Toán ứng dụng
• Phương pháp giải hệ phương trình toán tử
• Luận án Tiến sĩ ngành Hóa vô cơ
• Phức chất hỗn hợp kim loại
• Luận án Tiến sĩ Địạ lí
• Luận án Tiến sĩ ngành Địa lí tự nhiên
• Phát triển nông lâm nghiệp
• Cảnh quan miền núi
• Luận án Tiến sĩ ngành Hóa dầu
• Hệ nhũ tương
• Sự lắng đọng parafin
• Luận Án Tiến sĩ ngành Côn trùng học
• Bộ Phù du
• Bộ Cánh úp
• Bộ Cánh lông
• Luận Án Tiến sĩ ngành Sinh thái học
• Hệ sinh thái hồ Tây
• Sự chu chuyển của asen
• Luận Án Tiến sĩ ngành Hóa hữu cơ
• Loài thực vật thuộc họ rau răm
• Phương trình sai phân phi tuyến
• Tóm tắt dự thảo Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Hóa môi trường
• Phương pháp vi chiết mao quản hở
• Luận án Tiến sĩ Vật lý
• Luận án Tiến sĩ ngành Vật lý địa cầu
• Spread F xích đạo
• Nghiên cứu giám định gen
• Nghiên cứu dân tộc học
• Luận án Tiến sĩ ngành Vi sinh vật
• Nghiên cứu sản xuất vaccine
• Dịch tễ học bệnh than
• Loài thực vật thuộc họ thầu dầu
• Loài thực vật thuộc chi ba bét
• Chất lượng xơ ở cây bông
• Phương pháp lắng đọng hơi hóa học
• Màng mỏng oxit bán dẫn
• Nguyên tố đất hiếm
• Luận án Tiến sĩ ngành Vật lý chất rắn
• Công nghệ chế tạo microlaser
• Tóm tắt Luận án Tiến sĩ Luận án Tiến sĩ
• Luận án Tiến sĩ Địa lí
• Cảnh quan lưu vực sông Lại Giang
• Tính đa dạng thực vậ
• Hệ sinh thái vườn quốc gia Phú Quốc
• Luận án Tiến sĩ Cơ học
• Luận án Tiến sĩ ngành Cơ học vật rắn
• Vật liệu cơ tính biến thiên
• Phi tuyến ổn định tĩnh