关于等价类划分案例的一个疑问

美元测试 · 发表于 2006-1-13 10:25:22

这几天在看郑人杰老师的《软件测试技术》，其中在黑盒测试等价类划分的例子是这样的。（相信很多看过或提过这个例子了）
某程序规定：”输入三个整数作为三边的边长构成三角形。当此三角形为一般三角形、等腰三角形及等边三角形时，分别做计算。。。“试用等价类划分方法为该程序的构成。。。
然后文中划分了四个有效等价类（另外一句话是”本题的输入条件要求的关键之处有）
1。整数
2。三个数
3。非零数
4。正数

我的疑问是如果4成立，3一定成立。那么把3单独出来有必要或者有什么意义吗？
还请各位达人多多指教。