2023年7月16日发(作者：)

课程名称 软件测试技术 实验名称 逻辑覆盖测试

姓 名 学 号 专业班级

实验日期 成 绩 指导老师

(①实验目的②实验原理③主要仪器设备④实验内容与步骤⑤实验数据记录与处理⑥实验结果分析⑦问题建议)

一、实验目的

1. 通过实验掌握白盒测试中动态测试的主要方法之一：逻辑覆盖测试；

2. 掌握逻辑覆盖测试的5种主要类型：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和条件组合覆盖；

3. 理解上述5种逻辑覆盖测试的充分性和相互关系。

二、实验原理

逻辑覆盖是白盒测试中动态测试的主要方法之一，是以程序内部的逻辑结构为基础的测试技术，是通过对程序逻辑结构的遍历实现程序的覆盖，这种方法要求测试人员对程序的逻辑结构有清楚的了解。

依据覆盖源程序的详细程度，逻辑覆盖主要包括以下几类：

1.语句覆盖：设计若干测试用例，运行被测试程序，使得每一条可执行语句至少执行一次；

2.判断覆盖：设计若干测试用例，运行所测程序，使程序中每个判断的取真分支和取假分支至少执行一次；

3.条件覆盖：设计足够多的测试用例，运行所测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次；

4.判断/条件覆盖：设计足够多的测试用例，运行所测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次，并且每个可能的判断结果也至少执行一次；

5.条件组合覆盖：设计足够多的测试用例，运行所测程序，使程序中每个判断的所有可能的条件取值组合至少执行一次。

三、主要软件工具

1．VC++6.0； 等绘图软件工具。

四、实验内容与步骤

1. 按照教材44页程序2进行编程，程序流程图参考教材图2.4；

2. 设计测试用例，用例包含输入数据、每个判断取值情况、每个条件取值情况、条件组合和覆盖情况、执行路径和预期结果；

3. 分别人为设置3个程序错误：①在第一个判断中把&&错误地写成‖；②把第2个条件y>5错误地写成y<5；③把z<10错误地写成z>10。

4. 执行测试用例，找到相应的程序错误，记录测试结果。

五、实验数据记录与处理

六、实验结果分析

七、问题建议