Chương 5 cung cấp kiến thức về các kỹ thuật kiểm tra động. Nội dung chính trong chương này gồm có: Tổng quan về kiểm thử động, kiểm thử hộp đen, kiểm thử hộp trắng, kỹ thuật dựa trên kinh nghiệm, chọn kỹ thuật kiểm thử phù hợp. Mời các bạn cùng tham khảo.
ĐẢM BẢO VÀ KIỂM SOÁT CHẤT LƯỢNG Chương 5: Các kỹ thuật kiểm tra động HCM – 10/2012 4/23/2014 Nội dung Tổng quan kiểm thử động Kiểm thử hộp đen Phân hoạch tương đương Phân tích giá trị biên Sơ đồ chuyển trạng thái Bảng định Kiểm thử hộp trắng Luồng điều khiển Kỹ thuật dựa kinh nghiệm Chọn kỹ thuật kiểm thử phù hợp 4/23/2014 Trang Tại cần kiểm thử Động? Testing hết tất trường hợp điều => Phải xác định tập con: Có khả xác định lỗi cao Với chi phí nhỏ Phải thơng qua quy trình để giúp xác định danh sách test case phù hợp Test-case hiệu (Effective): tìm nhiều lỗi • Tập trung vào lỗi đặc thù • Testing cần Test Test-case hữu hiệu (Efficient): tìm lỗi với chi phí nhỏ • Tránh trùng lấp • Các kỹ thuật phải có tính đo lường 4/23/2014 Trang 3 kiểu thiết kế kiểm thử động Hộp đen (Specification-based - black box) Hộp trắng (Structure-based - white box) Dựa kinh nghiệm(Experience-based : cơng, thăm dị, danh sách ý kiểm tra) Tạo kiểm thử chủ yếu nhờ vào hiểu biết hệ thống, kinh nghiệm khứ, phương pháp đoán lỗi Nên áp dụng đâu? output 4/23/2014 Trang Áp dụng đâu? Hộp đen thường áp dụng cho tất cấp độ tập trung vào cấp độ cao (System Acceptance) Hộp trắng thường áp dụng cấp độ thấp (Unit Integration) Dựa kinh nghiệm khơng rõ u cầu 4/23/2014 Chấp nhận Hệ thống Tích hợp Đơn vị Trang Chiến lược kiểm thử Mỗi phương pháp có ưu điểm khuyết điểm riêng Cần kết hợp sức mạnh hai phương pháp Bắt đầu việc phát triển ca kiểm thử sử dụng phương pháp hộp đen Sau phát triển bổ sung ca kiểm thử cần thiết với phương pháp hộp trắng Hộp đen 4/23/2014 Hộp trắng Phân hoạch tương đương Luồng điều khiển Phân tích giá trị biên Sơ đồ chuyển trạng thái Bảng định Đồ thị Nhân Dòng liệu Trang Nội dung Tổng quan kiểm thử động Kiểm thử hộp đen Phân hoạch tương đương Phân tích giá trị biên Sơ đồ chuyển trạng thái Bảng định Đồ thị Nhân Kiểm thử hộp trắng Luồng điều khiển Kỹ thuật dựa kinh nghiệm Chọn kỹ thuật kiểm thử 4/23/2014 Trang Phân lớp/hoạch tương đương Equivalence partitioning Phân Chia thông tin đầu vào, ra, hành vi môi trường thành phân lớp được“xử lý” tương đương Vùng hợp lệ (Valid) Vùng không hợp lệ (Invalid) Định nghĩa kịch cho phần vùng giá trị K iểm thử giá trị đại diện lớp Nếu giá trị đại diện bị lỗi thành viên lớp bị lỗi invalid valid 4/23/2014 100 invalid 101 Trang Phân lớp/hoạch tương đương Equivalence partitioning Bài tập: Nhập tọa độ điểm không gian hai chiều với 3≤ x ≤7 5≤ y ≤9 4/23/2014 Trang Phân tích giá trị biên Boundary value analysis (BVA) Kinh nghiệm cho thấy ca kiểm thử mà khảo sát tỷ mỷ điều kiện biên có tỷ lệ phần trăm cao ca kiểm thử khác Là phương pháp bổ sung thêm cho phân lớp tương đương, khác với phân lớp tương đương khía cạnh: Chọn giá trị biên đầu vào để kiểm tra lớp đầu vào thay thêm vào giá trị tùy ý Cũng chọn giá trị đầu vào giá trị biên đầu invalid 4/23/2014 valid invalid 100 101 Trang 10 Độ phức tạp Cyclomatic C Độ phức tạp Cyclomatic C = V(G) đồ thị dịng điều khiển tính công thức sau : V(G) = E - N + 2, E số cung, N số nút đồ thị V(G) = P + 1, đồ thị dòng điều khiển nhị phân P số nút định Độ phức tạp Cyclomatic C số đường thi hành tuyến tính độc lập cần kiểm thử Nếu kiểm thử tất đường thi hành đạt phủ kiểm thử cấp 4/23/2014 Trang 42 Qui trình kiểm thử hộp trắng Từ chương trình cần kiểm thử, xây dựng đồ thị dòng điều khiển tương ứng, chuyển thành đồ thị dòng điều khiển nhị phân Tính độ phức tạp Cyclomatic đồ thị (C = P +1) Xác định C đường thi hành tuyến tính độc lập cần kiểm thử Tạo test case cho đường thi hành tuyến tính độc lập 4/23/2014 Trang 43 Qui trình xác định đường tuyến tính độc lập Xác định đường tuyến tính cách dọc theo nhánh bên trái nút định Chọn đường pilot Dựa đường pilot, thay đổi cung xuất nút định cố gắng giữ lại lớn phần lại Dựa đường pilot, thay đổi cung xuất nút định thứ cố gắng giữ lại lớn phần lại Tiếp tục thay đổi cung xuất cho nút định đường pilot để xác định đường thứ 4, 5, không nút định đường pilot Lặp chọn đường tìm làm pilot để xác định đường xung quanh y bước 2, 3, cho ₫ến không tìm đường tuyến tính độc lập (khi đủ số C) 4/23/2014 Trang 44 Ví dụ Read A IF A > THEN IF A = 21 THEN Print “Key” ENDIF ENDIF - Cyclomatic complexity: _ - Minimum tests to achieve: • Statement coverage: • Branch coverage: _ 4/23/2014 Read A>0 Yes No A=21 No Yes Print End Trang 45 Ví dụ Read Note: there are paths A 21 THEN Print A ENDIF ENDIF ENDIF 4/23/2014 A>0 Yes No B=0 Yes Print No Print Yes A>21 Print No End - Cyclomatic complexity: _ - Minimum tests to achieve: • Statement coverage: • Branch coverage: _ Trang 47 Nội dung Tổng quan kiểm thử động Kiểm thử hộp đen Phân hoạch tương đương Phân tích giá trị biên Sơ đồ chuyển trạng thái Bảng định Đồ thị Nhân Kiểm thử hộp trắng Luồng điều khiển Kỹ thuật dựa kinh nghiệm Chọn kỹ thuật kiểm thử 4/23/2014 Trang 48 Kỹ thuật dựa kinh nghiệm Dựa vào người kiểm thử với… …kỹ – trực giác …kinh nghiệm với ứng dụng tương tự …kinh nghiệm với kỹ thuật tương tự Một vài kỹ thuật như: Phán đoán lỗi Testing chuyên sâu 4/23/2014 Trang 49 Phán đốn lỗi Khơng có quy tắc, khơng kịch Nghĩ trường hợp mà hệ thống bị lỗi: Chia số Để trống liệu Performance test … Liệt kê tất trường hợp lỗi thiết kế Test case để thực chúng 4/23/2014 Trang 50 Testing chuyên sâu Không giới hạn kỹ thuật mà người chun gia dùng Nó hữu trường hợp yêu cầu không rõ ràng thời gian bị giới hạn Quy trình Testing chuyên sâu: Học hệ thống Quan sát chương trình để dự đốn nơi có lỗi Thiết kế chạy test case 4/23/2014 Trang 51 Nội dung Tổng quan kiểm thử động Kiểm thử hộp đen Phân hoạch tương đương Phân tích giá trị biên Sơ đồ chuyển trạng thái Bảng định Đồ thị Nhân Kiểm thử hộp trắng Luồng điều khiển Kỹ thuật dựa kinh nghiệm Chọn kỹ thuật kiểm thử 4/23/2014 Trang 52 Chiến lược kiểm tra động Thuận lợi Tìm lỗi hiệu Khơng mắc phải nghịch lý “thuốctrừ sâu” -> biến đổi lớn Có hiệu Kiểm soát tốt việc chuẩn bị kiểm thử Sáng tạo 4/23/2014 Bất lợi Lỗ hổng bao phủ, đặc biệt có áp lực Khó đánh giá Khơng ngăn ngừa lỗi Khơng thích hợp nhóm lớn Khác biệt kỹ kinh nghiệm Trang 53 Chọn kỹ thuật kiểm thử Kiểu hệ thống Yêu cầu khách hàng–hợp đồng Mức kiểu rủi ro Mục tiêu kiểm thử Kiến thức người kiểm thử Thời gian/ngân sách Vòng đời phát triển Kinh nghiệm–kiểu khiếm khuyết phát … 4/23/2014 Trang 54 Chọn kỹ thuật kiểm thử „ 4/23/2014 Trang 55 ĐẢM BẢO VÀ KIỂM SOÁT CHẤT LƯỢNG 4/23/2014 56 ... thiết kế kiểm thử động Hộp đen (Specification-based - black box) Hộp trắng (Structure-based - white box) Dựa kinh nghiệm(Experience-based : cơng, thăm dị, danh sách ý kiểm tra) Tạo kiểm. .. nghiệm Chọn kỹ thuật kiểm thử 4/23/2014 Trang 29 Kiểm thử hộp trắng Kiểm thử hộp trắng hay gọi kiểm thử hướng logic, cho phép kiểm tra cấu trúc bên phần mềm với mục đích đảm bảo tất câu lệnh điều... Partitions 50 0 - 9000 50 0 9000 valid Invalid Partitions < 50 0 >9000 non-numeric null 9001 invalid Valid Boundaries 50 0 9000 Invalid Boundaries 499 9001 Trang 14 Condition template 4/23/2014 Trang 15 Thiết