<mathematics> An equivalence class is a subset whose elements are related
to each other by an equivalence relation. The equivalence classes of a set under
some relation form a partition of that set (i.e. any two are either equal or
disjoint and every element of the set is in some class).
equals « equational logic « Equel « equivalence
» equivalence class partitioning » equivalence
partitioning » equivalence relation
equivalence class partitioning
<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.
equational logic « Equel « equivalence class «
equivalence class partitioning » equivalence
partitioning » equivalence relation » ER