<testing> A software testing technique that involves identifying a small set of representative input values that invoke as many different input conditions as possible.
For example, for binary search the following partitions exist: inputs that do or do not conform to pre-conditions, Inputs where the key element is or is not a member of the array. One can combine these into finer partitions. One can also pick specific conditions of the array, e.g. a single value, even or odd number of elements. One should look at boundary conditions, e.g. inputs where the key element is the first or last element in the array.
Try this search on Wikipedia, OneLook, Google
Nearby terms: Equational Programming Language « Equel « equivalence class « equivalence class partitioning » equivalence partitioning » equivalence relation » equivalent isotropically radiated power