Đang tải... (xem toàn văn)
Giải thuật di truyền là một kỹ thuật của khoa học máy tính nhằm tìm kiếm giải pháp thích hợp cho các bài toán tối ưu tổ hợp. Giải thuật di truyền là một phân ngành của giải thuật tiến hóa vận dụng các nguyên lý của tiến hóa như di truyền, đột biến, chọn lọc tự nhiên, và trao đổi chéo.
10/21/2019 THUẬT TOÁN SINH TEST CASE BAO PHỦ CÂU LỆNH SỬ DỤNG GIẢI THUẬT DI TRUYỀN GIỚI THIỆU NHĨM Nhóm – VUWIT15 – 692508 IT4541 – Đảm bảo chất lượng phần mềm 21/10/2019 21/10/2019 GIỚI THIỆU NHÓM Nhóm • • • • • Trần Minh Sơn (nhóm trưởng) Hồng Sơn Cai Việt Hồng Phạm Quang Kh Phạm Thế Anh BAO PHỦ CÂU LỆNH (STATEMENT COVERAGE) 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 10/21/2019 BAO PHỦ CÂU LỆNH Định nghĩa BAO PHỦ CÂU LỆNH Định lượng Bao phủ lệnh (Statement Coverage – SC) kỹ thuật kiểm thử hộp trắng, bao gồm việc thực tất câu lệnh lần mã nguồn Nó số liệu, sử dụng để tính tốn đo lường số lượng câu lệnh mã nguồn thực thi 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm IT4541 – Đảm bảo chất lượng phần mềm BAO PHỦ CÂU LỆNH Ví dụ GIẢI THUẬT DI TRUYỀN (GENETIC ALGORITHM) a = 3, b = Number of executed statements = 5, Total number of statements = Statement Coverage: 5/7 = 71% 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 10/21/2019 GIẢI THUẬT DI TRUYỀN Định nghĩa Phương pháp Giải thuật di truyền (Genetic Algorithm - GA) kỹ thuật khoa học máy tính nhằm tìm kiếm giải pháp thích hợp cho toán tối ưu tổ hợp (combinatorial optimization) Giải thuật di truyền phân ngành giải thuật tiến hóa vận dụng nguyên lý tiến hóa di truyền, đột biến, chọn lọc tự nhiên, trao đổi chéo Trong giải thuật di truyền cho tốn tối ưu hóa, ý tưởng tập hợp (gọi nhiễm sắc thể) giải pháp (gọi cá thể) cho "tiến triển" theo hướng chọn lọc giải pháp tốt dần THUẬT TOÁN: SINH TEST CASE BAO PHỦ CÂU LỆNH SỬ DỤNG GIẢI THUẬT DI TRUYỀN 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 10 THUẬT TOÁN Lưu đồ giải thuật di truyền THUẬT TOÁN Lưu đồ ứng dụng giải thuật di truyền sinh test case tự động (GA Execution) 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 11 IT4541 – Đảm bảo chất lượng phần mềm 12 10/21/2019 THUẬT TOÁN GA Execution thu gọn THUẬT TOÁN Sơ đồ luồng điều khiển (Control Flow Graph – CFG) 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 13 IT4541 – Đảm bảo chất lượng phần mềm 14 THUẬT TOÁN Các trường hợp bao phủ câu lệnh (Specifying Statement Coverage Paths - SSCP) THUẬT TOÁN Lưu đồ sinh test case SC sử dụng GA CFG SSCP Path 1: S-1-2-3-5-7-E Path 2: S-1-2-4-5-6-7-8-E 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 15 IT4541 – Đảm bảo chất lượng phần mềm 16 10/21/2019 THUẬT TỐN Ví dụ THUẬT TỐN Ví dụ Compare integers function Bước 1: Xây dựng CFG SSCP • CFG 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 17 IT4541 – Đảm bảo chất lượng phần mềm 18 THUẬT TỐN Ví dụ THUẬT TỐN Ví dụ Bước 1: Xây dựng CFG SSCP • SSCP Bước 2: Chọn Path Bước 3: Thực Giải thuật di truyền • Khởi tạo Test Case theo ngun lí Ammann and Offutt (Bộ Test Case < 0, > = 0) Path 1: 1,2-3-4-9 Path 2: 1,2-3-5-6-9 Path 3: 1,2-3-5-7,8-9 21/10/2019 b -4 -5 Set 0 Set 10 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 19 a Set IT4541 – Đảm bảo chất lượng phần mềm 20 10/21/2019 THUẬT TOÁN Ví dụ THUẬT TỐN Ví dụ Bước 2: Chọn Path Bước 3: Thực Giải thuật di truyền • Đánh giá tiêu chí theo nguyên tắc Korel’s Distance Bước 2: Chọn Path Bước 3: Thực Giải thuật di truyền • Sắp xếp TC theo thứ tự tăng BD Set -> Set -> Set a b BD a b BD Set -4 -5 -1 Set -4 -5 -1 Set 0 Set 0 Set 10 -4 Set 10 -4 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm IT4541 – Đảm bảo chất lượng phần mềm 21 22 THUẬT TỐN Ví dụ THUẬT TỐN Ví dụ Bước 2: Chọn Path Bước 3: Thực Giải thuật di truyền • Trao đổi đơn TC Bước 2: Chọn Path Bước 3: Thực Giải thuật di truyền • Đột biến giá trị (Thay đổi giá trị ngẫu nhiên TC) a b a b a b a b Set 10 Set -4 Set -5 Set Set -4 -5 Set -5 Set 10 Set -3 10 Set 0 Set 10 Set -4 Set -4 • Tiếp tục đánh giá TC xếp lại • Quay lại bước Đánh giá tiêu chí (1) a b BD a b BD Set -4 -4 Set -5 -11 Set -5 -11 Set 10 -6 Set 10 -6 Set -4 -4 • Chương trình kết thúc đảm bảo số lượng TC generate đảm bảo SC 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 23 IT4541 – Đảm bảo chất lượng phần mềm 24 ... truyền sinh test case tự động (GA Execution) 21/10/2019 21/10/2019 IT4541 – Đảm bảo chất lượng phần mềm 11 IT4541 – Đảm bảo chất lượng phần mềm 12 10/21/2019 THUẬT TOÁN GA Execution thu gọn THUẬT... 10/21/2019 GIẢI THUẬT DI TRUYỀN Định nghĩa Phương pháp Giải thuật di truyền (Genetic Algorithm - GA) kỹ thuật khoa học máy tính nhằm tìm kiếm giải pháp thích hợp cho toán tối ưu tổ hợp (combinatorial... câu lệnh (Specifying Statement Coverage Paths - SSCP) THUẬT TOÁN Lưu đồ sinh test case SC sử dụng GA CFG SSCP Path 1: S-1-2-3-5-7-E Path 2: S-1-2-4-5-6-7-8-E 21/10/2019 21/10/2019 IT4541 – Đảm bảo