一、 实验目的 1. 通过实验掌握白盒测试中动态测试的主要方法之一:逻辑覆盖测试; 2. 掌握逻辑覆盖测试的5种主要类型:语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和条件组合覆盖; 3. 理解上述5种逻辑覆盖测试的充分性和相互关系。 二、 实验原理 逻辑覆盖是白盒测试中动态测试的主要方法之一,是以程序内部的逻辑结构为基础的测试技术,是通过对程序逻辑结构的遍历实现程序的覆盖,这种方法要求测试人员对程序的逻辑结构有清楚的了解。 依据覆盖源程序的详细程度,逻辑覆盖主要包括以下几类: 1.语句覆盖:设计若干测试用例,运行被测试程序,使得每一条可执行语句至少执行一次; 2.判断覆盖:设计若干测试用例,运行所测程序,使程序中每个判断的取真分支和取假分支至少执行一次; 3.条件覆盖:设计足够多的测试用例,运行所测程序,使程序中每个判断的每个条件的每个可能取值至少执行一次; 4.判断/条件覆盖:设计足够多的测试用例,运行所测程序,使程序中每个判断的每个条件的每个可能取值至少执行一次,并且每个可能的判断结果也至少执行一次; 5.条件组合覆盖:设计足够多的测试用例,运行所测程序,使程序中每个判断的所有可能的条件取值组合至少执行一次。 三、 主要软件工具 1.VC++6.0; 2.VISIO等绘图软件工具。