白盒与黑盒测试的测试用例设计
第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）步。
下面将给出本例的C程序。图2则是排序部分的流程图。
main()
{ int a[11],i,j,k,temp;
scanf(“%d”,k);
printf(“input numbers:\n”);
for(i=1;i<=k;i++)
scanf(“%d”,&a[i]);
printf(“\n”);
for(i=2;i<=k;i++)
{ if(a[i]>=a[i-1]) continue;
for(j=i;j<=2;j--)
{ if(a[j]>=a[j-1] continue;
temp=a[j];a[j]=a[j-1];a[j-1]=temp;
}
}
printf(“the sorted numbers:\n”);
for(i=1;i<=10;i++)
printf(“%d”,a[i]);
}
设计方法：
（1）采用语句覆盖设计测试用例
对本例稍作分析就不难发现，只要向数组输入先大后小两个数，程序执行时就可以遍历流程图的所有框。因此，为引例设计满足语句覆盖的测试用例是：
[a={10,6},k=2]
由于语句覆盖是一个最弱的覆盖标准。虽然做到了所有语句的覆盖，但可能发现不了逻辑运算中出现的错误。
（2）采用判定覆盖设计测试用例
对本例，在语句覆盖的基础上，如果要使程序流程经过路径L1和L2，可设计两个满足要求的测试用例：
图2 冒泡排序法中排序部分的流程图
[a={10,6,7},k=3]
[a={10,6,12},k=3]
或合并成一组测试用例：
[a={10,6,12,7},k=4]
上述测试用例是在满足条件a[i]>=a[i-1]或a[j]>=a[j-1]的情况下经过路径L1和L2，而未检查另一个条件a[i]=a[i-1]或a[j]=a[j-1]，即使在程序中将两处“>=”都误写成“>”,测试结果仍将显示“正常”，使这个错误被掩盖。因此可将上述测试用例改为：
[a={10,6,10},k=3]
[a={10,6,6},k=3]
或：[a={10,6,10,6},k=4]
则程序将在满足a[i]=a[i-1]或a[j]=a[j-1]的条件下经过路径L1和L2，实现判定覆盖。但结果是将“>=”误写成“>”的错误被掩盖，从而造成更加严重的测试漏洞。因此需要更强的逻辑覆盖标准去检验判断内部条件。
（3）采用条件覆盖设计测试用例
要实现条件覆盖，就必须使被测试的程序中，对应每个判断中每个条件的所有可能情况均至少执行一次。对本例可设计测试用例如下：
[a={10,6,12,7},k=4]
[a={10,6,10,6},k=4]
（4）采用其它覆盖设计测试用例
在本例中的两个复合条件，其组成条件都不是相互独立的。若其中一个条件（如a[i]>a[i-1]）为真，则另一个条件（a[i]=a[i-1]）必然为假。所以就本例，判定/条件覆盖及条件组合覆盖都没有实际意义。
总之，本例应该选择条件覆盖测试方法，以得到较强的查错能力。因此，为本例设计的测试用例是：
[a={10,6,12,7},k=4]
[a={10,6,10,6},k=4]
5.2.2 基本路径覆盖
逻辑覆盖测试主要关注的是程序内部的逻辑结构，最彻底的测试就是覆盖程序中的每一条路径，但在实际应用中，一个不太复杂的程序，要覆盖的路径数都是一个庞大的数目，而要执行每一条路径更是不可能的。因此我们希望通过一定的方法将要覆盖的路径数压缩到一个有限的范围内，通过合理地选择一组穿过程序的测试路径，以实现达到某种测试度量，而确保程序中每一个语句都执行一次。这种测试方法就是基本路径覆盖法。
一、控制流图
控制流图是用来考察测试路径的有用工具。控制流图是程序控制结构的图形表示，实际上就是一种简化了的流程图。其基本元素是结点和控制流。图3显示了分别用程序流程图和控制流图来表示的程序基本控制结构。
图3
程序流程图和控制流图的对照图形
说明：
（1）流程图中的一组顺序处理框，在控制流图中可以被映射成为一个单一结点，如图4；
图4 合并结点的控制流图
（2）若判断中的条件表达式是复合条件时，需要改复合条件为一系列只有单个条件的判断，如图5；
图5 分解为简单条件结点的控制流图
（3）控制流图关注的是程序中的判断框，而不是顺序执行部分的细节。
二、路径的选取
所谓路径测试，就是对控制流图中每一条可能的程序执行路径至少测试一次，如果程序中含有循环，则每个循环至少执行一次。
路径选取的一般原则是：
（1）必须满足逻辑覆盖的最低标准。
在IEEE的测试标准中，语句覆盖是对白盒测试的最低标准，而在IBM的测试标准中，语句覆盖加判定覆盖是对白盒测试的最低标准。在此我们主张将语句覆盖加判定覆盖作为路径选取的最低标准。
图6是一程序的控制流图，本程序不带任何循环。我们可以先设计覆盖所有点和所有边的测试路径，然后将上述路径结合起来就可以得到实现路径覆盖的测试路径。
b e
图6 一个程序的控制流图
下面给出了满足3种不同覆盖要求的测试路径：
（2）对单循环和嵌套循环，给出相应的路径选取规则。 ①单循环（最小循环次数为零，最大循环次数为N ） ● 选取零次循环的路径；
● 对循环控制变量指定为负数； ● 一次通过循环； ● 典型的循环次数； ● 循环次数为N-1； ● 循环次数为N+1。 ②嵌套循环
● 从最深层的循环开始，设定所有外层循环取它的最小值；
● 测试最小值、最小值+1、最小值-1、典型值、最大值-1、最大值+1、最大值； ● 设定内循环在典型值处，按前一规则测试外层循环，直到覆盖所有循环。 （3）选取最简单的、具有一定功能含义的路径。
（4）由简到繁，若有可能，先考虑不含循环的测试路径，然后补充对循环的测试； （5）尽可能选取短路径；
（6）选取没有明显功能含义的路径，此时要研究这样的路径为什么存在，为什么没有通过功能上合理的路径得到覆盖。 5.3 黑盒测试的测试用例设计
5.3.1 等价类划分
等价类划分是一种典型的黑盒测试方法。其基本思想是将程序的输入区域划分为若干个等价类，用每个等价类中的一个具有代表性的输入数据作为测试数据。
我们将之划分为两类： （1）有效等价类：是指对程序的规格说明是合理的、有意义的输入数据所构成的集合。有效等价类可以是一个，也可以是多个。
（2）无效等价类：是指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。无效等价类至少有一个。
确定等价类有以下几条原则： （1）如果一个输入条件规定了输入值的范围，则可确定一个有效等价类和两个无效等价类。 例如，在程序的规格说明中，对某一个输入条件规定：X 值的范围是1~999，则可以确定有效等价类为“1≤X ≤999”，无效等价类为“X<1”及“X>999”。
（2）如果一个输入条件规定了值的个数，则可确定一个有效等价类和两个无效等价类。
例如，在程序的规格说明中，规定每个班学生人数不超过40人，则可以确定有效等价类为“1≤学生人数≤40”，无效等价类为“学生人数=0”及“学生人数>40”。
（3）如果一个输入条件规定了值的集合，而且有理由确信程序对每个输入数据都分别进行处理，则可以确定一个有效等价类（在集合中的所有元素）及一个无效等价类（不在集合中的元素）。
（4）如果一个输入条件规定了“必须如何”的条件，则可以确定一个有效等价类及一个无效等价类。
例如，输入条件规定“标识符应以字母开头…”，则可以确定“以字母开头者”为有效等价类，“以非字母开头者”为无效等价类。
（5）如果有理由确信某一个已划分的等价类中各元素在程序中处理方式不同，则应将此等价类划分成更小的等价类。
选择测试用例的基本步骤是：
（1）给每个等价类规定一个唯一的编号；
（2）设计新的测试用例，使它覆盖尽可能多的尚未被覆盖的有效等价类，重复这一步，直到所有有效等价类均被覆盖为止；
（3）设计新的测试用例，使它覆盖一个且仅一个未被覆盖的无效等价类，重复这一步，直到所有无效等价类均被覆盖为止。
必须注意，对有效等价类，一个测试用例可以覆盖几个，因此应该用尽可能少的测试用例去覆盖所有有效等价类；对无效等价类，一个测试用例只能覆盖一个，这是因为程序中的某些错误检测往往会抑制其它的错误检测。
[例3]某省高考招生，规定考生的年龄在16周岁至25周岁之间，即出生年月从1978年7月至1987年6月。高考报名程序具有自动检测输入程序的功能。若年龄不在此范围内，则显示拒绝报名的信息。试用等价类划分法为该程序设计测试用例。
设计方法：
（1）划分有效等价类和无效等价类。
假定年龄用6位整数表示，前4位表示年份，后2位表示月份。输入数据有出生年月、数值本身、月份3个等价类，并为此划分有效等价类和无效等价类，见下表：
（2）设计有效等价类需要的测试用例。为覆盖①、⑤、⑧三个有效等价类，可以设计一个
（3
等价类划分法显然比随机地选择测试用例要优越得多，但它的不足是忽略了某些效率较高的测试情况。
5.3.2 边界值分析
所谓边界值分析，就是选择这样的测试用例，选取正好等于、刚刚大于或刚刚小于边界的值作为测试数。
边界值分析法与等价类划分法有两个方面的区别：
（1）边界值分析法不是从某个等价类中随便设计一个数据作为测试用例，而是选出一个或多个数据，使得这个等价类的每个边界值都要作为测试数据；
（2）边界值分析法不仅要考虑程序的输入空间，而且要根据输出空间设计测试用例。
用边界值分析法设计测试用例时，有以下几条原则：
1）如果输入条件规定了值的范围，则取刚达到这个范围的边界的值，以及刚刚超出范围的无效数据作为测试用例。
例如输入值的范围为-100~+100，则可以选取-100、+100、-101、+101作为测试数据。
2）如果输入条件规定了值的个数，则用最大个数、最小个数、比最大个数多1、比最小个数少1的数作为测试用例。
如规定“某文件可包括1至255个记录…”，则测试数据可选1和255及0和256等值。
3）如果程序的输入域或输出域是个有序集合，则应选取集合的第一个元素和最后一个元素作为测试用例。
4）如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界上的值作为测试用例。
例如，如果程序中定义了一个数组，其元素下标的下界是0，上界是100，那么应选择达到这个下标边界的值，如0与100作为测试用例。
[例4] 程序同例3。试用边界值分析法为该程序设计测试用例。
设计方法：利用等价类划分法设计了3个输入等价类：出生年月、数值本身、月份。采用边界值分析法可为这3个输入等价类设计14个边界值测试用例。见下表：
5.3.3 错误推测法
错误推测法就是根据经验或直觉来推测程序容易发生的各种错误，然后有针对性地设计能检查出这些错误的测试用例。由于错误推测法是基于经验的，因而没有确定的产生测试用例的步骤。
错误推测法的基本思路是：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。
[例5] 程序同例4。在用边界值分析法为该程序设计测试用例的基础上，错误推测法补充新的测试用例。
设计方法：
可以补充其它的测试用例。如：
（1）输入的“出生年月”为0或空；
（2）年月次序颠倒；
5.3.4 因果图
一、基本概念
等价类划分法和边界值分析法的缺陷是没有检查各种输入条件的组合。
因果图法的基本思想是：从用自然语言书写的程序规格说明中找出“因”（输入条件或输入条件的等价类）和“果”（输出或程序状态的修改），通过画因果图将程序规格说明书转换成一张判定表，再为判定表的每一列设计测试用例。
二、因果图的基本符号和约束符号
1. 因果图的基本符号
在因果图中，用Ci表示“因”，用Ei表示“果”。包括下列图形符号：
①恒等：表示“因“与“果”之间的一对一的对应关系。若“因”出现，则“果”出现；若“因”不出现，则“果”也不出现。如下图所示：
②非：表示“因“与“果”之间的一种否定关系。若“因”出现，则“果”不出现；若“因”不出现，则“果”会出现。如下图所示：
③或：表示若几个“因”中有一个出现，则“果”出现，只有当这几个“因”都不出现时，“果”才不出现。如下图所示：
④与：表示若几个“因”都出现，“果”才出现。若几个“因”中有一个不出现，“果”
三、用因果图法设计测试用例的步骤
（1）分析程序说明书，识别出哪些是 “因”，哪些是 “果”，并给每一个“因”和“果”加以编号。
（2）根据程序说明书中规定的“因”与“果”之间，“因”与“因”之间的对应关系，画出因果图。
（3）由于语法或环境的限制，有些原因和结果的组合是不一定出现的。为表明这些特定的情况，在因果图上用特殊的符号标明约束条件。
（4）由因果图生成判定表。
（5）把判定表的每一列写成一个测试用例。
[例6] 有一程序，其规格说明书规定：输入两个字符，当第一个字符是A 或B ，且第二个字符是数字时修改文件；若第一个字符不是A ，也不是B 时，输出错误信息M1；若第二个字符不是数字时，输出错误信息M2。试用因果图法设计测试用例。
设计方法：
（1）分析规格说明书中，并确定“因”与“果”。 得到的“因”是：
1----第一个字符是A 2----第一个字符是B 3----第二个字符是数字 得到的“果”是： 21----修改文件
22----输出错误信息M1 23----输出错误信息M2 （2）画出因果图。
E
图9.13 因果图
常用的四种黑盒测试用例设计方法
常用的四种黑盒测试用例设计方法 1.等价划分。所谓等价类划分是指一套被选择的值，这些值分别代表了许多众多 的可能输入值，程序对其处理的方式都是一样的。等价类划分的方法作为继边界值分析方法之后补充的测试用例设计试用的一种方法。划分等价类、确定测试用例。 等价类划分是一种典型的黑盒测试方法，使用这一方法时，完全不考虑程序的内部结构，只依据程序的规格说明来设计测试用例。等价类划分方法把所有可能的输入数据，即程序的输入域划分成若干部分，然后从每一部分中选取少数有代表性的数据做为测试用例。 等价类的划分有两种不同的情况：有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。无效等价类：是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。 2.边界值分析。在设计测试用例确定输入和输出参数时，大多数情况下都是用边 界值分析方法，采用边界值分析设计的测试用例发现程序错误能力最强。边界值分析也是一种黑盒测试方法，是对等价类划分方法的补充。人们从长期的测试工作经验得知，大量的错误是发生在输入或输出范围的边界上，而不是在输入范围的内部。因此针对各种边界情况设计测试用例，可以查出更多的错误。
3.错误推测法。人们也可以靠经验和直觉推测程序中可能存在的各种错误，从而 有针对性地编写检查这些错误的例子。这就是错误推测法。错误推测法的基本想法是：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。 4.因果图。如果程序的功能说明中含有输入条件的组合情况，则一开始就可以选 用因果图法。如果在测试时必须考虑输入条件的各种组合，可使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来设计测试用例，这就需要利用因果图。因果图方法最终生成的就是判定表。它适合于检查程序输入条件的各种组合情况。
黑盒测试用例设计案例
黑盒测试用例设计案例 【例1】假设现有以下的三角形分类程序。该程序的功能是，读入代表三角形边长的3个整数，判定它们能否组成三角形。如果能够，则输出三角形是等边、等腰或任意三角形的分类信息。图9.11显示了该程序的流程图和程序图。为以上的三角形分类程序设计一组测试用例。 【解】 第一步：确定测试策略。在本例中，对被测程序的功能有明确的要求，即：
（1）判断能否组成三角形； （2）识别等边三角形； （3）识别等腰三角形； （4）识别任意三角形。因此可首先用黑盒法设计测试用例，然后用白盒法验证其完整性，必要时再进行补充。 第二步：根据本例的实际情况，在黑盒法中首先可用等价分类法划分输入的等价类，然后用边界值分析法和猜错法作补充。 等价分类法： 有效等价类 输入3个正整数： (1)3数相等 (2)3数中有2个数相等，比如AB相等 (3)3数中有2个数相等，比如BC相等 (4)3数中有2个数相等，比如AC相等 (5)3数均不相等 (6)2数之和不大于第3数，比如最大数是A
(7)2数之和不大于第3数，比如最大数是B (8)2数之和不大于第3数，比如最大数是C 无效等价类： (9)含有零数据 (10)含有负整数 (11)少于3个整数 (12)含有非整数 (13)含有非数字符 边界值法： (14)2数之和等于第3数 猜错法： (15)输入3个零 (16)输入3个负数 第三步：提出一组初步的测试用例，如下表所示：
第四步：用白盒法验证第三步产生的测试用例的充分性。结果表明，上表中的前8个测试用例，已能满足对被测程序图的完全覆盖，不需要再补充其他的测试用例。
白盒测试用例设计方法
1白盒测试用例设计方法 1.1白盒测试简介 白盒测试又称结构测试、逻辑驱动测试或基于程序的测试，一般多发生在单元测试阶段。白盒测试方法主要包括逻辑覆盖法，基本路径法，程序插装等。 这里重点介绍一下常用的基本路径法，对于逻辑覆盖简单介绍一下覆盖准则。 1.2基本路径法 在程序控制流图的基础上,通过分析控制构造的环路复杂性，导出独立路径集合，从而设计测试用例，设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。 在介绍基本路径测试方法（又称独立路径测试）之前，先介绍流图符号： 图1 如图1所示，每一个圆，称为流图的节点，代表一个或多个语句，流程图中的处理方框序列和菱形决策框可映射为一个节点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个节点，即使该节点并不代表任何语句，例如，图2中两个处理方框交汇处是一个节点，边和节点限定的范围称为区域。 图2
任何过程设计表示法都可被翻译成流图，下面显示了一段流程图以及相应的流图。 注意，程序设计中遇到复合条件时（逻辑or, and, nor 等），生成的流图变得更为复杂，如(c)流图所示。此时必须为语句IF a OR b 中的每一个a 和b 创建一个独立的节点。
(c)流图 独立路径是指程序中至少引进一个新的处理语句集合，采用流图的术语，即独立路径必须至少包含一条在定义路径之前不曾用到的边。例如图(b)中所示流图的一个独立路径集合为： 路径1：1-11 路径2：1-2-3-4-5-10-1-11 路径3：1-2-3-6-8-9-10-1-11 路径4：1-2-3-6-7-9-10-1-11 上面定义的路径1，2，3 和4 包含了(b)流图的一个基本集，如果能将测试设计为强迫运行这些路径，那么程序中的每一条语句将至少被执行一次，每一个条件执行时都将分别取true 和false（分支覆盖）。应该注意到基本集并不唯一，实际上，给定的过程设计可派生出任意数量的不同基本集。如何才能知道需要寻找多少条路径呢？可以通过如下三种方法之一来计算独立路径的上界： 1. V=E-N+2，E 是流图中边的数量，N 是流图节点数量。 2. V=P+1，P 是流图中判定节点的数量 3. V=R，R 是流图中区域的数量 例如，(b)流图可以采用上述任意一种算法来计算独立路径的数量 1. V=11 条边-9 个节点+2=4 2. V=3 个判定节点+1=4 3. 流图有4 个区域，所以V=4 由此为了覆盖所有程序语句，必须设计至少4 个测试用例使程序运行于这4 条路径。 在采用基本路径测试方法中，获取测试用例可参考以下方式：
实验1 黑盒测试用例设计
实验1 黑盒测试用例设计 1、实验目的 1、掌握黑盒测试用例的设计方法。 2、综合运用所学的黑盒测试方法设计测试用例。 2、实验准备 1、黑盒测试用例的设计方法。 2、测试用例模板。 3、实验内容 3.1基本训练 实验一：假设现有以下的三角形分类程序。该程序的功能是，读入代表三角形边长的3个整数，判定它们能否组成三角形。如果能够，则输出三角形是等边、等腰或任意三角形的分类信息。图1显示了该程序的流程图和程序图。为以上的三角形分类程序设计一组测试用例。 图1 实验二：为自动售货机设计黑盒测试用例 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在
送出饮料的同时退还5角硬币。 3.2扩展训练 题目1：利用因果图法编写测试用例。 某奖金计算软件实现功能如下： 1该软件可以计算某公司的年终奖，该公司员工分为普通员工和管理人员。 2员工表现分为普通、优秀和特殊贡献（普通和优秀员工都可以有特殊贡献，普通员工表现普通和管理人员表现普通拿的工资是不同的）。 3 根据员工的分类和表现，将奖金分为1类奖金，2类奖金——。 具体分析： 输入条件：员工类别：普通员工A1、管理人员A2 员工表现：普通B1、优秀B2、特殊贡献B3 输出条件：奖金类别：１类奖金C1、2类奖金C2—— 其中：A1和A2是互斥的，B1和B2是互斥的，B1和B3，B2和B3可以同时满足。 普通员工：A1+B1—>C1 A1+B2 —〉C2 A1+B1+B3—〉C3 A1+B2+B3—〉C4 管理人员：A2+B1—〉C5 A2+B2—〉C6 A2+B1+B3—〉C7 A2+B2+B3—〉C8 4、实验步骤 4.1基本训练 实验一步骤： 第一步：确定测试策略。在本例中，对被测程序的功能有明确的要求，即：（1）判断能否组成三角形； （2）识别等边三角形； （3）识别等腰三角形； （4）识别任意三角形。因此可首先用黑盒法设计测试用例，然后用白盒法验证其完整性，必要时再进行补充。 第二步：根据本例的实际情况，在黑盒法中首先可用等价分类法划分输入的等价类，然后用边界值分析法和猜错法作补充。 等价分类法：
白盒测试方法
一、白盒测试概念 1、定义 白盒测试又称结构测试、透明盒测试、逻辑驱动测试、基于代码的测试。盒子指被测试的软件，白盒指盒子是可视的。白盒测试是一种测试用例设计方法，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例。白盒测试主要针对被测程序的源代码，主要用于软件验证，不考虑软件的功能实现，只验证内部动作是否按照设计说明书的规定进行。 2、目的 我们一方面注重软件功能需求的实现，另一方面还要注重程序逻辑细节，主要是因为软件自身的缺陷，具体如下： 1）逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。日常处理往往被很好地了解，而“特殊情况”的处理则难于发现。 2）我们经常相信某逻辑路径不可能被执行，而事实上，它可能在正常的基础上被执行。程序的逻辑流有时是违反直觉的，只有路径测试才能发现这些错误。 3）代码中的笔误是随机且无法杜绝的。笔误出现在主流上和不明显的逻辑路径上的机率是一样的。很多被语法检查机制发现，但是其他的会在测试开始时才会被发现。 4）功能测试本身的局限性。如果程序实现了没有被描述的行为，功能测试是无法发现的，例如病毒，而白盒测试很容易发现它。 3、目标 采用白盒测试必须遵循以下几条原则，才能达到测试的目标： 1）保证一个模块中的所有独立路径至少被测试一次。 2）所有逻辑值均需测试真(true) 和假(false)两种情况。 3）检查程序的内部数据结构，保证其结构的有效性。 4）在上下边界及可操作范围内运行所有循环。 4、黑白灰区别 黑盒测试技术：也称功能测试或数据驱动测试，只关注规格说明中的功能，测试者在程序接口对软件界面和软件功能进行测试，它只检查实现了的功能是否按照“用户需求说明书”的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。主要用于软件确认测试，结合兼容、性能测试等方面，但黑盒测试不能保证已经实现的各个部分都被测试到。黑盒测试适用于各阶段测试。 白盒测试技术：只关注软件产品的测试，深入到代码一级的测试，它是知道产品内部结构，通过测试来检测产品内部动作是否按照“设计规格说明书”的规定正常进行，按照程
(完整版)黑盒测试和白盒测试
白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。 这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。 六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判定/条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至少出现一次。路径覆盖使程序中每一条可能的路径至少执行一次。 "白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。 如何挑选白盒测试工具 白盒测试目前主要用在具有高可靠性要求的软件领域，例如：军工软件、航天航空软件、工业控制软件等等。白盒测试工具在选购时应当主要是对开发语言的支持、代码覆盖的深度、嵌入式软件的测试、测试的可视化等。 对开发语言的支持：白盒测试工具是对源代码进行的测试，测试的主要内容包括词法分析与语法分析、静态错误分析、动态检测等。但是对于不同的开发语言，测试工具实现的方式和内容差别是较大的。目前测试工具主要支持的开发语言包括：标准C、C＋＋、Visual C ＋＋、Java、Visual J＋+等。
黑盒测试及测试用例设计方法
黑盒测试及测试用例设计方法 黑盒测试定义 什么是黑盒测试？ 黑盒测试就是测试人员把软件产品（可阶段性产品）看做是一个黑盒。在测试过程中测试人员只需关心对这个软件黑盒操作会得到什么样的结果，而不必深入地去了解它的内部实现机制所进行的测试活动。 例如：在Windows的命令行中输入字符串dir就可以得到当前目录下的子目录及文件的列表。而输入tasklist后就得到一张正在系统中运行的任务的列表。在以上操作中不必去考虑命令行解析器会如何解析输入的字符串，也不必考虑系统如何获取我们想要的信息并如何把他显示在屏幕上，这就是黑盒处理机制。我们只关心输入（input）的和想要得到的输出（output）。如果在初始条件确定的情况下的一组确定的输入经过软件产品这个黑盒进行处理后并没有得到期望的结果(expected result)时,则说明此时就发现了一个软件的缺陷（defect）。 为什么要做黑盒测试？ 验证（verity）：软件产品是否符合需求文档的设计（IEEE 1983 of IEEE Standard 729）证实（validate）：软件产品符合最终用户的需求（IEEE 1983 of IEEE Standard 729） 把dir输入到其它软件（如计算器）可能毫无意义，但在Windows命令行中被解析为获取当前目录下的子目录及文件的列表，并且在初始条件确定的情况下将得到可预测的输出。这样的输出在软件测试阶段通常被定义下来以保证开发人员编写的程序有章可循。这下是软件测试的目的之一：验证（verity）软件产品是否符合需求文档的设计。 黑盒测试中，测试人员只按业务逻辑测试而不需要考虑内部实现。这就很好地模拟了终端用户的行为。然而终端用户的行为并不会都在软件需求文档中定义（例如黑客攻击）。我们可以尽量模拟终端用户对产品网站进行攻击。这样的测试既可以是预先定义好的，也可以是随机的（adhoc test）。像这样的模拟终端用户操作对产品进行的测试活动就是在履行软件测试的另一个目的：证实（validate）软件产品符合最终用户的需求。 软件生命周期中的哪些测试阶段用到过黑盒测试？ 软件生命周期包括： 单元测试（unit test）。 组件测试（component test）。 集成测试（integration test）。
白盒测试和黑盒测试实验报告
软件质量保证与测试 实验指导 计算机工程学院
测试环境配置 1.setting Junit (1) start Eclipse Select windows-preferences-java-build path –class path variables (2) click new, the figure of new variable entry is shown. (3) name JUNIT_LIB
select file-选择JUnit 插件所对应的JAR文件所在地，在Eclipse的安装目录的plugins目录中 2.JUNIT的组成框架 其中，junit.framework 和junit.runner是两个核心包。 junit.framework 负责整个测试对象的框架 junit.runner 负责测试驱动 Junit的框架又可分为： A、被测试的对象。 B、对测试目标进行测试的方法与过程集合，可称为测试用例(TestCase)。
C、测试用例的集合，可容纳多个测试用例(TestCase)，将其称作测试包(TestSuite)。 D、测试结果的描述与记录。(TestResult) 。 E、每一个测试方法所发生的与预期不一致状况的描述，称其测试失败元素(TestFailure) F、JUnit Framework中的出错异常（AssertionFailedError）。 JUnit框架是一个典型的Composite模式：TestSuite可以容纳任何派生自Test 的对象；当调用TestSuite对象的run()方法是，会遍历自己容纳的对象，逐个调用它们的run()方法。 3.JUnit中常用的接口和类 Test接口——运行测试和收集测试结果 Test接口使用了Composite设计模式，是单独测试用例（TestCase），聚合测试模式（TestSuite）及测试扩展（TestDecorator）的共同接口。 它的public int countTestCases（）方法，它来统计这次测试有多少个TestCase，另外一个方法就是public void run（TestResult ），TestResult是实例接受测试结果，run方法执行本次测试。 TestCase抽象类——定义测试中固定方法 TestCase是Test接口的抽象实现，（不能被实例化，只能被继承）其构造函数TestCase(string name)根据输入的测试名称name创建一个测试实例。由于每一个TestCase在创建时都要有一个名称，若某测试失败了，便可识别出是哪个测试失败。 TestCase类中包含的setUp()、tearDown()方法。setUp()方法集中初始化测试所需的所有变量和实例，并且在依次调用测试类中的每个测试方法之前再次执行setUp()方法。tearDown()方法则是在每个测试方法之后，释放测试程序方法中引用的变量和实例。 开发人员编写测试用例时，只需继承TestCase，来完成run方法即可，然后JUnit获得测试用例，执行它的run方法，把测试结果记录在TestResult之中。 Assert静态类——一系列断言方法的集合 Assert包含了一组静态的测试方法，用于期望值和实际值比对是否正确，即测试失败，Assert类就会抛出一个AssertionFailedError异常，JUnit测试框架将
测试用例实例—常见功能测试点
测试用例实例--常见功能测试点 笔者在网上看到了一篇文章，个人认为此文对于“软件常用功能测试点”总结的很好，特此摘录下来和大家一起分享。 1. 登陆、添加、删除、查询模块是我们经常遇到的，这些模块的测试点该如何考虑 1)登陆 ①用户名和密码都符合要求(格式上的要求) ②用户名和密码都不符合要求(格式上的要求) ③用户名符合要求，密码不符合要求(格式上的要求) ④密码符合要求，用户名不符合要求(格式上的要求) ⑤用户名或密码为空 ⑥数据库中不存在的用户名，不存在的密码 ⑦数据库中存在的用户名，错误的密码 ⑧数据库中不存在的用户名，存在的密码 ⑨输入的数据前存在空格 ⑩输入正确的用户名密码以后按[enter]是否能登陆 ------------------------------------------------------------------------------------------------------ 2) 添加 ①要添加的数据项均合理，检查数据库中是否添加了相应的数据 ②留出一个必填数据为空
③按照边界值等价类设计测试用例的原则设计其他输入项的测试用例 ④不符合要求的地方要有错误提示 ⑤是否支持table键 ⑥按enter是否能保存 ⑦若提示不能保存，也要察看数据库里是否多了一条数据 ------------------------------------------------------------------------------------------------------ 3) 删除 ①删除一个数据库中存在的数据，然后查看数据库中是否删除 ②删除一个数据库中并不存在的数据，看是否有错误提示，并且数据库中没有数据被删除 ③输入一个格式错误的数据，看是否有错误提示，并且数据库中没有数据被删除。 ④输入的正确数据前加空格，看是否能正确删除数据 ⑤什么也不输入 ⑥是否支持table键 ⑦是否支持enter键 ------------------------------------------------------------------------------------------------------ 4)查询 精确查询：
白盒测试和黑盒测试
白盒测试 白盒测试，又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子部的东西以及里面是如何运作的。"白盒"法全面了解程序部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。在动态分析技术中,最重要的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。 中文名：白盒测试 外文名：white-box testing 别称：结构测试、透明盒测试 白盒测试测试方法 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化： 1.语句覆盖每条语句至少执行一次。 2.判定覆盖每个判定的每个分支至少执行一次。 3.条件覆盖每个判定的每个条件应取到各种可能的值。 4.判定/条件覆盖同时满足判定覆盖条件覆盖。 5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。 6.路径覆盖使程序中每一条可能的路径至少执行一次。 白盒测试要求
如何编写单元测试用例(白盒测试)
如何编写单元测试用例（白盒测试）。 一、单元测试的概念 单元通俗的说就是指一个实现简单功能的函数。单元测试就是只用一组特定的输入(测试用例)测试函数是否功能正常，并且返回了正确的输出。 测试的覆盖种类 1.语句覆盖：语句覆盖就是设计若干个测试用例，运行被测试程序，使得每一条可执行语句至少执行一次。 2.判定覆盖（也叫分支覆盖）：设计若干个测试用例，运行所测程序，使程序中每个判断的取真分支和取假分支至少执行一次。 3.条件覆盖：设计足够的测试用例，运行所测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次。 4.判定——条件覆盖：设计足够的测试用例，运行所测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次，并且每个可能的判断结果也至少执行一次。 5.条件组合测试：设计足够的测试用例，运行所测程序，使程序中每个判断的所有条件取值组合至少执行一次。 6.路径测试：设计足够的测试用例，运行所测程序，要覆盖程序中所有可能的路径。 用例的设计方案主要的有下面几种：条件测试，基本路径测试，循环测试。通过上面的方法可以实现测试用例对程序的逻辑覆盖，和路径覆盖。 二、开始测试前的准备
在开始测试时，要先声明一下，无论你设计多少测试用例，无论你的测试方案多么完美，都不可能完全100%的发现所有BUG，我们所需要做的是用最少的资源，做最多测试检查，寻找一个平衡点保证程序的正确性。穷举测试是不可能的。所以现在进行单元测试我选用的是现在一般用的比较多的基本路径测试法。 三、开始测试 基本路径测试法：设计出的测试用例要保证每一个基本独立路径至少要执行一次。 函数说明：当i_flag=0；返回 i_count+100 当i_flag=1；返回 i_count *10 否则返回 i_count *20 输入参数：int i_count ， int i_flag 输出参数： int i_return; 代码： 1int Test(int i_count, int i_flag) 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）步。 下面将给出本例的C程序。图2则是排序部分的流程图。 main() { int a[11],i,j,k,temp; scanf(“%d”,k); printf(“input numbers:\n”); for(i=1;i<=k;i++) scanf(“%d”,&a[i]); printf(“\n”); for(i=2;i<=k;i++) { if(a[i]>=a[i-1]) continue; for(j=i;j<=2;j--)
黑盒白盒测试
目录 1.软件测试 (1) 1.1软件测试实训平台 (2) 1.1.1实训平台的硬件环境 (2) 1.1.2实训平台的基本功能 (2) 1.2实训平台的使用 (3) 1.2.1进入实训平台并创建测试小组 (3) 3.软件测试计划 (4) 3.1测试目的 (4) 3.2测试内容 (4) 3.3测试人员 (4) 3.4测试方法 (4) 4.测试小组的角色分配和权限管理 (5) 5.软件测试过程 (8) 6.白盒测试和黑盒测试的实际案例 (9) 6.1三角形问题测试 (9) 7.测试评估 (16) 7.1黑盒测试与白盒测试的比较 (16) 8.心得体会 (16) 9.参考文献 (17)
1.软件测试 软件测试（Software Testing），描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过程。换句话说，软件测试是一种实际输出与预期输出之间的审核或者比较过程。软件测试的经典定义是：在规定的条件下对程序进行操作，以发现程序错误，衡量软件质量，并对其是否能满足设计要求进行评估的过程。 软件测试实训平台的使用和操作步骤 1.1软件测试实训平台 自动化测试综合实训部分内容是对所有测试内容的总结和集中应用，实训地点位于合作企业与专业共建的IBM软件测试实训中心，实训项目全部基于IBM 企业级实训平台对实训过程进行组织、管理、跟踪和评价，案例全部来源于企业，并精心选取，内容针对以学生的职业能力训练为核心，突出职业岗位需求，构建真实的职业环境，让学生在职业活动环境中提高技术应用的能力，培养综合职业素质，达到软件测试工程师岗位的能力要求，并具备一定的相关工作经验。从而实现训练环境与实际环境的“零距离”，训练项目与实际项目的“零距离”，毕业学生工作能力与用人企业要求的“零距离”。 1.1.1实训平台的硬件环境 软件测试实训中心于2006年与合作企业共建，该实训中心具有完善健全的综合服务体系，先进完备的计算机教学设备，IBM专业的网络服务器（Web服务器学员管理、数据库服务器、域服务器、文件服务器）；企业级的学习资料，视频；采用企业工位模式的环境布局，方便学生实训过程沟通交流，利于团队工作。 1.1.2实训平台的基本功能 一、教师首页 班级管理：添加删除班级，或者修改班级信息。可以查看班级的学员。 学员管理：添加删除学员，或者修改学员信息。可以将学员添加或者退出某个班级。
白盒测试：路径测试及测试用例设计
20 14 —20 15 学年第 2 学期 软件测试技术课程 实验报告 学院：计算机科学技术 专业：软件工程 班级：软件12401 姓名：李晶宇 学号：041240134 任课教师：刘玉宝
实验日期：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）画出程序的流图(控制流程图)。
程序入口（数组元素升序） low <= high (low+high)/2 array[middle] == key Y N array[middle] < key key=middle Y N low=middle+1 high=middle-1 程序出口 2）计算流图G 的圈复杂度V(G)。 封闭区域：○2→○3→○4→○6→○7→○2→○10 ○2→○3→○4→○6→○8→○9→○2→○10 还有一个区域是这两个区域以外的区域，共有三个区域，即独立路径数的上界 是3，V(G)=3。 3）确定只包含独立路径的基本路径集。 V(G)值正好等于该程序的独立路径的条数。 程序的独立路径是： Path1:○1→○2→○3→○4→○5→○10 Path2:○1→○2→○3→○4→○6→○7→○2→○10 Path3:○1→○2→○3→○4→○6→○8→○9→○2→○10 4）根据上面的独立路径，设计测试用例，得到测试用例表。 为了确保基本路径集中的每一条路径的执行，根据判断结点给出的条件，选择适当的数据以保证每一条路径可以被测试到，满足上面例子基本路径集的测试用例表如下： 2 10 1 4 6 5 7 8 9 3
实验1 利用黑盒测试技术设计测试用例
14级本科《软件测试技术》实验指导书 实验1 利用黑盒测试技术设计测试用例 【实验目的】 1、熟悉并掌握黑盒测试的方法：等价类划分法、边界值分析法、错误推测法、场景法。 2、了解待测的功能，灵活应用黑盒测试方法中的等价类划分法、边界值分析法、错误推测法以及场景法，设计测试用例，掌握正面测试和负面测试。 【实验内容】 【1】应用等价类划分法进行测试。 用户注册功能，要求用户密码必须满足两个条件： ?长度为6到8位。 ?必须是字母和数字的组合。 （1）请分析等价类，填写表1-1。 表1-1 等价类表 （2）根据表1-1的等价类设计测试数据，填写表1-2。 表1-2 根据等价类划分法设计的测试数据 【2】应用等价类划分法和边界值分析法进行测试。 在教务系统中进行课程成绩录入，要求0≤成绩≤100，且成绩为整数。 （1）请分析等价类，填写表1-3。 表1-3 等价类表
（2）根据表1-3的等价类设计测试数据，填写表1-4。 表1-4 根据等价类划分法设计的测试数据 （3）根据边界值分析法设计测试数据，填写表1-5。 表1-5 根据边界值分析法设计的测试数据 阅读附录A.9的功能描述，了解借书功能。设计借书功能的测试用例。（1）首先按照场景法来分析借书功能的基本流和备选流，见表2-12。 表2-12 借书功能的基本流和备选流 （2）设计借书功能的场景，见表2-13。 表2-13 借书功能的场景设计
I（Invalid，无效的）表示无效数据，“n/a”表示这个条件不适用于测试用例。 表2-14 测试用例表 【4】设计修改产品功能的测试用例。 阅读附录A.3、A.4的功能描述，了解添加产品、修改产品功能，分析添加产品功能的测试用例的设计思路，如表2-4所示，参考添加产品功能的测试用例（如表2-5所示），设计修改产品功能的测试用例，填写表2-6。 表2-4 添加产品功能的测试用例的设计思路
软件测试基础视频教程——黑盒、白盒测试
软件测试基础视频教程——黑盒、白盒测试 近来，软件测试行业发展迅速，企业越来越重视测试了。越来越多的人加入了测试大军中，很多人也想通过自学来学习软件测试技术加入这个行业，更多的人开始关注软件测试案例教程，那么软件测试案例教程哪里好呢？软件测试案例教程内容有什么？软件测试案例教程学什么？下面我为大家简要介绍一下软件测试案例教程——黑盒测试和白盒测试 黑盒测试：已知产品的功能设计规格，可以进行测试证明每个实现了的功能是否符合要求。 白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。 软件的黑盒测试意味着测试要在软件的接口处进行。这种方法是把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。因此黑盒测试又叫功能测试或数据驱动测试。黑盒测试主要是为了发现以下几类错误： 1、是否有不正确或遗漏的功能？ 2、在接口上，输入是否能正确的接受？能否输出正确的结果？
3、是否有数据结构错误或外部信息（例如数据文件）访问错误？ 4、性能上是否能够满足要求？ 5、是否有初始化或终止性错误？ 软件的白盒测试是对软件的过程性细节做细致的检查。这种方法是把测试对象看做一个打开的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。白盒测试主要是想对程序模块进行如下检查： 1、对程序模块的所有独立的执行路径至少测试一遍。 2、对所有的逻辑判定，取“真”与取“假”的两种情况都能至少测一遍。 3、在循环的边界和运行的界限内执行循环体。 4、测试内部数据结构的有效性，等等。
测试用例八大设计方法和实例
测试用例设计方法 1等价类划分 1.1 理论知识 等价类划分是一种典型的黑盒测试方法。这一方法完全不考虑程序的内部结构，只依据程序的规格说明来设计测试用例。 等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭示程序中的错误都是等效的。 等价类合理地假设：某个等价类的代表值，与该等价类的其他值，对于测试来说是等价的。 因此，可以把全部的输入数据划分成若干的等价类，在每一个等价类中取一个数据来进行测试。这样就能以较少的具有代表性的数据进行测试，而取得较好的测试效果。 等价类划分是把所有可能的输入数据,即程序的输入域划分成若干部分（子集）,然后从每一个子集中选取少数具有代表性的数据作为测试用例.该方法是一种重要的,常用的黑盒测试用例设计方法. 1) 分类： 划分等价类: 等价类是指某个输入域的子集合.在该子集合中,各个输入数据对于揭露程序中的错误都是等效的.并合理地假定:测试某等价类的代表值就等于对这一类其它值的测试.因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件,就可以用少量代表性的测试数据.取得较好的测试结果.等价类划分可有两种不同的情况:有效等价类和无效等价类. 有效等价类:是指对于程序的规格说明来说是合理的,有意义的输入数据构成的集合.利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能. 无效等价类:与有效等价类的定义恰巧相反. 设计测试用例时,要同时考虑这两种等价类.因为,软件不仅要能接收合理的数据,也要能经受意外的考验.这样的测试才能确保软件具有更高的可靠性. 2）划分等价类的方法: 下面给出六条确定等价类的原则： ①在输入条件规定了取值范围或值的个数的情况下,则可以确立一个有效等价类和两个无效等价类. ②在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下,可确立一个有效
黑盒白盒测试法
软件测试 学生成绩管理系统 班级：09计算机应用技术1班 姓名：黄安 学号： 20090805210 指导老师：巫宗宾
软件测试是软件开发时期的最后一个阶段，也是软件质量和可靠性保证中至关重要的一个环节。软件测试的基本任务是通过在计算机上执行程序，暴露出程序潜在的错误，以便进行纠错，从而保证程序的可靠运行，降低软件的风险。 关键词：软件测试；黑盒测试；测试用例 软件测试是软件开发时期的最后一个阶段，也是软件质量和可靠性的保证中至关重要的一个缓解。软件测试的基本人物是通过在计算机上执行程序，暴露程序中潜在的错误，以便进行纠错，从而保证程序的可靠运行，降低软件的风险。 所谓测试用例，就是意发现错误为目的而精心设计的一组测试数据。测试一个程序，需要数量足够的一组测试用例，用数据词典的表示方法表示，可以写成： 测试用例=｛输入数据+输出数据｝ 这个是式子还表明，每一个完整的测试用例不仅包含有被测程序的输入数据，而且还包括用这组数据执行被测数据之后的预期的输出结果。每次测试，都要把实测的结果与期望结果做比较，若不相符，就表明程序可能存在错误。 一：白盒测试 二、黑盒测试-黑盒测试就是根据被测程序功能来进行测试，所以也称为功能测试。用黑盒法涉及测试用例，有四种常用技术；等价分类法，边界值分析法，决策表法和因果图法。 整个测试基于需求文档，看是否能满足需求文档中所有需求。黑盒测试要求测试者在测试时不能使用与被测系统内部结构相关的知识或经验，适用于对系统的功能进行测试。 黑盒测试的优点比较简单，不需要了解程序内部的代码及实现，从用户的角度出发，且是基于软件开发文档，也能知道软件实现了文档中的哪些功能，在做软件自动化测试是比较方便。黑盒测试法的缺点是覆盖率较低，自动化测试的复用性较低。 （1）等价分类法 所谓等价分类，就是把输入数据的可能值划分为若干个等价类，使每类中的任何一个测试用例都能代表同一个等价类中的其他测试用例。也就是说，如果从某一等价类中任意选出一个测试用例未能发现程序的错误，就可以合理地认为在该类中其他测试用例也不会发现程序的错误。 这些等价类又划分为代表“有效“输入值的有效等价类和代表“无效”输入值的无效等价类。需要注意的是：对于每一个无效等价类至少要用一个测试用例，不然就可能漏掉某一类错误，但允许若干个有效等价类何用同一测试用例，以便进一步减少测试的次数。 三：（2）边界值分析法 所谓边界值分析法是对输入的边界值进行测试。在测试用例设计中，需要对输入的条件进行分析并且找出其中的边界值条件，通过对这些边界值的测试来查出更多的错误。 边界值分析的基本思路，就是要把测试的重点放在各个等价类的边界上，选取刚好等于，大于、小于边界值的数据位测试数据，并据此设计出相应的测试用例 四：因果图法：因果图法能够帮助测试人员按照一定的步骤，高效率的开发测试用例，以检测程序输入条件的各种组合情况，它是将自然语言转化为形式语言规格说明的一种严格方法，可以指出规格说明存在的不完整性和二义性。 下面就是用黑盒测试法中的等价类划分法和边界值分析法来完成对学生成绩管理系统的测试。
白盒测试用例练习题(1)
白盒测试用例练习 1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。 void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x>3)&&(z<10) ) { k=x*y-1; j=sqrt(k); //语句块1 } if ( (x==4)||(y>5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 } a Y c N b e Y N d x>3 and z<10 x=4 or y>5 j=j%3 j=x*y+10 k=x*y-1 j=sqrt(k) k=0 j=0
由这个流程图可以看出，该程序模块有4条不同的路径： P1:(a-c-e) P2:(a-c-d) P3:(a-b-e) P4:(a-b-d) 将里面的判定条件和过程记录如下： 判定条件M＝{x>3 and z<10} 判定条件N={x=4 or y>5} 1、语句覆盖 测试用例输入输出判定M的取值判定N的取值覆盖路径x=4,z=5,y=8 k=31,j=0 T T P1(a-c-e) 2、判定覆盖 p1和p4可以作为测试用例，其中p1作为取真的路径，p4作为取反的路径。 测试用例输入输出判定M的取值判定N的取值覆盖路径x=4,z=5,y=8 k=31,j=0 T T P1(a-c-e) x=2,z=11,y=5 k=0,j=0 F F P4(a-b-d) 也可以让测试用例测试路径P2和P3。相应的两组输入数据如下： 测试用例输入输出判定M的取值判定N的取值覆盖路径x=5,z=5,y=4 k=19,j=sqrt(19)%3 T F P2(a-c-d) x=4,z=11,y=6 k=0,j=1 F T P3(a-b-e) 3、条件覆盖 对于M：x>3取真时T1，取假时F1; z<10取真时T2，取假时F2； 对于N：x=4取真时T3，取假时F3; y>5取真时T4，取假时F4。 条件：x>3,z<10,x=4,y>5 条件：x<=3,z>=10,x!=4,y<=5 根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示: 测试用例输入输出取值条件具体取值条件覆盖路径x=4,z=5,y=8 k=31, j=0 T1，T2，T3，T4 x>3,z<10,x=4,y>5 P1(a-c-e) x=3,z=11,y=5 k=0, j=0 F1，F2，F3，F4 x<=3,z>=10,x!=4,y<=5 P4(a-b-d) 4、判定/条件覆盖 测试用例输入输出取值条件具体取值条件覆盖路径x=4,z=5,y=8 k=31, j=0 T1，T2，T3，T4 x>3,z<10,x=4,y>5 P1(a-c-e) x=3,z=11,y=5 k=0, j=0 F1，F2，F3，F4 x<=3,z>=10,x!=4,y<=5 P4(a-b-d)