软件测试与质量保证

int func(int a,b,c){‎         

int k=1;     ‎   

if ( (a>0) &&(b<0) && (a+c>0) )                    

    k=k+a;‎         

else                  

    k=k+b;     ‎    

if (c>0)                   

    k=k+c;‎         

return k;‎ 

}

if (income<800) taxrate=0; ‎    

else if (income<=1500) taxrate=0.05;‎      

else if (income<2000) taxrate=0.08;‎          

else taxrate=0.1;

If  ((M>0) && (N = = 0))          FUCTION1;

If ((M = = 10)|| (P > 10))         FUCTION2;

其中，FUCTION1、FUCTION2均为语句块。现在选取测试用例：M=10 N=0 P=3 ，该测试用例满足了