条件组合覆盖法-美化

软件测试技术主讲教师：张萍——条件组合覆盖法条件组合覆盖法条件组合覆盖法设计用例判定中的每个条件结果的所有可能组合至少出现一次也会使得每个判定本身的所有可能结果至少出现一次不足：线性的增加测试用例的数量增加了测试设计的工作量不能彻底覆盖到程序中的每一条路径条件组合覆盖法案例剖析ifAandBthenaction1ifCorDthenaction2例1根据条件组合覆盖法的要求，最终设计如下测试用例：组合编号条件取值标记①A为真，B为真T1,T2②A为真，B为假T1,F2③A为假，B为真F1,T2④A为假，B为假F1,F2⑤C为真，D为真T3,T4⑥C为真，D为假T3,F4⑦C为假，C为真F3,T4⑧C为假，D为假F3,F4条件组合覆盖法案例剖析ifAandBthenaction1ifCorDthenaction2例1根据条件组合覆盖法的要求，最终设计如下测试用例：ABCD覆盖组合1turetruetruetrue1.52falsefalsetureture4.53turefalsetureture2.54falseturetureture3.55turetureturefalse1.66trueturefalsetrue1.77truetruefalsefalse1.8条件组合覆盖法在这一案例中设计出7条测试用例问题覆盖了每次判定中所有条件结果的组合A=falseB=falseC=falseD=false虽然设计出的测试用例满足了条件组合覆盖的要求，但是通过分析可以发现，并没有彻底完成程序中所有路径的覆盖。例如：与判定覆盖、条件覆盖、判定条件覆盖相比较，需要设计更多的测试用例条件组合覆盖法例2条件组合覆盖法x>=80andy>=80x+y>=140and(x>=90ory>=90)组合编号条件取值标记①x>=80，y>=80T1,T2②x>=80，y<80T1,F2③x<80，y>=80F1,T2④x<80，y<80

F1,F2⑤x+y>=140，x>=90，y>=90T3,T4,T5⑥x+y>=140，x>=90，y<=90T3,T4,F5组合编号条件取值标记⑦x+y>=140，x<90，y>=90T3,F4,T5⑧x+y>=140，x<90，y<=90T3,F4,F59x+y<140，x>=90，y>=90F3,T4,T510x+y<140，x>=90，y<=90F3,T4,F511x+y<140，x<90，y>=90F3,F4,T512x+y<140，x<90，y<=90F3,F4,F5条件组合覆盖法根据条件组合覆盖法的要求，需要设计用例覆盖流程图中的两次判定，并确保判定中每个条件结果的所有可能组合至少出现一次x>=80andy>=80x+y>=140and(x>=90ory=>90)最终设计如下测试用例X值Y值路径覆盖组合19090AB1.529070ACD2.637090ACD3.745050ACE4.1259010ACE2.1061090ACE3.1177070ACE4.8条件组合覆盖法例3条件组合覆盖法销售数量>40and基础提成数>400销售数量>50and工种=1组合编号条件取值标记①销售数量>40，基础提成数>400T1,T2②销售数量>40，基础提成数<=400T1,F2③销售数量<=40，基础提成数>400F1,T2④销售数量<=40，基础提成数<=400F1,F2⑤销售数量>50，工种=1T3,T4⑥销售数量>50，工种!=1T3,F4⑦销售数量<=50，工种=1F3,T4⑧销售数量<=50，工种!=1F3,F4条件组合覆盖法在上面的流程图中，可以看到同样是进行了两次判断销售数量>40and基础提成数>400销售数量>50and工种=1使用条件组合覆盖法，最终设计如下测试用例：销售数量saleNum基础提成数BasicComm工种TypeOfWork路径覆盖组合110010001OACE1.5210010002OADE1.635010001OADE1.745010002OADE1.851004001OBE2.564010001OBE3.77404001OBE4.7条件组合覆盖法在使用条件组合覆盖设计测试用例时，需要注意有些条件组合是无意义的，可以舍弃，如：销售数量saleNum基础提成数BasicComm工种TypeOfWork路径81004002OBE94010002OBE需要舍弃？第一次判定结果为假值的情况下不进行有些条件组合是无效的有些条件组合无效例如销售数量不可能既小于40又大于50条件组合覆盖法例4条件组合覆盖法判断输入的年份是否等于0或大于9999判断输入的年份是否能被4整除但不能为100整除或能被400整除判断输入的年份是否非数字组合编号条件取值标记①年份非数字T1②年份是数字F1③年份==0，年份>9999T2,T3④年份==0，年份<=9999T2,F3⑤年份!=0，年份>9999F2,T3⑥年份!=0，年份<=9999F2,F3⑦年份被400整除,被4整除,不能为100整除T4,T5,T6组合编号条件取值标记8年份被400整除,被4整除,能为100整除T4,F5,T69年份被400整除,不被4整除,不能为100整除F4,T5,T610年份被400整除,不被4整除,能为100整除F4,F5,T611年份不被400整除,被4整除,不能为100整除T4,T5,F612年份不被400整除,被4整除,能为100整除T4,F5,F613年份被不400整除,不被4整除,不能为100整除F4,T5,F614年份不被400整除,不被4整除,能为100整除F4,F5,F6条件组合覆盖法在案例所示的代码中，使用了if…else选择结构进行了3次判断：判断输入的年份是否非数字判断输入的年份是否等于0或大于9999判断输入的年份是否能被4整除但不能为100整除或能被400整除使用条件组合覆盖法，最终设计如下测试用例：年份