在下面所列举的逻辑测试覆盖中，测试覆盖最强的是 (38) ，最弱的是 (39) 。软

问题：

在下面所列举的逻辑测试覆盖中，测试覆盖最强的是 (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；

41（）

A．动态分析工具

B．静态分析工具

C．模拟工具

D．测试管理工具