首先把数目极大的输入数据划分成若干等价类。等价类是指某个输入域的子集合。在子集合中，各个输入数据对于揭露软件中的错误都是等效的，并且合理的假定：测试某等价类的代表值等价于对这一类其他值的测试。因此可以把全部输入数据合理划分为若干等价类，在每一个等价类中取一个数据作为测试的输入条件，就可以用少量代表性测试数据，取得较好的测试效果。

软件测试有一个致命的缺陷，即测试的不完全、不彻底性。由于任何程序只能进行少量（相对于穷举的巨大数量而言）的有限的测试，在未发现错误时，不能说明程序中没有错误。