有效等价类 指对于程序的规格说明来说,是合理的,有意义的输入数据所构成的集合; 无效等价类 指对于程序的规格说明来说,是不合理的,没有意义的输入数据所构成的集合;