在下面所列举的逻辑测试覆盖中，测试覆盖最强的是(38)，最弱的是(39)。
软件测试工具有多种，其中(40)对源程序的数据流和控制流进行分析，发现语义错误：(41)通过对程序的执行流进行探测，检查有关变量的逻辑值。
在下面的个人所得税程序中满足语句覆盖测试用例的是(42)，满足判定覆盖测试的用例是(43)。
if (income＜800) taxrate=0；
else if (income＜＝1500) taxrate＝0.05；
else if (income＜2000) taxrate＝0.08：
else taxrate＝0.1；
A．条件覆盖
B．条件组合覆盖
C．语句覆盖
D．条件及判定覆盖