阅读下列C程序，回答下列问题。 [C程序]intGetMaxDay(intyear,intmonth){intmaxday=0;//1if(month＞=1&&month＜=12){//2,3if(month==2){//4if(year%4==0){//5if(year%100==0){//6if(year%400==0)}//7maxday=29;//8else//9maxday=28;}else//10maxday=29;}else//11maxday=28;}else{//12if(month==4||month==6||month==9||month==11)//13,14,15,16maxday=30;//17else//18maxday=31;}}returnmaxday;//19} 1、请针对上述C程序给出满足100%DC(判定覆盖)所需的逻辑条件。
本题考查白盒测试方法及应用。
第一小题考查白盒测试用例设计方法之判定覆盖法。
判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次"真"值和"假"值，从而使程序的每一个分支至少都通过一次。本题中程序有6个判定，所以满足判定覆盖一共需要12个逻辑条件。
