参考答案：1.有效等价类

是指对于程序规格说明来说，是合理、有意义的输入数据构成的集合。

利用它，可以检验程序是否实现了规格说明预先规定的功能和性能。

2.无效等价类

是指对于程序规格说明来说，是不合理、无意义的输入数据构成的集合。

利用它，可以检验程序中功能和性能的实现是否有不符合规格说明要求的地方。