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

Bài viết đề xuất 1 phương pháp sinh dữ liệu kiểm thử tự động áp dụng kĩ thuật kiểm thử theo cặp nhằm thu được bộ test data với độ phủ cao. Thực nghiệm cho thấy phương pháp đề xuất cho kết quả tốt hơn so với kiểm thử ngẫu nhiên.

6p kequaidan8 02-11-2020 68 5   Download

Kiểm thử là quá trình kiểm tra chương trình với mục đích phát hiện lỗi. Kiểm thử phần mềm cần nhiều thời gian và chi phí của dự án, thông thường chiếm 50% chi phí của dự án và 35% tổng thời gian phát triển phần mềm. Bài viết này tóm tắt các kỹ thuật chính trong việc sinh dữ liệu kiểm thử tự động từ mã nguồn và một số hướng nghiên cứu cải tiến.

9p videshiki2711 21-02-2020 70 1   Download

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 78 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 281 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 619 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 787 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

Chương 6 KĨ THUẬT SINH HỌC PHÂN TỬ TRONG PHÂN TÍCH HỆ GENE Ở SINH VẬT Tóm tắt: Sinh học phân tử là nòng cốt của công nghệ sinh học. Phân tích sinh học phân tử được bắt đầu từ việc thu nhận dịch chiết ADN từ tế bào sống đủ sạch để thực hiện các phân tích tiếp theo. Tuỳ theo vật liệu nghiên cứu mà có phương pháp tách chiết ADN phù hợp. Dung dịch ADN sau khi kiểm tra hàm lượng và độ sạch được sử dụng để phân tích theo những mục đích khác nhau như Southem...

13p biodoc 30-08-2011 417 138   Download

Lỗi phát sinh Để kiểm tra session đó có tồn tại hay chưa bạn sử dụng hàm session_is_register trong trang checksession.php. Đối với trường hợp này chúng ta cần kiểm tra 4 session trước khi truy cập đến chúng như ví dụ 5-5.

15p phuochau18 19-05-2011 79 8   Download