软件测试技术08白盒

YXPanalysisanalysis ISO9126标准，质量因素质量因素ObservedEstimatedVolume：Mental1523 基本复杂度(EssentialComplexity)优点v(g)=ev(g)=模块设计复杂度(ModuleDesignComplexity)设计复杂度(DesignComplexity)集成复杂度(IntegrationComplexity)全局数据复杂度(GlobalDataComplexity)局部数据复杂度(SpecifiedDateComplexity)病态数据复杂度(PathologicalComplexity) 规则Kiviat规则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);}生成测试数据、分析测试结果检验每个软件单元模块能否其功能，满足其性能和接口要求不正确的或不一致的不正确的或不一致的数据说明不一致的数据类型初始化不正确表达式的符号表示不正确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“航空运输和装备系统软件认证标准每一个程序模块的入口和出口点都要考虑要至少被调用一次，每个程序的判定ATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFFATTFFBTFTFTFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF1212345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF1212345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFF12345678ATTTTFFFFBTTFFTTFFCTFTFTFTFTTTFFFFFA567123B42C43PathPath也称呼为断言覆盖