参考答案：

①有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。

②无效等价类：是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。