实验三、白盒测试技术（一）
一、 实验类型
实验类型为验证型，2个学时。
二、 实验目的
（1） 熟练掌握白盒测试方法中的逻辑覆盖和路径测试覆盖方法；
（2） 通过实验掌握逻辑覆盖测试的测试用例设计，掌握程序流图的绘制； （3） 运用所学理论，完成实验研究的基本训练过程
三、 背景知识
白盒测试是知道产品内部工作过程，检测产品内部动作是否按照规格说明书的规定正常进行。白盒测试允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。
逻辑覆盖
白盒测试力求提高测试覆盖率。逻辑覆盖是对一系列测试过程的总称，它是在使用白盒测试法时，选用测试用例执行程序逻辑路径的方法。
逻辑覆盖按覆盖程度由低到高大致分为以下几类：
（1） 语句覆盖：设计若干测试用例，使程序中每一可执行语句至少执行一次；
（2） 判断覆盖：设计用例，使程序中的每个逻辑判断的取真取假分支至少经历一次； （3） 条件覆盖：设计用例，使判断中的每个条件的可能取值至少满足一次；
（4） 判断/条件覆盖：设计用例，使得判断中的每个条件的所有可能结果至少出现一
次，而且判断本身所有可能结果也至少出现一次；
（5） 条件组合覆盖。设计用例，使得每个判断表达式中条件的各种可能组合都至少
出现一次；显然，满足⑤的测试用例也一定是满足②、③、④的测试用例。
（6） 路径覆盖。设计足够的测试用例，使程序的每条可能路径都至少执行一次。 如果把路径覆盖和条件组合覆盖结合起来，可以设计出检错能力更强的测试数据用例。
四、 实验设备
主流PC机一套，要求安装windows操作系统、VC++开发工具和OFFICE工具；
五、 实验内容
测试以下C语言程序段
程序执行结果图
六、 实验步骤
（1） 画出程序流程图，分析程序流程图，确定程序分支； Dowork程序路程图：
（2） 编写完整的C程序（含输入和输出），使用你所设计的测试用例运行上述程序段； （3） 完整填写相应的测试用例表（语句覆盖测试用例表、判定覆盖测试用例表、条件
覆盖测试用例表、判定/条件覆盖测试用例表、条件组合覆盖测试用例表）
表1语句覆盖 用例编号 表2判定覆盖 用例编号 表3条件覆盖 用例编号 表4判定-条件覆盖
输入 期望输出 覆盖路径 测试结果 输入 期望输出 覆盖路径 测试结果 输入 期望输出 覆盖路径 测试结果 用例编号 用例编号 输入 输入 期望输出 期望输出 覆盖路径 覆盖路径 测试结果 测试结果 表5条件组合覆盖 （4） 用测试用例对程序进行测试，记录测试结果，并对结果进行分析，如果存在缺陷
则修改程序，继续测试；
七、 实验报告要求
（1） 画出dowork()程序流程图
（2） 设计并执行测试用例，记录实验结果；