因果图法测试用例.doc

例题：程序规定： 输入三个整数a、b和c分别作为三角形的3条边，通过程序判断由这3条边构成的三条边类型是：等边三角形、等腰三角形、一般三角形或非三角形（不能够成一个三角形） 黑盒测试（因果图法） 程序： #include #include using namespace std; void main cout 输入三边边长： endl; double a,b,c; cin a; cin b; cin c; if a+b ca+c bb+c afabs a-b cfabs a-c bfabs b-c a if a bb c cout 等边三角形： endl; else if a b||a c||b c cout 等腰三角形 endl; else cout 普通三角形 endl; else cout 不能构成三角形 endl; （1）分析软件规格说明书，找出原因和结果。 原因：C1: 0≤a≤100 C2: 0≤b≤100 C3: 0≤c≤100 C4: a b+c C5:b a+c C6:c a+b C7: a b C8:b c C9: a c 中间结果:10:边范围正确 11.可以构成三角形 12.任意两条边相等 13.三条边相等 结果:E1:边输入不正确 E2:普通三角形 E3:等腰三角形 E4:等边三角形 （2）找出原因与结果之间的因果关系、原因与原因之间的约束关系，画出因果图。 （3）将因果图转换成决策表。 测试用例 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 输入 C1: 0≤a≤100 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 C2: 0≤b≤100 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 C3: 0≤c≤100 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 C4: a b+c 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 C5:b a+c 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 C6:c a+b 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 C7: a b 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 C8:b c 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 C9: a c 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 中间结果 10:边范围正确 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 11:可以构成三角形 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 12:任意两条边相等 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 13:三条边相等 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 输出 E1:边输入不正确 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 E2:普通三角形 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 E3:等腰三角形 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 E4:等边三角形 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 （4）根据决策表设计测试用例的输入数据和预期输出。 测试用例编号 输入数据 预期输出结果 1 3、4、5 普通三角形 2 0、1、2 边输入不正确 3 1、0、2 边输入不正确 4 1、2、0 边输入不正确 5 1、2、3 边输入不正确 6 1、3、2 边输入不正确 7 3、2、1 边输入不正确 8 3、3、4 等腰三角形 9 3、4、4 等腰三角形 10 3、4、3 等腰三角形 11 3、4、5 普通三角形 12 3、3、3 等边三角形 13 3、4、4 普通三角形 14 3、4、3 普通三角形 15 3、3、4 普通三角形 C1 C2 12 C3 C7 C6 C5 C5 C4 C8 C9 10 11 E3 E2 E1 C7 C8 C9 13 E4