Getting more in less: The power of single/error annotations in category partition

Category Partition (CP) [1] is a black box testing technique which is used to formalize the specification of the input domain. The process which relies on the expertise of the tester begins by identifying the parameters and environment variables on the basis of function´s behaviour. The characteristics/categories of these parameters/environment variables are identified and partitioned into choices. The choices of a category are mutually exclusive and can be based on input partitioning and boundary value analysis. Thereafter, the choices are combined on the basis of various combination criteria (each choice, pairwise, all combination, base choice) to form test frames.