Tôi đã bắt đầu xem xét các cấu trúc tần suất và các thiết kế kết hợp (động lực có thể: để giới hạn trên một số cấu trúc trong tự lắp ráp tổng quát), và bài viết Wikipedia đưa ra tuyên bố thú vị nhưng chưa giải thích được: thiết kế khối có ứng dụng để kiểm tra phần mềm. (Trang Wikipedia có yêu cầu ở đây ).
Google-fu của tôi không chọn một tài liệu tham khảo tốt cho ứng dụng này. Bất cứ ai có thể cho tôi một dẫn?
Câu trả lời:
Giả sử bạn có một số phần mềm bao gồm danh sách n biến s 1 , s 2 , ..., s n và giả sử mỗi biến này có thể đảm nhận một phạm vi giá trị. Bây giờ, giả sử bạn muốn kiểm tra chương trình cho các tương tác 2 chiều, nghĩa là bạn muốn kiểm tra chương trình chạy chính xác cho mọi cặp biến s i và s j và mọi giá trị có thể có của các biến này.
Để thực hiện điều này bằng một lực lượng vũ phu - bằng cách xử lý từng cặp i và j từng cái một, sau đó kiểm tra từng giá trị cho phép của s i và s j (trong khi chọn các cặp khác một cách tùy ý) - sẽ yêu cầu thử nghiệm một số lượng lớn các trường hợp.
Nhưng, chúng ta có thể kiểm tra một số tương tác 2 chiều trong một thử nghiệm. Ví dụ: nếu chúng ta có ba biến s 1 , s 2 và s 3 và chúng ta kiểm tra khi s 1 = 1, s 2 = 2 và s 3 = 0, thì chúng ta đã thử nghiệm ba tương tác 2 chiều có thể xảy ra đồng thời.
Chúng ta có thể thiết kế một bộ kiểm thử cho chương trình dựa trên một mảng bao phủ - các cột biểu thị các biến và các hàng đại diện cho thử nghiệm cụ thể sẽ được thực hiện (vì vậy càng ít hàng càng tốt). Trong mảng bao gồm cường độ 2, trong hai cột i và j bất kỳ, tồn tại mọi cặp biến có thể là s i và s j . Có các mảng bao phủ cường độ cao hơn có thể kiểm tra các tương tác t-way (nhưng thông thường các tương tác chỉ là kết quả của một vài thành phần).
Các tập hợp các hình vuông Latin trực giao lẫn nhau (và các thiết kế khối khác nhau) tạo thành các mảng bao phủ đặc biệt hiệu quả.