|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
把测试对象看做是一个打开的盒子，测试人员需了解程序的内部结构和处理过程，以检查处理过程的细节为基础，对程序中尽可能多的逻辑路径进行测试，检验内部控制结构和数据结构是否有错，实际的运行状态与预期的状态是否一致。由于白盒测试是结构测试，因此被测对象基本上是源程序，以程序的内部逻辑为基础设计测试用例。常用的白盒测试用例设计方法有基本路径测试、循环覆盖测试及逻辑覆盖测试等。
|
|
|
|
.逻辑覆盖：以程序内部逻辑为基础的测试技术，常用的有语句覆盖、判定覆盖、条件覆盖、判定／条件覆盖、条件组合覆盖、点覆盖、边覆盖和路径覆盖等。
|
|
|
|
|
|
.基本路径：在程序控制流程图的基础上，通过分析控制结构的环路复杂性导出基本路径集合，然后设计测试用例，保证这些路径都至少通过一次。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
任何复杂的算法，都可以由顺序结构、选择（分支）结构和循环结构这三种基本结构组成。流程图中，也仅以这三种基本结构作为"建筑单元"，遵守三种基本结构的规范，基本结构之间可以并列、相互包含，但不允许交叉，即不允许从一个结构直接转到另一个结构的内部去。正因为整个算法都是由三种基本结构组成的，就像用模块构建的一样，所以结构清晰，易于正确性验证及纠错。
|
|
|
|
（1）顺序结构。顺序结构是简单的线性结构，各框按顺序执行。其流程图的基本形态如下图所示，语句的执行顺序为：A→B→C。
|
|
|
|
|
|
|
|
（2）选择（分支）结构。这种结构是对某个给定条件进行判断，条件为真或假时分别执行不同的框的内容。其基本形状有两种，如下图(a)和下图(b)所示。下图(a)的执行序列为：当条件为真时执行A，当条件为假时执行B；下图(b)的执行序列为：当条件为真时执行A，当条件为假时什么也不做。
|
|
|
|
|
|
|
|
（3）循环结构。循环结构有while型循环和do…while型循环两种基本形态。
|
|
|
|
.while型循环：如下图所示。其执行序列为：当条件为真时，反复执行A，一旦条件为假，跳出循环，执行循环紧后的语句。
|
|
|
|
|
|
|
|
.do…while型循环：如下图所示。执行序列为：首先执行A，再判断条件，条件为真时，一直循环执行A，一旦条件为假，结束循环，执行循环紧后的下一条语句。
|
|
|
|
|
|
|
|
在上2图和上1图中，A被称为循环体，条件被称为循环控制条件。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
