1.定义
白盒测试又称结构化测试或逻辑驱动测试,也就是已知产品的内部工作过程,清楚最终生成软件产品的计算机程序结构及其语句,按照程序内部的结构测试程序,测试程序内部的变量状态、逻辑结构、运行路径等,检验程序中的每条通路是否都能按预定要求正确工作,检查程序内部动作或运行是否符合设计规格要求,所有内部成分是否按规定正常进行。
2.基本原则
(1)在执行测试时,先考虑各个分支被覆盖。
(2)再考虑完成所有逻辑条件分别为真值(True)和假值(False)的测试。
(3)如果有更高的质量要求,测试对象流程图中所有独立路径至少被运行一次。
(4)检查内部数据结构,注意上下文的影响,以确保测试的有效性。
3.主要方法
4.基于逻辑覆盖的方法
源代码(C语言)
int logicExample(int x,int y)
{
int magic = 0;
if(x>0 && y>0)
{
magic = x + y + 10; //语句块1
}
else
{
magic = x + y - 10; //语句块2
}
if(magic < 0)
{
magic = 0; //语句块3
}
return magic; //语句块4
}
源代码的流程图:
4.1 语句覆盖
(1)概念
语句覆盖是指选择足够多的测试用例,使得程序中的每一条可执行语句至少被执行一次。它以程序中每条可执行语句是否都被执行到为测试终止的 标准。
语句覆盖可以很直观地从源代码得到测试用例。无须细分每条判断每条表达式。由于这种测试方法仅仅针对程序逻辑中显示存在的语句,对于隐藏的条件和可能达到的隐式逻辑分支是无法测试的。并且语句逻辑对于多分支的逻辑运算是无法全面反映的。
(2)测试用例
当{x=3,y=3}, 执行语句块:语句块1、语句块4, 所走的路径:a-b-e-f
当{x=-3,y=0}, 执行语句块:语句块2、语句块3, 所走的路径:a-c-d-f
(3)测试充分性
假设判断条件 if(x>0 && y>0)中的“&&”被程序员错误的写成了“||”,即 if(x>0 || y>0),使用上面的一组测试用例进行测试,任然可以达到100%的语句覆盖,所以语句覆盖无法发现上述的逻辑错误。