Kiểm thử phân hoạch
Dữ liệu đầu vào và kết quả đầu ra của chương trình thường được phân thành một số loại khác nhau, mỗi loại có những đặc trưng chung, như các số đều dương, các số đều âm, và các Menu lựa chọn. Thông thường, các chương trình thực hiện theo cách có thể so sánh được với tất cả thành viên của một lớp. Các loại này còn được gọi là phân hoạch tương đương hay miền tương đương.
Một cách tiếp cận có hệ thống để thiết kế các trường hợp kiểm thử là dựa trên sự định danh của tất cả các phân hoạch trong một hệ thống hoặc một thành phần. Các trường hợp thử nghiệm được thiết kế sao cho đầu vào và đầu ra nằm trong phân hoạch đó.
Kiểm thử phân hoạch
Trong hình trên mỗi phân hoạch tương đương được biểu thị như một elíp. Đầu vào các phân hoạch tương đương là những tập dữ liệu, tất cả các tập thành viên nên được xử lý một cách tương đương. Đầu ra phân hoạch tương đương là đầu ra của chương trình và chúng có các đặc trưng chung, vì vậy chúng có thể được kiểm tra như một lớp riêng biệt
Khi bạn đã xác định được tập các phân hoạch, bạn có thể lựa chọn các trường hợp thử nghiệm cho mỗi phân hoạch đó. Một quy tắc tốt để lựa chọn trường hợp thử nghiệm là lựa chọn các trường hợp thử nghiệm trên các giới hạn của phân hoạch cùng với các thử nghiệm gần với điểm giữa của phân hoạch.
Kiểm thử phân hoạch
Ví dụ, từ đặc trưng của chương trình: chương trình chấp nhận từ 4 đến 8 đầu vào là các số nguyên có 5 chữ số lớn hơn 10000. Hình
trên chỉ ra các phân hoạch cho tình huống này và các giá trị đầu vào có thể xảy ra. Để minh họa cho nguồn gốc của những trường hợp thử nghiệm này, sử dụng các đặc tả của thành phần tìm kiếm.
Điều kiện tiên quyết: Thử tục tìm kiếm sẽ chỉ làm việc với các dãy không rỗng.