在下面所列举的逻辑测试覆盖中，测试覆盖最强的是 (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．income=(799，1500，1999，2001)
B．income=(799，1501，2000，2001)
C．income=(800，1500，2000，2001)
D．income=(800，1499，2000，2001)
