阅读以下程序,采用逻辑覆盖进行测试,下列测试用例(a,b,c)的输入值,可以达到条件覆盖的是______。
Int func(int a, b, c)
Int k=1:
If((a>O)|| (b<0)||(a+c>0))k=k+a;
Else k=k+b:
If(c>0)k=k+c:
Return k’
A) (1,1,1),(-1,1,1)
B) (1,1,1),(-1,-1,-1)
C) (1,1,-1),(1,1,1)
D) (1,1,-1),(-1,1,1)
参考答案:B
解析: 条件覆盖是指设计若干测试用例,运行被测程序,使得每个判定的每个条件的可能取值至少评价一次。A、C、D选项中b的取值条件不全。故本题选B