Kĩ thuật sinh dữ liệu kiểm thử

Luận văn tập trung giải quyết các bài toán, và đề 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. Để giảm thiểu số lượng bộ dữ liệu kiểm thử trong khi vẫn đạt độ phủ cao, thuật toán LDFS được đề xuất. Để chứng minh tính hiệu quả của phương pháp đề xuất, công cụ CFT4Cpp được xây dựng dựa trên phương pháp đề xuất và tiến hành so sánh với các phương pháp kiểm thử khác gồm KLEE, PathCrawler, CAUT, CREST.

11p hanh_tv27 06-04-2019 80 2   Download

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.

69p hanh_tv26 04-04-2019 59 10   Download

Văn bản: MẸ TÔI.. Ét-môn-đô đơ A-mi-xi..Ngày soạn:..I – MỨC ĐỘ CẦN ĐẠT.. Qua bức thư của một người cha gửi cho đứa con mắc lỗi với mẹ, hiểu.tình yêu thương, kính trọng cha mẹ là tình cảm thiêng liêng đối với mỗi.người...II – TRỌNG TÂM KIẾN THỨC, KỸ NĂNG..1. Kiến thức.. - Sơ giản về tác giả Ét-môn-đô đơ A-mi-xi.. - Cách giáo dục vừa nghiêm khắc, vừa tế nhị, có lí và có tình của người.cha khi con mắc lỗi... - Nghệ thuật biểu cảm trực tiếp qua hình thức một bức thư...2. Kỹ năng:..

7p nguyenhoanglanktth 08-08-2014 284 5   Download

Tiết 61 TLV: THUYẾT MINH.. MỘT THỂ LOẠI VĂN HỌC....I.MỨC ĐỘ CẦN ĐẠT:.. Nắm được các kĩ năng và vận dụng để làm bài văn thuyết minh về một thể.loại văn học...II. TRỌNG TÂM KIẾN THỨC, KĨ NĂNG:.. 1. Kiến thức:.. - Sự đa dạng của đối tượng giới thiệu trong văn bản thuyết minh... - Việc vận dụng kết quả quan sát, tìm hiểu về một tác phẩm cùng thể.loại để làm bài văn thuyết minh về một thể loại văn học... 2. Kĩ năng:.. - Quan sát đặc điểm hình thức của một thể loại văn học... - Tìm ý, lập dàn ý cho bài văn thuyết minh về một thể loại văn học..

8p ducviet_58 07-08-2014 621 27   Download

Ghi chú: đề thi gồm tất cả 7 câu. Sinh viên lớp KSTN làm hết 7 câu, thang điểm 12/12. Sinh viên lớp thường làm 6 câu (từ câu 1 đến câu 6), thang diểm 10/10. Câu 1 (1.5 điểm): Tính toán big-O của các hàm dưới đây và sắp xếp chúng theo thứ tự từ nhỏ đến lớn theo big-O: Đáp áp: a) (1 điểm) Tính big-O a. 2 = O(2 ) b. n! = O(n!) c. n3.5 = O(n3.5) d. n + n2 + n3 = O(n3) e. 105 = O(1) f. 150,000 = O(1) g. nlog2(n) = O(nlog2(n)) n...

4p loc_x_m 23-12-2012 792 41   Download

Củng cố các kiến thức đã học về: thông tin và dữ liệu, cấu trúc máy tính, bài toán và toán. Kĩ năng: – Biết mã hoá thông tin, mô phỏng việc thực hiện một thuật toán. Thái độ: – Rèn luyện tính nghiêm túc trong khi làm bài. II. CHUẨN BỊ: Giáo viên: Đề bài kiểm tra. Học sinh: Ôn lại kiến thức đã học.

7p lotus_0 02-01-2012 117 4   Download