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

A、 income=(799，1500，1999，2001)
B、 income=(799，1501，2000，2001)
C、 income=(800，1500，2000，2001)
D、 income=(800，1499，2000，2001)

【正确答案】 A

【答案解析】解析：语句测试是运行所测程序和测试用例，使得每一条可执行语句至少执行一次。判定覆盖是运行所测程序和测试用例，使得程序中每个判断的取“真”和取“假”分支至少经历一次。判定覆盖又称为分支覆盖。为了方便设计测试用例，一般需要画出程序流程图，本题的流程图如图9-9所示。