因果圖法測試用例

1、精選優(yōu)質(zhì)文檔-傾情為你奉上 例題：程序規(guī)定： 輸入三個(gè)整數(shù)a、b和c分別作為三角形的3條邊，通過程序判斷由這3條邊構(gòu)成的三條邊類型是：等邊三角形、等腰三角形、一般三角形或非三角形（不能夠成一個(gè)三角形）黑盒測試（因果圖法）程序：#include<iostream>#include <math.h>using namespace std;void main()cout<<"輸入三邊邊長："<<endl;double a,b,c;cin>>a;cin>>b;cin>>c;if(a+b>c&a

2、mp;&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;else if(a=b|a=c|b=c)cout<<"等腰三角形"<<endl;elsecout << "普通三角形" << endl;else cout<<&

3、quot;不能構(gòu)成三角形"<<endl;（1）分析軟件規(guī)格說明書，找出原因和結(jié)果。 原因：C1: 0a100 C2: 0b100 C3: 0c100 C4: a<b+c C5:b<a+cC6:c<a+bC7: a=bC8:b=cC9: a=c中間結(jié)果:10:邊范圍正確 11.可以構(gòu)成三角形 12.任意兩條邊相等 13.三條邊相等結(jié)果:E1:邊輸入不正確E2:普通三角形E3:等腰三角形E4:等邊三角形（2）找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫出因果圖。C1C2C3C4C7C6C5C5C910C81112E3E2E1C7C8C913E4

4、（3）將因果圖轉(zhuǎn)換成決策表。測試用例123456789101112131415輸入C1: 0a100101111111111111C2: 0b100110111111111111C3: 0c100111011111111111C4: a>b+c100001111111111C5:b>a+c100010111111111C6:c>a+b100011011111111C7: a=b000000010001100C8:b=c000000001001010C9: a=c000000000101001中間結(jié)果10:邊范圍正確10001111111111111:可以構(gòu)成三角形100000

5、01111111112:任意兩條邊相等00000000000100013:三條邊相等000000000001000輸出E1:邊輸入不正確011111100000000E2:普通三角形100000000010111E3:等腰三角形000000011100000E4:等邊三角形000000000001000（4）根據(jù)決策表設(shè)計(jì)測試用例的輸入數(shù)據(jù)和預(yù)期輸出。測試用例編號(hào)輸入數(shù)據(jù)預(yù)期輸出結(jié)果13、4、5普通三角形20、1、2邊輸入不正確31、0、2邊輸入不正確41、2、0邊輸入不正確51、2、3邊輸入不正確61、3、2邊輸入不正確73、2、1邊輸入不正確83、3、4等腰三角形93、4、4等腰三角形10