文档介绍：例题:程序规定:输入三个整数a、b和c分别作为三角形的3条边,通过程序判断由这3条边构成的三条边类型是:等边三角形、等腰三角形、一般三角形或非三角形(不能够成一个三角形)黑盒测试(因果图法)程序:#include<iostream>#include<>usingnamespacestd;voidmain(){ cout<<"输入三边边长:"<<endl; doublea,b,c; cin>>a; cin>>b; cin>>c; if(a+b>c&&a+c>b&&b+c>a&&fabs(a-b)<c&&fabs(a-c)<b&&fabs(b-c)<a){ if(a==b&&b==c){ cout<<"等边三角形:"<<endl; } elseif(a==b||a==c||b==c){ cout<<"等腰三角形"<<endl; } else { cout<<"普通三角形"<<endl; } } elsecout<<"不能构成三角形"<<endl;}(1)分析软件规格说明书,找出原因和结果。原因:C1:0≤a≤100C2:0≤b≤100C3:0≤c≤100C4:a<5:b<6:c<a+bC7:a=bC8:9:a=c中间结果:10::E1:边输入不正确E2:普通三角形E3:等腰三角形E4:等边三角形(2)找出原因与结果之间的因果关系、原因与原因之间的约束关系,画出因果图。C1C2C3C4C7C6C5C5C910C81112E3E2E1C7C8C913E4(3)将因果图转换成决策表。测试用例123456789101112131415输入C1:0≤a≤1001011**********C2:0≤b≤1001101**********C3:0≤c≤1001110**********C4:a>b+c100001111111111C5:b>a+c1000**********C6:c>a+b1000**********C7:a=b000000010001100C8:b=c000000001001010C9:a=c000000000101001中间结果10:边范围正确