软件测试学习笔记（二）软件测试基本技术

一、简介

任何工程产品都可以使用白盒测试和黑盒测试两种方法之一进行测试。

1.1 黑盒测试

黑盒测试：已知产品的功能设计规格和用户手册，可以进行测试证明每个功能是否实现、每个实现了的功能是否符合要求，以及产品的性能是否满足用户的要求。
  软件的黑盒测试意味着测试要在软件的接口处进行，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书和用户手册，检查程序的功能是否符合它的功能说明，以及性能是否满足用户的要求。因此黑盒测试又叫功能测试或数据驱动测试。
黑盒测试主要是为了发现以下几类错误：

1. 是否有不正确或遗漏的功能？
2. 在接口上，输入是否能正确的接受？能否输出正确的结果？
3. 是否有数据结构错误或外部信息（例如数据文件）访问错误？
4. 性能上是否能够满足要求？
5. 是否有初始化或终止性错误？ 

1.2 白盒测试

白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。
  软件的白盒测试是对软件的过程性细节做细致的检查，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。
白盒测试需要对程序模块进行如下检查：

1. 保证一个模块中的所有独立路径至少被使用一次。
2. 对所有逻辑值均测试true和false。
3. 在循环的边界和运行的界限内执行循环体。
4. 检查内部数据结构以确定其有效性。

 

2.测试技术

2.1 白盒测试技术

白盒测试对象基本上是源程序，是以程序的内部逻辑为基础的一种测试方法。
白盒测试方法又可分为静态测试和动态测试。
  静态测试是一种不通过执行程序而进行测试的技术，其关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。它瞄准的是纠正软件系统在描述、表示和规格上的错误，是任何进一步测试的前提。
  动态测试需要软件的执行，当软件系统在模拟的或真实的环境中执行之前、之中和之后。对软件系统行为的分析是动态测试的主要特点，它显示了一个系统在检查状态下是正确还是不正确。

2.1.1 静态测试

  最常见的静态测试是找出源代码的语法错误，这类测试可由编译器来完成，因为编译器可以逐行分析检验程序的语法，找出错误并报告。除此之外，测试人员须采用人工方法来检验程序，有些地方存在非语法方面的错误，只能通过人工检测的方法来判断。
  人工检测的方法主要有代码检查法、静态结构分析法等。
<1>代码检查法

代码检查法主要是通过桌面检查，代码审查和走查方式，对以下内容进行检查。

1. 检查代码和设计的一致性；
2. 代码的可读性以及对软件设计标准的遵循情况；
3. 代码逻辑表达的正确性；
4. 代码结构的合理性；
5. 程序中不安全、不明确和模糊的部分；
6. 编程风格方面的问题等。

桌面检查：桌面检查是一种传统的检查方法，由程序员检查自己编写的程序。程序员在程序通过编译之后对源代码进行分析、检验，并补充相关的文档，目的是发现程序中的错误。

代码审查：代码审查是由一组人通过阅读、讨论和争议对程序进行静态分析的过程，以小组会的方式进行。
代码走查：代码走查就是针对代码，在假想的输入情况下，逐行的浏览代码，走查代码中发现潜在的缺陷并记录结果的过程。
<2>静态结构分析法
  在静态结构分析中，测试人员通常通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图等各种图形、图表，清晰地标识整个软件的组成结构。

  通过分析这些图表，包括控制流分析、数据据流分析、接口分析、表达式分析等，使其便于阅读与理解，然后可以通过分析这些图表，检查软件有没有存在缺陷或错误。
静态结构分析法通常采用以下一些方法进行源程序的静态分析：

• 通过生成各种图表，来帮助对源程序的静态分析。
• 静态错误分析

常用的各种引用表主要有(5个)：
① 标号交叉引用表：列出在各模块中出现的全部标号，并标出标号属性。
② 变量交叉引用表：变量定义与引用表。
③ 子程序（宏、函数）引用表：列出各个子程序、宏和函数属性，参数表。
④ 等价表：列出在等价语句或等值语句中出现的全局变量和标号。
⑤ 常数表：列出全部数字常数和字符常数，并指出它们在哪些语句中首先被定义。

常用的各种关系图、控制流图主要有：
① 函数调用关系图：列出所有函数，用连线表示调用关系，通过应用程序各函数之间的调用关系展示系统的结构。
② 模块控制流图：由许多结点和连接结点的边组成的图形，其中每个结点代表一条或多条语句，边表示控制流向，可以直观地反映出一个函数的内部结构。
静态错误分析主要用于确定在源程序中是否有某类错误或“危险”结构。
① 类型和单位分析（发现数据类型错误和单位的不一致。）
② 引用分析（变量在赋值前被引用，在赋值后未被引用，都是引用异常，需要检查程序的每一条路径，采用深度优先遍历方法。）
③ 表达式分析（表达式中的错误，如不正确的使用括号，数组下标越界，除数为0，对负数开平方等。）
④ 接口分析（模块间接口的一致性和模块与外部数据库之间的接口的一致性。）

2.1.2 程序插桩技术

  程序插桩方法是借助往被测程序中插入操作，来实现测试目的的方法，即向源程序中添加一些语句，实现对程序语句的执行、变量的变化等情况进行检查。

  想要了解一个程序在某次运行中所有可执行语句被覆盖的情况，或是每个语句的实际执行次数，最好的办法是利用插桩技术。

下面是一个插桩实例：

上图计算整数X和整数Y的最大公约数的程序流程图，其中虚线的部分就是插桩的地方。

设计插桩程序时需要考虑的问题（4个）：

1. 探测哪些信息；
2. 在程序的什么部位设置探测点；
   1. 程序块的第一个可执行语句之前
   2. for，do while等循环语句处
   3. if，else if等条件语句各分支处
   4. 输入输出语句之后
   5. 函数、过程、子程序调用语句之后
   6. return语句之后
   7. goto语句之后
3. 需要设置多少个探测点；（一般情况下，在没有分支的程序段中只需一个计数语句，但如果程序中出现了多种控制结构，则要设计最少的计数语句完成相应的测试要求。）
4. 程序中特定部位插入某些用以判断变量特性的语句。（这些判断变量特性的语句称为断言语句，通过断言语句的执行，使得程序的运行特性得到证实。）

2.1.3 逻辑覆盖

  逻辑覆盖是以程序内部的逻辑结构为基础的测试技术，是通过对程序逻辑结构的遍历实现程序的覆盖，这一方法要求测试人员对程序的逻辑结构有清楚的了解。
  从覆盖源程序语句的详细程度分析，逻辑覆盖标准有语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖。
示例程序一：

function js(float A,float B,float X){
	if(A>1&&B=0) X=X/A;
	if(A=2||X>1) X=X+1;
}

其流程图为：