软件测试 因果图-风景园林硕士研究生申请之白盒测试中动态测试

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