软件测试——白盒测试

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)测试充分性

假设判断