軟件測(cè)試技術(shù)08白盒

YXPanalysisanalysis ISO9126標(biāo)準(zhǔn)，質(zhì)量因素質(zhì)量因素ObservedEstimatedVolume：Mental1523 基本復(fù)雜度(EssentialComplexity)優(yōu)點(diǎn)v(g)=ev(g)=模塊設(shè)計(jì)復(fù)雜度(ModuleDesignComplexity)設(shè)計(jì)復(fù)雜度(DesignComplexity)集成復(fù)雜度(IntegrationComplexity)全局?jǐn)?shù)據(jù)復(fù)雜度(GlobalDataComplexity)局部數(shù)據(jù)復(fù)雜度(SpecifiedDateComplexity)病態(tài)數(shù)據(jù)復(fù)雜度(PathologicalComplexity) 規(guī)則Kiviat規(guī)則Kiviat main(main({inta[10],i,j,tmp;for(i=0;i<=10;i++)scanf("%d",&a[i]);for(i=0;i<=10;i++)if(a[i]<a[j]){a[i]=}printf("%d",a[i]);}…Meyers和MartinKlaus“Effective“MoreEffective“ExaminingC++Programintint{floata=1.0;floatb=…if((a*2–b)=={return}return}void{inta=0,b=…switch{caseb=-case}…}intint{intsum,for(i=1;i<30000;{sum=sum+}return}void{floata=72.0;floatb=55.0;longresult=return1;}intint{c1=145;if(c1>{return}if(c1>{return}return}void{inti=…for(i=0;i<10;{if(i=={}}}intint{int*pi={char*c=if(pc=={return}char…memcpy(d,c,sizeof{return…}}}intint{charstrncpy(b,"Thisisatest",sizeof(b));printf("%s\n",b);}生成測(cè)試數(shù)據(jù)、分析測(cè)試結(jié)果檢驗(yàn)每個(gè)軟件單元模塊能否其功能，滿足其性能和接口要求不正確的或不一致的不正確的或不一致的數(shù)據(jù)說明不一致的數(shù)據(jù)類型初始化不正確表達(dá)式的符號(hào)表示不正確intintadd(inta,intb{intresult=a+b;return}intdivision(inta,intb{intresult=a/b;}#includevoid{inta,b,scanf("%d%d",&a,&b);result=add(a,b);printf("a+b=%d\n",resultresult=division(a,b);printf("a/b=%d\n",result);}StatementConditionCondition/DecisionMultipleCondition修正條件/PathStatementC1覆蓋、行覆蓋（linecoverage）、段覆蓋（segmentcoverage）和基本塊覆蓋（basicblockcoverage）ATFBTFCTFA&&(B||CTFATFBTFCTFA&&(B||CTFA||(B||CTFDecisionDecisionC2覆蓋、分支覆蓋（rchcverg）、所有邊界覆蓋（l-dgscvrae）、基本路徑覆蓋（ssphcvrage）、判定到判定路徑覆蓋（dcsi-cisin-t或DDPtstn）exceptionhandlers、interrupt認(rèn)為是取值一個(gè)TRUE和FALSE，而不考慮是否內(nèi)部包含了logical-and或logical-or操作符12312345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTT12345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTTFFFFFFFTConditionCondition度量和decisioncoverage相似，但是對(duì)12345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTTCondition/DecisionCondition/Decision是條件覆蓋（conditioncoverage）和分支覆蓋（decisioncoverage）的一個(gè)混血12345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTTFFFFFFFT對(duì)于C,C++和Java等具有shortcircuit1212345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTTif((a>1)&&(b=={x=x/}if((a==2)||(x>{x=x+}1.1.2.3.4.5.6.7.8.AB120T221F311F410FModifiedCondition/Decision也被稱為MC/DC和MCDC“航空運(yùn)輸和裝備系統(tǒng)軟件認(rèn)證標(biāo)準(zhǔn)每一個(gè)程序模塊的入口和出口點(diǎn)都要考慮要至少被調(diào)用一次，每個(gè)程序的判定ATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF1212345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF1212345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFFA567123B42C43PathPath也稱呼為斷言覆蓋