逻辑覆盖 C语言 C++

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