问答题逻辑覆盖主要测试哪8各方面的覆盖率？

正确答案：问题1： 解答： 根据源程序易得流程图如图17-7所示。 问题2： 解答： 经过分析不难知上面这个程序包含： 1)五个语句：每行一个语句。 2)三个条件：a＞0；b0；c＞0 3)四个分支：有两个if语句每个if语句有两个分支。 4)六个条件组合：条件表达式(a＞0)‖b0)共有两个条件a＞0和b0故有四个条件组合；条件表达式(c＞0)只有一个条件c＞0故有两个条件组合。所以该程序共有六个条件组合。 5)四条路径：从程序的入口到出口的路径共有四条分别是： Path1： 1—2—3—5—6—8 Path2： 1—2—3—5—7—8 Path3： 1—2—4—5—6—8 Path4： 1—2—4—5—7—8 这个程序有三个输入：a、b、c其输入数据组合是非常大的。下面对该程序分别应用不同的逻辑覆盖准则设计测试用例。 1．语句覆盖 根据语句覆盖准则只需要采用两个输入数据组合：(abc)=(111)、(-111)便可以把该程序的所有五个语句执行一遍。 2．分支覆盖(判定覆盖) 根据分支覆盖准则只需要采用两个输入数据组合：(abc)=(11-1)、(-111)便可以把该程序的所有四个分支走遍。但未考虑b0的情况故不满足条件覆盖。说明满足分支覆盖的测试用例未必满足条件覆盖。 3．条件覆盖 根据条件覆盖准则只需要采用两个输入数据组合：(abc)=(11-1)、(-1-11)便可以把该程序的三个条件的真假情况都覆盖到。由于表达式(a＞0)‖b0)的计算值都为真不会执行else语句即不满足分支覆盖和语句覆盖。说明满足条件覆盖的未必满足分支覆盖和语句覆盖。 4．条件组合覆盖 根据条件组合的覆盖准则只需要采用四个输入数据组合：(abc)=(1-11)、(111)、(-1 1-1)、(-1-1-1)便可以把该程序的六个条件组合情况覆盖到。但执行的路径数只有2个故不满足路径覆盖。说明满足条件组合的覆盖不一定满足路径覆盖。 5．路径覆盖 根据路径覆盖的准则由图17-7可见只需要采用四个输入数据组合：(abc)=(111)、(11 -1)、(-111)、(-11-1)便可以把该程序的所有四条路径都覆盖。路径覆盖是最强的覆盖准则。
问题1： 解答： 根据源程序易得流程图，如图17-7所示。 问题2： 解答： 经过分析不难知，上面这个程序包含： 1)五个语句：每行一个语句。 2)三个条件：a＞0；b0；c＞0 3)四个分支：有两个if语句，每个if语句有两个分支。 4)六个条件组合：条件表达式(a＞0)‖b0)共有两个条件，a＞0和b0，故有四个条件组合；条件表达式(c＞0)只有一个条件c＞0，故有两个条件组合。所以该程序共有六个条件组合。 5)四条路径：从程序的入口到出口的路径共有四条，分别是： Path1： 1—2—3—5—6—8 Path2： 1—2—3—5—7—8 Path3： 1—2—4—5—6—8 Path4： 1—2—4—5—7—8 这个程序有三个输入：a、b、c，其输入数据组合是非常大的。下面对该程序分别应用不同的逻辑覆盖准则，设计测试用例。 1．语句覆盖 根据语句覆盖准则，只需要采用两个输入数据组合：(a，b，c)=(1，1，1)、(-1，1，1)，便可以把该程序的所有五个语句执行一遍。 2．分支覆盖(判定覆盖) 根据分支覆盖准则，只需要采用两个输入数据组合：(a，b，c)=(1，1，-1)、(-1，1，1)，便可以把该程序的所有四个分支走遍。但未考虑b0的情况，故不满足条件覆盖。说明满足分支覆盖的测试用例未必满足条件覆盖。 3．条件覆盖 根据条件覆盖准则，只需要采用两个输入数据组合：(a，b，c)=(1，1，-1)、(-1，-1，1)，便可以把该程序的三个条件的真假情况都覆盖到。由于表达式(a＞0)‖b0)的计算值都为真，不会执行else语句，即不满足分支覆盖和语句覆盖。说明满足条件覆盖的未必满足分支覆盖和语句覆盖。 4．条件组合覆盖 根据条件组合的覆盖准则只需要采用四个输入数据组合：(a，b，c)=(1，-1，1)、(1，1，1)、(-1， 1，-1)、(-1，-1，-1)，便可以把该程序的六个条件组合情况覆盖到。但执行的路径数只有2个，故不满足路径覆盖。说明满足条件组合的覆盖不一定满足路径覆盖。 5．路径覆盖 根据路径覆盖的准则，由图17-7可见，只需要采用四个输入数据组合：(a，b，c)=(1，1，1)、(1，1， -1)、(-1，1，1)、(-1，1，-1)，便可以把该程序的所有四条路径都覆盖。路径覆盖是最强的覆盖准则。 解析：首先根据源程序画出程序流图比较容易，然后分析学过的所有的逻辑覆盖(如语句覆盖，分支覆盖，路径覆盖等)，分析针对每种逻辑覆盖的标准来设计测试用例，最后通过设计测试用例来体现各种逻辑覆盖之间的关系。

本题答案：基于约束的覆盖率

正确答案：A

正确答案：B

正确答案：设计测试用例 ①输入0输出0。 ②输入2输出2。 ③输入26输出A。 ④输入27输出B。 ⑤输入28输出C。 ⑥输入29输出D。 ⑦输入30输出E。 ⑧输入31输出F。 ⑨输入20P输出错误。 语句覆盖率无法达到100%因为main()函数中的return 0语句永远无法执行。
设计测试用例 ①输入0，输出0。 ②输入2，输出2。 ③输入26，输出A。 ④输入27，输出B。 ⑤输入28，输出C。 ⑥输入29，输出D。 ⑦输入30，输出E。 ⑧输入31，输出F。 ⑨输入20P，输出错误。 语句覆盖率无法达到100%，因为main()函数中的return 0语句永远无法执行。

正确答案：测试用例： ①输入：bookCount输出：合法! ②输入：puts输出：常、变量标识不能用C语言预定义函数名! ③输入：5student输出：首字符只能是字母或下划线! ④输入：stu+name输出：常、变量只能由字母、下划线和数字构成! ⑤输入：float输出：常、变量标识不能用C语言关键字! ⑥输入：putsfloatstudentsnamechinachineseenglishchinachinesechinachina输出：内存不够! ⑦输入：_StuId输出：合法! 该程序的语句覆盖率或分支覆盖率均无法达到100%因为该程序允许中间返回值。如果if条件中任意一个成立就立即返回那么剩下的语句就无法执行；即使所有的if条件均不成立。运行到最后那么if条件成立时的语句就无法执行其覆盖率始终无法达到100%。
测试用例： ①输入：bookCount，输出：合法! ②输入：puts，输出：常、变量标识不能用C语言预定义函数名! ③输入：5student，输出：首字符只能是字母或下划线! ④输入：stu+name，输出：常、变量只能由字母、下划线和数字构成! ⑤输入：float，输出：常、变量标识不能用C语言关键字! ⑥输入：putsfloatstudentsnamechinachineseenglishchinachinesechinachina，输出：内存不够! ⑦输入：_StuId，输出：合法! 该程序的语句覆盖率或分支覆盖率均无法达到100%，因为该程序允许中间返回值。如果if条件中任意一个成立就立即返回，那么剩下的语句就无法执行；即使所有的if条件均不成立。运行到最后，那么if条件成立时的语句就无法执行，其覆盖率始终无法达到100%。

参考答案：B

正确答案：C
解析：在逻辑覆盖中，测试覆盖最弱的是语句覆盖。