白盒测试：又称结构测试，它一般用来测试程序的内部结构(Control Flow , Data Flow)。并判定其 结果是否与预期的结果一致。
百合测试的种类：静态分析测试（Static Analysis Test，Code Inspection）、语句分支覆盖测试 （Ctrl Flow Test）等。
一. 控制流测试：
1. 基本概念：
有向图与流程图：
2. 控制流覆盖准则：
(1) 语句覆盖准则：
是最简单的结构性测试方法之一，它要求测试中，程序中的每条语句都得到运行。即，控制流图中的所有语句都被运行的充分必要条件是，覆盖图中的所有节点。
测试数据集T称为语句覆盖充分的，当且仅当LT覆盖了GP中的所有节点。NODE(LT)为路径集合LT中所覆盖的GP中的节点的集合。 NG 是GP 中所有节点的集合。
(2) 分支覆盖准则：
分支覆盖要求在软件测试中，每个分支都至少获得一次真/假取值的经历。
测试数据集T称为分支覆盖充分的，当且仅当LT覆盖了GP中的所有有向边。EDGE(LT)为路径集合LT中所覆盖的GP中的有向边的集合, EG 是GP 中所有边的集合。
(3) 谓词测试：
一个分支的条件是由谓词组成。单个谓词称为原子谓词。
例如前面的例子中的 a!=0、mid>0等。原子谓词通过逻辑运算符的连接构成复合谓词。
1.原子谓词
2.分支谓词
3.复合谓词
(4) 路径覆盖准则：
测试数据集T称为路径覆盖充分的，当且仅当LT覆盖了GP中的所有完整路径。让EP(GP)为控制流图中的所有完整路径的集合。
二. 数据流测试：
1. 基本概念：
变量的定义性出现：若一个变量在程序中的某处出现使数据与该变量相绑定，则称该出现是定义性出现。
2. 数据流覆盖准则：
(1)定义覆盖测试准则
测试数据集T对测试程序P满足定义覆盖准则，如果对具有数据流信息的控制流图GP中的每一个变量x的每一个定义性出现，若该定义性出现能够可行地传递到该变量的某一个引用性出现，那么LT中存在一条路径A，它包含一条子路径A’，使得A’将该定义出现传递到某一引用性出现。
(2)引用覆盖测试准则
测试数据集T对测试程序P满足引用覆盖准则，如果对具有数据流信息的控制流图GP中的每一个变量x的每一个定义n，以及该定义的每一个能够可行地传递到的引用n’，LT中都存在一条路径A，它包含一条子路径A’，使得A’将n传递到n’。
(3)定义－引用覆盖测试准则
定义－引用覆盖测试准则：测试数据集T对测试程序P满足定义－引用覆盖准则，如果对具有数据流信息的控制流图GP中的任意一条从定义传递到其引用的路径A，若A是无回路的或A是简单回路，那么LT中存在一条路径B，使得A是B的子路径。
3. 程序插桩（VC里用于断言(ASSERTION)检测的程序插桩）
三. 白盒测试工具:
静态：
1.代码审查 2.一致性检查
3.错误检查 4.接口分析
5.输入/输出规格说明分析检查
6.数据流分析 7.类型分析
8.单元分析 9.复杂度分析
动态：
1.功能确认与接口测试
2.覆盖测试
以上就是关于白盒测试的相关内容。在下一篇博客中将会给出一个在Win8环境下对商店应用的白盒测试，会向西的介绍如火如荼使用VS进行白盒测试。