|
上面表格列出了所有的等价类,也就是各种三角形的全部判定条件,有效等价类指的是能够组成三角形需满足的条件,反之满足无效等价类中的条件时不能构成相应的三角形。A,B,C分别代表三角形的三条边长,条件中and代表且的关系,叹号“!”代表否的意思。选取等边三角形那一栏给你解析一下:
(A=B)and(B=C)and(C=A)即当三角形的三条边A,B,C同时满足两两相等时才是等边三角形
(A!=B)、(B!=C)、(C!=A)、即三角形的三条边有任意两边边长不相等则就不是等边三角形
下面的表格列出的是所有的测试用例,目的是要覆盖上面全部的等价类,当然包括有效等价类和无效等价类,到测试用例这对应就是正例和反例。选第一条解析:
[3,4,5]即三角形的三边A=3,B=4,C=5。当输入这些数据时,满足了表格一中的六个条件即:(1)、(2)、(3)、(4)、(5)、(6)。这些条件是有效等价类,然后结果当然是可以构成三角形。
总而言之,如果拿一个程序来说,上面的表格可以看做是判定所有三角形的前提条件,要被写进程序中,测试时分别输入下方表格中第二列的数据,程序进行判定后输出的结果要对应最后一列的输出结果。如果程序输出的实际结果不是对应的最后一列的预期结果,那么这就是一个bug。 |
|