软件测试 逻辑覆盖法

• 204•目前嵌入式软件的覆盖率测试相对通用平台软件具有一定的的复杂性和困难性，本文介绍了一种基于嵌入式系统的BullseyeCoverage 逻辑覆盖测试概念及方法，研究了代码覆盖率工具 BullseyeCoverage 的工作原理，并应用到实际嵌入式系统测试案例中，实践结果表明， BullseyeCoverage 测试工具能够从函数覆盖、条件/判定覆盖多个角度快速、准确地定位未被测试的代码，并给出测试报告，便于测试人员有针对性地设计测试用例，以便发现潜在的软件缺陷，最终提高软件产品质量。

针对嵌入式系统而言，其开发平台与运行平台一般不同，开发工具运行在软硬件配置丰富的测试计算机上，嵌入式执行程序运行在软硬件资源相对缺乏的目标机上，由于开发环境与运行环境存在较大差异，且常规的测试方法和技术在嵌入式软件系统中难以奏效，故嵌入式软件相对于通用平台的软件而言，测试工作有一定的复杂性。

嵌入式软件的覆盖率测试，其充分性测试具有重要意义。

借助于覆盖率分析工具可以降低测试难度同时可以提高测试效率。

本文介绍了一种基于嵌入式系统的BullseyeCoverage 逻辑覆盖测试方法，通过搭建基于arm-xilinx-linux 目标板的嵌入式软件动态测试平台进行动态覆盖测试，根据覆盖率分析情况补充测试用例，实现软件的充分性测试。

1 软件的覆盖测试1.1 覆盖率概念覆盖率测试也称为逻辑测试，测试时需要访问测试代码本身然后对代码进行插装，主要以程序的内部结构为基础来设计测试用例，因此，它也是白盒测试的一种方法；覆盖率度量指标有多种，包括函数覆盖、语句覆盖、条件覆盖、分支覆盖、分支/条件覆盖、路径覆盖等，其中语句覆盖是最基本的覆盖标准。

覆盖率是代码执行所占的百分比，覆盖率按照式（1）计算：覆盖率=已执行的程序对象数量/程序中可执行的程序对象的总数×100% （1）覆盖率测试基本准则是测试用例要尽可能多地覆盖程序的内部逻辑结构，发现隐藏的错误和问题。

白盒测试技术中，最强的逻辑覆盖法在软件开发领域，白盒测试是一种测试方法，旨在检验软件内部结构和逻辑是否符合设计要求。

其中，逻辑覆盖法是一种重要的测试技术，通过设计测试用例来确保程序的各个逻辑路径都被验证。

逻辑覆盖法的作用逻辑覆盖法旨在覆盖程序中所有可能的逻辑路径，以检测程序的正确性和完整性。

通过针对不同的逻辑路径设计测试用例，可以有效地发现潜在的错误和异常逻辑，从而提高软件的质量和可靠性。

逻辑覆盖法的分类在白盒测试领域，逻辑覆盖法主要包括以下几种常见的技术：1.语句覆盖（Statement Coverage）：确保每个语句至少被执行一次。

2.判定覆盖（Decision Coverage）：确保每个判定语句的每个可能结果至少被覆盖一次。

3.条件覆盖（Condition Coverage）：确保每个条件表达式的每个可能取值至少被覆盖一次。

4.路径覆盖（Path Coverage）：确保程序中的每条可能路径都被覆盖。

最强的逻辑覆盖法在众多逻辑覆盖技术中，路径覆盖被认为是最强大的一种方法。

路径覆盖要求测试用例覆盖程序中的每一条可能路径，包括循环、分支和异常处理等所有可能情况。

尽管路径覆盖测试用例数量通常比较庞大，但它可以帮助发现隐藏在程序逻辑中的深层次问题。

实际应用在实际软件测试中，通常会结合多种逻辑覆盖技术，根据具体的测试需求和复杂度来选择合适的测试方法。

例如，对于简单的函数或模块，语句覆盖可能已经足够；而对于复杂的系统或关键性代码，可能需要采用路径覆盖等更加细致的技术。

结语逻辑覆盖法作为白盒测试的重要技术之一，在软件开发过程中具有重要意义。

选择合适的逻辑覆盖方法并设计有效的测试用例，可以帮助提高软件质量、减少缺陷，并最终实现更可靠的软件产品。

在实践中不断摸索和探索，将逻辑覆盖法运用到软件测试的实践中，发挥其最大的效果，推动软件质量持续改进。

逻辑覆盖的原理逻辑覆盖是软件测试中非常重要的一个概念，它是指在测试用例中覆盖了被测程序的所有可能路径和条件，即测试用例不能遗漏任何一个语句或分支。

逻辑覆盖是软件测试中最常用的关键覆盖准则之一。

它可以帮助测试人员尽可能地控制测试用例的数量，同时保证测试的有效性，从而提高测试效率和测试准确性。

在软件测试中，逻辑覆盖通常被认为是软件测试中最有效的覆盖测试方法之一，因为它可以确保测试用例可以覆盖程序中所有可能的路径和条件。

这种覆盖的原理是基于程序流控制语句的覆盖方式。

例如，if-else语句、for/until循环、while/do while循环、switch语句等。

在逻辑覆盖中，测试人员需要为每个分支创建至少一个测试用例，并确保每个分支内的所有环节（例如，循环体或条件语句）都被覆盖。

逻辑覆盖有几种不同的技术，包括语句覆盖、判断覆盖、条件覆盖、分支覆盖和路径覆盖。

这些不同的技术可以帮助测试人员进一步细化测试用例的细节，以确保测试尽可能地涵盖程序中的所有可能情况和条件。

下面是逻辑覆盖的一些具体应用：1. 语句覆盖语句覆盖是指在测试用例中涵盖所有的程序语句，确保在所有可能的情况下程序的所有语句都能被执行到。

这个技术可以帮助测试人员在代码中识别出潜在的错误，尤其是那些出现在不太常见的程序路径中的错误。

2. 判断覆盖判断覆盖是指在测试用例中涵盖所有的条件测试语句，确保在每个可能的情况下，所有条件测试语句都能被执行到。

这个技术可以帮助测试人员发现那些出现在不太常见路径中的特殊条件错误。

3. 条件覆盖条件覆盖是指在测试用例中涵盖所有的条件，包括所有可能的条件组合，确保在每个可能的情况下，所有条件测试语句都能被执行到。

这个技术可以帮助测试人员检查程序中的分支，在需要的情况下执行对应的分支，发现并识别出分支内可能存在的问题。

4. 分支覆盖分支覆盖是指在测试用例中涵盖所有可能的程序分支，包括所有条件测试语句和分支语句。

软件测试中的逻辑覆盖测试技巧逻辑覆盖测试是软件测试中一个重要的测试技巧，它的目的是确保被测试的软件能够在不同情况下正确地执行逻辑判断。

在软件测试过程中，逻辑覆盖测试可以帮助测试人员发现代码中的逻辑错误，提高软件的质量和可靠性。

本文将介绍几种常用的逻辑覆盖测试技巧，并说明它们的应用场景和注意事项。

最基本的逻辑覆盖测试技巧是语句覆盖测试。

该技巧的目标是确保测试用例能够覆盖到被测试代码中的每一个语句。

通过执行不同的测试用例，可以检查代码中是否存在语法错误和逻辑缺陷。

然而，仅仅使用语句覆盖测试是远远不够的，因为它无法捕捉到代码中不同分支的执行情况。

为了更全面地测试代码中的逻辑判断，分支覆盖测试技巧应运而生。

该技巧的目标是确保测试用例能够覆盖到被测试代码中的每一个分支。

分支覆盖测试可以帮助测试人员发现代码中的逻辑错误和决策错误。

为了实现分支覆盖测试，测试用例需要覆盖到每一个分支的真假情况，并且对于复杂的条件语句，需要设计合适的测试用例来覆盖不同情况下的逻辑判断。

除了分支覆盖测试，条件覆盖测试也是一种常用的逻辑覆盖测试技巧。

该技巧的目标是确保测试用例能够覆盖到被测试代码中的每一个条件。

条件覆盖测试可以帮助测试人员检查代码中的逻辑判断是否正确，并发现可能存在的边界条件错误。

在进行条件覆盖测试时，测试用例需要覆盖到每一种可能的条件取值，包括边界值和错误值。

路径覆盖测试也是一种常用的逻辑覆盖测试技巧。

该技巧的目标是确保测试用例能够覆盖到被测试代码中的每一条执行路径。

路径覆盖测试可以帮助测试人员发现代码中的流程错误和逻辑错误。

对于复杂的代码，路径覆盖测试可能需要设计大量的测试用例来覆盖不同的执行路径，因此在进行路径覆盖测试时需要注意测试用例设计的复杂性和可行性。

判定覆盖测试是一种更加严格的逻辑覆盖测试技巧。

该技巧的目标是确保测试用例能够覆盖到被测试代码中的每一个条件结果组合。

判定覆盖测试可以帮助测试人员发现代码中的错误逻辑、决策错误和边界情况。

一、三角形问题逻辑覆盖法1Scanner input=new Scanner(System.in);2double a=input.nextDouble();3double b=input.nextDouble();4double c=input.nextDouble();5boolean isTriangle=true;6if(a<1||a>200||b<1||b>200||c<1||c>200){7System.out.println("输入数据非法\n");}8else if((a+b)<=c||(a+c)<=b||(c+b)<=a){9System.out.println("非三角形\n");}10else if(a==b&&b==c&==c){11System.out.println("等边三角形\n");}12else if(a==b||b==c||a==c){13if(a*a==b*b+c*c||b*b==a*a+c*c||c*c==a*a+b*b){ 14System.out.println("等腰直角三角形\n");15}else{System.out.println("等腰三角形\n");}}16else if(a*a==b*b+c*c||b*b==a*a+c*c||c*c==a*a+b*b){ 17System.out.println("直角三角形\n");}18else System.out.println("一般三角形\n");程序结构图语句：1、2、3、4、5、7、9、11、14、15、17、18路径：共七条路径（1）1-2-3-4-5-6-7（2）1-2-3-4-5-6-8-9（3）1-2-3-4-5-6-8-10-11（4）1-2-3-4-5-6-8-10-12-13-14（5）1-2-3-4-5-6-8-10-12-13-15（6）1-2-3-4-5-6-8-10-12-16-17（7）1-2-3-4-5-6-8-10-12-16-18判定：（1）a<1||a>200||b<1||b>200||c<1||c>200 （节点6）（2）(a+b)<=c||(a+c)<=b||(c+b)<=a （节点8）（3）a==b&&b==c （节点10）（4）a==b||b==c||a==c （节点12）（5）a*a==b*b+c*c||b*b==a*a+c*c||c*c==a*a+b*b （节点13）（6）a*a==b*b+c*c||b*b==a*a+c*c||c*c==a*a+b*b （节点16）条件：（1）a<1||a>200||b<1||b>200||c<1||c>200 (1.1-1.6)（2）(a+b)<=c||(a+c)<=b||(c+b)<=a (2.1-2.3)（3）a==b&&b==c (3.1,3.2)（4）a==b||b==c||a==c (4.1,4.2,4.3)（5）a*a==b*b+c*c||b*b==a*a+c*c||c*c==a*a+b*b (5.1,5.2,5.3) （6）a*a==b*b+c*c||b*b==a*a+c*c||c*c==a*a+b*b (6.1,6.2,6.3)1、语句覆盖/路径覆盖2、判定覆盖3、条件覆盖/判定条件覆盖二、NextDate问题基路径方法1.Scanner input=new Scanner(System.in);2.int year=input.nextInt(),input.nextInt(),day=input.nextInt();3.int tomorrowday=day,tomorrowmonth=month,tomorrowyear=year;4.if(year<1900||year>2100||month<1||month>12||day<1||day>31) {5.System.out.printf("输入日期非法");System.exit(-1);}6.else if((month==4||month==6||month==9||month==11)&&(day==31)){7.System.out.printf("输入日期不存在\n");System.exit(-1);}8.else if((year%400==0||(year%100!=0&&year%4==0))&&month==2&&day>29){9.System.out.printf("输入日期不存在\n");System.exit(-1);}10.elseif((!(year%400==0||(year%100!=0&&year%4==0))&&month==2&&day>28)){11.System.out.printf("输入日期不存在\n");System.exit(-1);}12.else if((month==4||month==6||month==9||month==11)&&day==30)13.{ tomorrowmonth++;14.tomorrowday=1; }15.elseif((month==1||month==3||month==5||month==7||month==8||month==10)&&day==31)16.{ tomorrowmonth++;17.tomorrowday=1;}18.else if(month==12&&day==31)19.{ tomorrowyear++;20.tomorrowmonth=1;21.tomorrowday=1;}22.else if(month==2&&(year%400==0||(year%100!=0&&year%4==0))&&day==29)23.{ tomorrowmonth++;24.tomorrowday=1;}25.elseif(month==2&&(!(year%400==0||(year%100!=0&&year%4==0)))&&day==28)26.{ tomorrowmonth++;27.tomorrowday=1;}28.else{ tomorrowday++;}29.System.out.println("nextdayis\n"+tomorrowyear+"/"+tomorrowmonth+"/"+tomorrowday);程序结构图基路径数量：分支节点：4、6、8、10、12、15、18、22、25基路径数量9+1=10基路径：（1）最长的路径：Start-1-2-3-4-6-8-10-12-15-18-22-25-26-27-29-End （2）节点4翻转：Start-1-2-3-4-5-29-End（3）节点6翻转：Start-1-2-3-4-6-7-29-End（4）节点8翻转：Start-1-2-3-4-6-8-9-29-End（5）节点10翻转：Start-1-2-3-4-6-8-10-11-29-End（6）节点12翻转：Start-1-2-3-4-6-8-10-12-13-14-29-End（7）节点15翻转：Start-1-2-3-4-6-8-10-12-15-16-17-29-End（8）节点18翻转：Start-1-2-3-4-6-8-10-12-15-18-19-20-21-29-End （9）节点22翻转：Start-1-2-3-4-6-8-10-12-15-18-22-23-24-29-End （10）节点25翻转：Start-1-2-3-4-6-8-10-12-15-18-22-25-28-29-End三、佣金问题数据流测试方法1.double lockprice=45,stockprice=30,barrelprice=25;2.double totallocks=0,totalstocks=0,totalbarrels=0;3.double commission;4.Scanner input=new Scanner(System.in);5.System.out.print("Input the locks,stocks and barrels:\n");6.int locks=input.nextInt(),stocks=input.nextInt(),barrels=input.nextInt();7.if(1>locks||locks>70||1>=stocks||locks>=80||1>=barrels||barrels>=90){8.System.out.println("输入错误");System.exit(-1);}9.totallocks=totallocks+locks;10.totalstocks=totalstocks+stocks;11.totalbarrels=totalbarrels+barrels;12. doublelocksales=lockprice*totallocks,stocksales=stockprice*totalstocks,barrelsales=barrelprice*totalbarrels,sales=locksales+stocksales+barrelsales;13.if(sales>1800){mission=0.10*1000;mission=commission+0.15*800;mission=commission+0.20*(sales-1800);}17.else if(sales>1000){mission=0.10*1000;mission=commission+0.15*(sales-1000);}20.else commission=0.10*sales;21.System.out.print("commission is$:"+commission);程序流程图定义—使用路径：locks：（1）6-7 是定义—清除路径（2）2-3-4-5-6-7-9 是定义—清除路径stocks：（1）6-7 是定义—清除路径（2）6-7-9-10 是定义—清除路径barrels：（1）6-7 是定义—清除路径（2）6-7-9-10-11 是定义—清除路径sales：（1）12-13 是定义—清除路径（2）12-13-14-15-16 是定义—清除路径（3）12-13-17 是定义—清除路径（4）12-13-17-18-19 是定义—清除路径（5）12-13-17-20 是定义—清除路径commission：（1）14-15-16-21 不是定义—清除路径（2）15-16-21 不是定义—清除路径（3）16-21 是定义—清除路径（4）18-19-21 不是定义—清除路径（5）19-21 是定义—清除路径（6）20-21 是定义—清除路径分析：locks、stocks、barrels与sales没有非定义清除路径，commission却有3条非定义—清除路径，所以该变量在使用之前可能被定义两次或多次，可将14-15-16三条语句合并成一条一句，18-19两条语句合并成一条语句，减少缺陷。

白盒测试又称为透明盒测试可以分为逻辑覆盖和代码覆盖两
大类
白盒测试又被称为透明盒测试，是一种软件测试方法，它不仅关注功能和用户
界面，还深入到软件的内部结构，以确保代码的质量和逻辑的正确性。

白盒测试可以进一步分为逻辑覆盖和代码覆盖两大类，下面将详细介绍这两种类型。

逻辑覆盖
逻辑覆盖是白盒测试的一种类型，它主要关注软件中的逻辑部分，确保所有可
能的逻辑路径都被测试到。

逻辑覆盖通常包括以下几种技术：
•语句覆盖：确保每一行代码都被执行到。

•判定覆盖：确保每一个逻辑判断都被测试到，包括真值和假值。

•条件覆盖：确保每一个条件语句的各个分支都被测试到。

•多条件覆盖：确保每一个条件语句的所有组合情况都被测试到。

逻辑覆盖通过这些技术来验证软件中的各种逻辑路径，以保证程序在各种情况
下的正确性和稳定性。

代码覆盖
代码覆盖是白盒测试的另一种类型，它主要关注软件中的具体代码部分，以确
保整个代码库都被覆盖到。

代码覆盖通常包括以下几种技术：
•语句覆盖：同逻辑覆盖中的语句覆盖，确保每一行代码都被执行到。

•分支覆盖：确保每一个条件语句的各个分支都被执行到。

•路径覆盖：确保每一个可能的程序执行路径都被覆盖到。

代码覆盖通过这些技术来验证代码库的完整性和稳定性，以确保程序在各种情
况下都能正确运行。

综上所述，白盒测试又称为透明盒测试，它可以分为逻辑覆盖和代码覆盖两大类。

逻辑覆盖主要关注软件中的逻辑路径，而代码覆盖主要关注软件中的代码部分。

这两种类型的测试方法在确保程序质量和功能性方面发挥着重要作用，是软件开发过程中不可或缺的环节。

实验二白盒测试基本逻辑覆盖——测试方法1、实验目的(1)理解等价类划分方法的内涵；(2)掌握等价类测试健壮性概念；(3)能够使用等价类划分法设计测试用例。

2、实验预习等价类划分测试方法的主要目的是能够对软件进行完备的测试，同时避免冗余测试用例的存在。

等价类的划分关键是确定类的等价关系，根据单/多缺陷假设和健壮性，等价类划分测试方法可以分为弱一般等价类测试、强一般等价类测试、弱健壮等价类测试和强健壮等价类测试四类方法。

3、实验内容及要求现在有一个应用于旅馆住宿管理系统的程序，其包含了用户登录、用户注册和用户结算等功能，需要对该程序进行测试，具体测试任务主要有：(1)旅馆住宿系统用户名字段测试用例设计；（必做）(2)旅馆住宿系统用户注册测试用例设计；（必做）(3)旅馆住宿系统结算功能测试用例设计。

（选做）在任务1中，用户名限制为6～10位自然数，要求使用等价类划分方法设计测试用例。

在任务2中，用户信息主要有登录帐号（6～10位自然数）、真实姓名（大小写的英文字符）、登录密码和确认密码、出生日期（其中有效年份1900～2010）。

任务3中，旅馆房费结算有一定的规则，当游客入住后可根据房间价格、入住天数、入住人是否有会员卡等情况给予折扣结算，房费计算公式为，房费=房间单价×折扣率×入住天数。

折扣率根据住宿人住宿天数（最多30天）、是否有会员卡、入住次数（3次及以下、3次以上）和物品寄存个数的不同有所不同，体现在不同条件下对应的积分不同，10分及10分以上折扣率为7折，10分以下折扣率为9折，具体规则：要求给出所有这些任务的实验步骤以及强健壮等价类测试用例，并给出实际测试结果。

4、实验总结(1) 请确定任务1和任务2的输入和输出变量。

(2) 对于任务1和任务2，在做健壮性测试用例时，给出输入变量的无效区间。

(3) 请结合实验谈一下等价类划分测试方法的优劣。

xxxx < 配基于逻辑覆盖方法的测试用例设计与执行多功能电子计时器课程名称：软件测试方法和技术院系：_____________ X X学院____________专业班级：______________ xm _______________组号：________________ XXX _______________小组成员：XXX XXX XXX ________________实验报告成绩：_________________________指导教师：XXX ___________________2017年X月X日、被介绍・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・< 1*1背景・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・,1・2 ^S/^功^^ ............... ....... 二、 被测程序主要测试代码 ................ 三、 测试代码的程序流程图 ................3・1 ・・・・・・•・・・•・・・•・・・•・・・・・・・・・・•・・・•・・.四、 基于逻辑覆盖方法的测试用例设计4.1判定覆盖 .......................... 4.2条件覆盖 .......................... 4.3判定■条件覆盖 .................... 4.4条件组合覆盖 ...................... 五、 程序源代码 .......................... 六、 程序运行截图 ........................总结 ........................... .. ............... . .................... .目录...................... 3 ...................... 3 ...................... 3 . (3)....................... 4 ....................... 4 ....................... 7 ....................... 7 ....................... 7 ....................... 7 ...................... 8 ...................... 8 .................... 16 .................... 16 •••••••••••••••••••• 1 7一、被测程序介绍1.1程序背景该程序是一个图形界面的简单的java小时钟嵌套一个可以排序的多功能秒表，具有良好的、简洁的界面。

白盒测试的常用技术白盒测试的常用技术主要有7种，下面我们将分别介绍。

一、逻辑覆盖法逻辑覆盖法主要讨论以下四点：测试覆盖率。

逻辑覆盖。

面向对象的覆盖。

测试覆盖准则。

下面分别进行讨论。

1.测试覆盖率测试覆盖率是用于确定测试所执行到的覆盖项的百分比。

其中的覆盖项是指作为测试基础的一个入口或属性，比如语句、分支、条件等。

测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高，效果越好。

但覆盖率不是目标，而是一种手段。

测试覆盖率包括功能点覆盖率和结构覆盖率。

1）功能点覆盖率主要用于表示软件已经实现的功能与软件需要实现的功能之间的比例关系。

2）结构覆盖率包括语句覆盖率、分支覆盖率、循环覆盖率、路径覆盖率等。

2.逻辑覆盖根据覆盖目标的不同和覆盖源程序语句的详尽程度，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修改条件判定覆盖、组合覆盖和路径覆盖。

（1）语句覆盖语句覆盖是选择足够多的测试数据，使得程序中的每个可执行语句至少执行一次。

语句覆盖的缺点是对程序执行逻辑的覆盖率很低。

（2）判定覆盖判定覆盖是通过设计足够多的测试用例，使得程序中的每一个判定至少获得一次真值和假值，或者使得程序中的每一个取真的分支或取假的分支至少经历一次，也称为分支覆盖。

判定覆盖的缺点是主要对整个表达式的最终取值进行度量，忽略了表达式的内部取值。

（3）条件覆盖条件覆盖是通过设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。

条件覆盖的缺点是不能够满足判定覆盖。

（4）条件判定组合覆盖条件判定组合覆盖是通过设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。

条件判定组合覆盖的测试用例一定同时满足判定覆盖和条件覆盖。

条件判定组合覆盖的缺点是没有考虑单个判定对整体结果的影响，无法发现逻辑错误。

武夷学院实验报告课程名称：软件测试技术基础实验题目：逻辑覆盖测试学生班级：09级计科一班学生姓名：学生学号：*********指导教师：**完成日期：2011/11/08数学与计算机系实验四逻辑覆盖测试一、实验目的通过本次实验使学生熟悉白盒测试的逻辑覆盖测试方法。

二、实验环境硬件环境：微型计算机。

软件环境：Windows 操作系统，Microsoft Visual Studio 2005等。

三、实验内容使用逻辑覆盖测试方法测试以下程序段int DoWork (int x,int y,int z,int k,int j){1if ( (x>3)&&(z<10) )2{4 k=x*y-1;5 j=sqrt(k);6 }7 if((x==4)||(y>5))8 j=x*y+10;9 j=j%3;10 printf(“x=%d,y=%d,z=%d,k=%d,j=%d\n”,x,y,z,k,j);11 return j;}四、实验步骤1.、画出函数DoWork的程序流程图，分析该段代码包含的基本逻辑判定条件和执行路径。

2.根据白盒测试技术设计测试用例，主要考虑逻辑覆盖测试（语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、修正的判定/条件覆盖），计算测试用例的语句覆盖率、判定覆盖率和条件覆盖率等测试管理指标。

备注：1.2判定覆盖语句覆盖：1；判定覆盖：1，2；判定/条件覆盖：1，2，3，4；修正覆盖：3.编写测试程序,运行测试程序并记录测试结果。

（给出运行结果界面）程序代码：#include <stdio.h>#include <stdlib.h>#include <math.h>// 定义结构来获取测试用例的输入struct strInput{int x;int y;int z;int k;int j;}strIn;int DoWork (int x,int y,int z,int k,int j){if ( (x>3)&&(z<10) ){k=x*y-1;j=sqrt(k);}if((x==4)||(y>5))j=x*y+10;j=j%3;printf("x=%d,y=%d,z=%d,k=%d,j=%d\n",x,y,z,k,j);return j;}void Driveroffunc(){// 设置局部变量int tcPassNum = 0, tcFailNum = 0; // 存储通过和失败的测试用例总数int i;printf( "这是对DoWork的测试\n" );// 读取测试用例的所有输入数据struct strInput tcInput[] = { {4, 6, 9, 0, 0},{3, 5, 11, 0, 0},{4, 4, 11, 0, 0},{3, 6, 9, 0, 0}};int tcOutcome[] = { 1, 0, 2, 1 }; // 读取测试用例的预期输出int actualOutcome = 0; // 存储测试用例的实际执行结果for(i = 0; i < sizeof(tcOutcome) / sizeof(tcOutcome[0]); i++){printf( "\n第%d个测试用例，输入为x=%d, y=%d, z=%d, k=%d, j=%d 预期输出x=%d\n",i+1,tcInput[i].x,tcInput[i].y,tcInput[i].z,tcInput[i].k,tcInput[i].j,tcOutcome[i]);printf( "实际执行情况如下:\n" );actualOutcome = DoWork( tcInput[i].x,tcInput[i].y,tcInput[i].z,tcInput[i].k,tcInput[i].j);printf("实际: %d, 预期：%d", actualOutcome, tcOutcome[i]);if( actualOutcome == tcOutcome[i] ) {tcPassNum ++; // 记录通过的测试用例总数printf( " [Pass]\n" );} else {tcFailNum ++; // 记录失败的测试用例总数printf( " [Fail]\n" );}printf("\n");}// 显示统计结果printf( "共执行10个测试用例，其中%d个通过，%d个失败\n", tcPassNum, tcFailNum );int main(){Driveroffunc();system("pause");return 0;}程序运行结果：五、实验结论通过本次试验，我了解了白盒测试的原理，明白来各种覆盖的用例选取，还学会了编写程序来完成测试。

一、“白盒”测试1. 逻辑路径覆盖法是白盒测试用例的重要设计方法，其中语句覆盖法是较为常用的方法，针对下面的语句段，采用语句覆盖法完成测试用例设计，测试用例见下表，对表中的空缺项(True或者False)，正确的选择是（A）。

语句段：if (A && (B||C)) x=l；else x=O；用例表：A．①TRUE ②FALSE ③TRUE B．①TRUE ②FALSE ③FALSEC．①FALSE ②FALSE ③TRUE D．①TRUE ②TRUE ③FALSE2. 不属于白盒测试的技术是（C）。

A. 语句覆盖B. 判定覆盖C. 边界值分析D. 基本路径测试3.实际的逻辑覆盖测试中，一般以（C）为主设计测试用例。

A. 条件覆盖B. 判定覆盖C. 条件组合覆盖D. 路径覆盖4. 使用白盒测试方法时，确定测试数据应根据（A）和指定的覆盖标准。

A. 程序内部逻辑B. 程序的复杂度C. 使用说明书D. 程序的功能5. 在用白盒测试中的逻辑覆盖法设计测试用例时，有语句覆盖、分支覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖和路径覆盖等，在下列覆盖中，（D）是最强的覆盖准则。

A. 语句覆盖B. 条件覆盖C. 判定-条件覆盖D. 路径覆盖6. 在用白盒测试中的逻辑覆盖法设计测试用例时，有语句覆盖、分支覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖和路径覆盖等，其中（A）是最弱的覆盖准则。

A. 语句覆盖B. 条件覆盖C. 判定-条件覆盖D. 路径覆盖7．软件测试中白盒法是通过分析程序的（B）来设计测试用例的。

A. 应用范围B. 内部逻辑C. 功能D. 输入数据8．下列几种逻辑覆盖标准中，查错能力最强的是（D）。

A. 语句覆盖B. 判定覆盖C. 条件覆盖D. 条件组合覆盖9. 造成测试覆盖率不达标的原因可能是(D)。

A. 存在不可到达的代码或冗余的代码B. 测试用例不足C. 存在不可能的路径和条件D. 以上全部10. 下列叙述中，（A）是正确的。

逻辑覆盖法不包括
逻辑覆盖法不包括
_________________________
逻辑覆盖法是一种软件测试方法，它是在测试过程中根据程序中的语句，分析出的一种技术。

它可以帮助开发人员发现软件中的缺陷。

但是，它不包括以下几种情况：
1. 不能覆盖软件中的所有可能性：逻辑覆盖法只是对软件的代码进行测试，不能对软件运行时的所有可能性进行覆盖，因此无法完全检测出软件中的缺陷。

2. 不能覆盖不可测试的部分：在逻辑覆盖测试中，有一些代码是无法进行测试的，例如使用外部库、硬件接口、数据库接口等，这些代码无法进行覆盖测试。

3. 无法实现完整的测试：因为逻辑覆盖法只对代码进行测试，无法对其他部分进行测试，比如性能测试、安全性测试等，因此无法实现完整的测试。

4. 无法发现某些隐藏的缺陷：因为逻辑覆盖法只是针对代码进行测试，而一些隐藏的缺陷是无法通过代码分析得出的，因此逻辑覆盖法无法发现隐藏的缺陷。

5. 实施成本高昂：逻辑覆盖测试需要对所有代码都进行测试，测试量大，耗时长，实施成本高昂，因此不是所有情况都适用。

6. 结果不够准确：由于逻辑覆盖法只能检测出代码中的错误，而不能检测出隐藏的问题，因此很难保证检测出的错误是最准确的。

因此，在实际的软件测试过程中，逻辑覆盖法不是万能的，并不能替代其他测试方法。

它只能作为一种补充方式来帮助开发人员发现软件中的问题。

如果使用逻辑覆盖法来测试软件，必须根据实际情况来判断使用何种方式来进行测试，避免忽略重要的问题。