建立条件项
- 不构成三角形
- a=b
- b=c
- a=c
建立动作桩
- 普通三角形
- 等腰三角形
- 等边三角形
- 不构成三角形
- 不符合逻辑
建立决策表：
由于条件“不构成三角形”，得到条件“不构成三角形”
考虑等腰三角形的可能
最后调整结果为：
设计测试用例
现在我们加上以上条件
和
在动作桩中加入判断锐角三角、直角三角形与钝角三角形的内容。首先把上面结果“不符合逻辑”和“不构成三角形”，归并一下，得到。
构成钝角三角形的条件是
- a2 b2 < c2 如果a=b就是等腰钝角三角形、否则就是普通钝角三角形
- 或
- b2 c2 < a2 如果b=c就是等腰钝角三角形、否则就是普通钝角三角形
- 或
- a2 c2 < b2 如果a=c就是等腰钝角三角形、否则就是普通钝角三角形 结合上表第6-9列
a2 b2 < c2 | F | F | T | F | F | T |
|---|---|---|---|---|---|---|
a2 b2 = c2 | F | F | F | F | F | F |
b2 c2 < a2 | F | T | F | F | T | F |
b2 c2 = a2 | F | F | F | F | F | F |
a2 c2 < b2 | T | F | F | T | F | F |
a2 c2 = b2 | F | F | F | F | F | F |
不构成三角形 | F | F | F | F | F | F |
a=b | F | F | F | F | F | T |
b=c | F | F | F | F | T | F |
a=c | F | F | F | T | F | F |
普通锐角三角形 | ||||||
普通直角三角形 | ||||||
普通钝角三角形 | √ | √ | √ | |||
等腰直角三角形 | ||||||
等腰锐角三角形 | ||||||
等腰钝角三角形 | √ | √ | √ | |||
构成直角三角形的条件是
- a2 b2 = c2如果a=b就是等腰直角三角形、否则就是普通直角三角形 或
- b2 c2 =a2 如果b=c就是等腰直角三角形、否则就是普通直角三角形 或
- a2 c2 = b2如果a=c就是等腰直角三角形、否则就是普通直角三角形
结合上表第5-9列
a2 b2 < c2 | F | F | F | F | F | F |
|---|---|---|---|---|---|---|
a2 b2 = c2 | T | F | F | T | F | F |
b2 c2 < a2 | F | F | F | F | F | F |
b2 c2 = a2 | F | T | F | F | T | F |
a2 c2 < b2 | F | F | F | F | F | F |
a2 c2 = b2 | F | F | T | F | F | T |
不构成三角形 | F | F | F | F | F | F |
a=b | F | F | F | T | F | F |
b=c | F | F | F | F | T | F |
a=c | F | F | F | F | F | T |
普通锐角三角形 | ||||||
普通直角三角形 | √ | √ | √ | |||
普通钝角三角形 | ||||||
等腰直角三角形 | √ | √ | √ | |||
等腰锐角三角形 | ||||||
等腰钝角三角形 | ||||||
构成锐角三角形的条件是
- a2 b2 > c2且b2 c2 > a2且a2 c2 > b2
- 如果a=b或b=c，为锐角等腰三角形
- 如果a=c，为等变三角形
- 否则为普通锐角三角形
结合上表第5-9列
a2 b2 < c2 | F | F | F | F | F |
|---|---|---|---|---|---|
a2 b2 = c2 | F | F | F | F | F |
b2 c2 < a2 | F | F | F | F | F |
b2 c2 = a2 | F | F | F | F | F |
a2 c2 < b2 | F | F | F | F | F |
a2 c2 = b2 | F | F | F | F | F |
不构成三角形 | F | F | F | F | F |
a=b | T | F | F | F | T |
b=c | T | F | F | T | F |
a=c | T | F | T | F | F |
普通锐角三角形 | √ | ||||
普通直角三角形 | |||||
普通钝角三角形 | |||||
等腰直角三角形 | |||||
等腰锐角三角形 | √ | √ | √ | ||
等腰钝角三角形 | |||||
等边三角形 | √ | ||||
得到最后结果
