Equivalence testing based on partitioning

The two factors of equivalence class are robustness and single or multiple defects. The equivalence class is divisible into four types according to these two factors, which are weak equivalence, strong equivalence, weak robust equivalence and strong robust equiva- lence. The equivalence relations and partition are the basis of the equivalence testing. The partitioning principle is that every one element is only belongs to one partition, and no public element is within different partitions. In normal input equivalence partitioning, the program inputs are partitioned a couple of parts, and the representative data is selected as test case. Partitioning guarantees the comple- teness and non-redundancy of equivalence testing. The principle of equivalence testing is analyzed, and the test cases of equivalence testing are designed.