实验三白盒测试技术(一)

实验三、白盒测试技术（一）一、实验类型实验类型为验证型，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）设计并执行测试用例，记录实验结果；