軟件測試技術08白盒

YXPanalysisanalysis ISO9126標準，質量因素質量因素ObservedEstimatedVolume：Mental1523 基本復雜度(EssentialComplexity)優(yōu)點v(g)=ev(g)=模塊設計復雜度(ModuleDesignComplexity)設計復雜度(DesignComplexity)集成復雜度(IntegrationComplexity)全局數(shù)據(jù)復雜度(GlobalDataComplexity)局部數(shù)據(jù)復雜度(SpecifiedDateComplexity)病態(tài)數(shù)據(jù)復雜度(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);}生成測試數(shù)據(jù)、分析測試結果檢驗每個軟件單元模塊能否其功能，滿足其性能和接口要求不正確的或不一致的不正確的或不一致的數(shù)據(jù)說明不一致的數(shù)據(jù)類型初始化不正確表達式的符號表示不正確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認為是取值一個TRUE和FALSE，而不考慮是否內部包含了logical-and或logical-or操作符12312345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTT12345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTTFFFFFFFTConditionCondition度量和decisioncoverage相似，但是對12345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTTCondition/DecisionCondition/Decision是條件覆蓋（conditioncoverage）和分支覆蓋（decisioncoverage）的一個混血12345678AFFFFTTTTBFFTTFFTTCFTFTFTFTFFFFFTTTFFFFFFFT對于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“航空運輸和裝備系統(tǒng)軟件認證標準每一個程序模塊的入口和出口點都要考慮要至少被調用一次，每個程序的判定ATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF1212345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF1212345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFFA567123B42C43PathPath也稱呼為斷言覆蓋