标签： c testing
我需要程序验证中的赋值帮助，其中我必须为该方法找到至少5个等价类，该方法给出由作为参数给出的系数确定的非零多项式的根数。
我只有方法签名“unsigned roots（float a0，...）” 它至少需要一个参数。
所有我可以从规范和方法签名派生的是2类： 1.有效 - （至少参数必须不等于零） 2.无效 - （相反，所有参数均等于零）
我怎么能想出3个等价类？
由于