Phân vùng là hữu ích để thử nghiệm bởi vì hai thuộc tính definitional mang lại quan trọng bảo đảm: đầy đủ (Tất cả mọi thứ là một nơi nào đó), và phòng không dự phòng. Khi chúng tôi nghiên cứu thử nghiệm chức năng, chúng ta sẽ thấy rằng sự yếu kém vốn có của nó là dễ bị tổn thương đến cả những khoảng trống và dư thừa: một số điều có thể vẫn còn chưa được kiểm tra, trong khi những người khác đang được thử nghiệm nhiều lần. Một trong những vấn đề tập trung vào việc tìm kiếm một phân vùng thích hợp. Trong chương trình hình tam giác, ví dụ, vũ trụ của discourse là tập hợp của tất cả ba của số nguyên dương. (Lưu ý rằng điều này là thực sự là một sản phẩm Descartes của tập các số nguyên dương với chính nó ba lần.) Chúng tôi có thể phân vùng vũ trụ này ba cách:
đang được dịch, vui lòng đợi..