问题
单项选择题
阅读以下程序，采用逻辑覆盖进行测试，下列测试用例(a，b，c)的输入值，可以达到条件覆盖的是______。
Int func(int a，b，c)
Int k=1：
If((a＞0)1 1(b＜0)l I(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
解析： 根据逻辑覆盖的做法，一个或者多个条件组成一个判定，一个程序中可以有多个判定。首要是建立一个二维的真值表，各列为判定和条件，各行为每组值的T或者F。