白盒测试测试用例设计

20 14 — 20 15 学年第 2 学期

软件测试技术 课程

实 验 报 告

学 院： 计算机科学技术

专 业： 软件工程

班 级： 软件 12401

* 名： ***

学 号： *********

任课教师： ***

-1- 实验日期：2015年 6 月 16 日

实验题目 实验5、白盒测试：路径测试及测试用例设计

实验目的 1、掌握独立路径，程序基本路径测试的概念。

2、掌握独立路径测试法。

实

验

内

容 程序int binsearch(int array[],int key)实现折半查找的功能。数组array元素按升序排列，length为数组array的长度，key为要查找的值。

试用独立路径集测试法测试该程序，撰写实验报告。

关键代码如下（Java实现）

public static int binsearch(int array[],int key)

{

int low = 0;

int high = array.length - 1;

int middle;

while(low <= high)

{

middle = (low+high)/2;

if(array.[middle] == key)

{

return middle;

}else

if(array.[middle] < key)

{

low = middle +1;

}else

{

high = middle - 1;

}

}

return -1;

}

实验步骤：

1）画出程序的流图(控制流程图)。

-2-

程序入口（数组元素升序）

第5章 白盒与黑盒测试的测试用例设计

5.1 覆盖率的概念

 覆盖率是用来度量测试完整性的一个手段

 逻辑覆盖和功能覆盖

 覆盖率=（至少被执行一次的item数）/item总数

5.2 白盒测试的测试用例设计

5.2.1逻辑覆盖

逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计技术，属白盒测试。为了衡量测试的覆盖程度，需要建立一些作为测试彻底度的定量衡量标准。目前常用的覆盖标准是：

语句覆盖；判定覆盖；条件覆盖；判定/条件覆盖；条件组合覆盖;路径覆盖

一、语句覆盖

语句覆盖就是设计若干个测试用例，运行所测的程序，使得每一可执行语句至少执行一次。

二、判定覆盖

判定覆盖就是设计若干个测试用例，使程序中的每个判断至少出现一次“真值”和一次“假值”，即程序中的每个分支都至少执行一次。

三、条件覆盖

条件覆盖是指利用若干个测试用例，使被测试的程序中，对应每个判断中每个条件的所有可能情况均至少执行一次。

四、判定/条件覆盖

判定/条件覆盖就是设计足够多的测试用例，使得程序中每个判断条件的所有可能的结果至少取到一次，又使每次判断的每个分支至少通过一次。

五、条件组合覆盖

解决上述问题的新标准是条件组合覆盖。条件组合覆盖就是设计足够多的测试用例，使得每个判断的所有可能的条件取值组合至少执行一次。

六、逻辑覆盖举例

[例1]试用逻辑覆盖测试法为采用冒泡排序（bubble sorting）法进行数据排序的C程序设计测试用例。

本例是一个对k个整数进行升序排序的C程序，采用的算法是冒泡排序。基本步骤是：

（1） 从数组中取出第2个元素；

（2） 如果新取出的元素大于等于其前邻元素，则转向第（4）步；

（3） 如果新取出的元素小于其前邻元素，则与其前邻元素交换位置；

（4） 将新元素与新的前邻元素比较，若仍小于新的前邻元素，则重复第（3）步；

（5） 取下一个元素。如果数组中元素已取完则结束排序，否则转向第（2）步。

第4章 白盒测试方法

1．简述白盒测试用例的设计方法，并进行分析总结。

解：白盒测试用例设计方法主要有逻辑覆盖和独立路径测试。

从覆盖源程序语句的详尽程度分析，逻辑覆盖主要有以下不同的覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。实际项目中，由于程序内部的逻辑存在不确定性和无穷性，尤其对于大规模复杂软件，不必采用所有的覆盖指标，而应根据实际情况选择合适的覆盖指标。

独立路径测试是在程序控制流图的基础上，通过分析控制结构的环路复杂性，导出可执行的独立路径集合，从而设计出相应的测试用例。设计出的测试用例要保证被测程序的每条可执行的独立路径至少被执行一次。独立路径测试给出了满足路径覆盖指标所需测试用例的下限，同时给出了语句覆盖的上限，它可以确保对所有相互独立的决策结果进行测试。

2．分析归纳逻辑覆盖的各种策略，并比较每种覆盖的特点，分析在怎样的情况下采用何种覆盖方式。

解：语句覆盖是选择足够多的测试数据，使被测程序中每个语句至少执行一次。语句覆盖是最弱的逻辑覆盖标准。

判定覆盖又叫分支覆盖，它不仅每个语句必须至少执行一次，而且每个判定表达式的每种可能的结果都应该至少执行一次。判定条件覆盖比语句覆盖强，但是对程序逻辑的覆盖程度仍然不高。

条件覆盖的含义是，使判定表达式中的每个条件都取到各种可能的结果。条件覆盖通常比判定覆盖强，但是也可能有相反的情况：虽然每个条件都取到了两个不同的结果，判定表达式却始终只取一个值。

判定/条件覆盖的含义是，选取足够多的测试数据，使得判定表达式中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。但有时判定/条件覆盖也并不比条件覆盖更强。

条件组合覆盖是更强的逻辑覆盖标准，它要求选取足够的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次。满足条件组合覆盖标准的测试数据，也一定满足判定覆盖、条件覆盖和判定/条件覆盖标准。因此，条件组合覆盖是前述几种覆盖标准中最强的。但是，满足条件组合覆盖标准的测试数据并不一定能使程序中的每一条路径都执行到。

白盒测试用例设计方式：

常常利用的黑盒测试用例设计方式有等价类划分法、边界值测试法、决策表法、错误猜想法和场景法，在进展黑盒测试用例设计时的主要依据是软件系统规格说明书，因此在进展黑盒测试之前必需保证软件系统规格说明书是通过审核的，若是未经审核，那么需要进展探索式测试。

等价类划分法是指将输入数据进展等价类划分，划分依据为系统的预期结果，隶属于同一个等价类的输入数据会引发一样的预期结果，而且吻合一样的输入标准。

边界值测试法是对等价类划分法的一种补充，对于每一个等价类来讲，都会存在类的边缘，经研究证明，边缘的数据更易在系统运行中产生问题，因此边界值方式是一种超级必要的方式。

决策表方式适合于解决多个逻辑条件的组合。判定表包括条件桩、条件项、动作桩、动作项。 条件桩中列出所有执行条件，顺序无关；条件项中列出所对应条件的所有可能情况下的取值；动作桩中列出可能采取的操作，顺序无关；动作项中列出条件项各类取值情况下采取的操作。

错误推测法概念：基于经历和直觉推测程序中所有可能存在的各类错误, 从而有针对性的设计测试用例的方式。 错误推测方式的根本思想：列举出程序中所有可能有的错误和容易发生错误的特殊情况,按照他们选择测试用例。

场景法：

ERP系统本身是一种业务流程很复杂，单据报表众多，逻辑性很强的系统，质量保证方面很宝贵到严格的控制的软件系统，在测试进程中常常会出现测试设计遗漏、测试执行遗漏等问题发生，一般的ERP系统设计可能包括以下几方面：、业务流程测试、数据逻辑测试、接口测试、兼容性测试、、易用性测试、用户体验测试等等；在针对ERP系统的测试进程中，必需具有清楚的测试设计思路，搭建根本的测试设计框架；其次熟悉所要设计的系统或模块的业务，所要实现的功能；然后灵活运用常常利用的测试设计方式〔等价类、边界值、错误猜想、路径分析法、场景法、正交验证法……用例设计方式〕；最后运用比拟合理统一的风格和模板进展设计测试用例；