白盒测试
测试中的图
图是由节点和边构成的集合；其中，节点是有穷非空集合；
节点：
假设图只有一个初始节点和一个终止节点；
若实际图中有多个初始节点，则通过添加一个呀节点，使其指向所有的初始节点，并把呀节点重新规定为初始节点，从而把图归结为一个初始节点；
若实际图中有多个终止节点，也可通过添加呀节点方法使图只有一个终止节点；
测试路径是从初始节点到终止节点的路径；表达测试的执行；
注意：
相同的测试路径可能会被不同的测试执行，即不同的测试输入，其测试路径是一样的；
有些测试路径是不会被任何测试执行；
一条测试只能执行一条测试路径；
path(t)表示测试t执行的测试路径；path(T)表示测试用例集T中所有测试用例执行的测试路径集合；
图覆盖准则
可达：
语法可达：在语法构建的图结构中存在一条路径可到达子图；
语义可达：在实际程序中存在一条测试可到达子图；
覆盖：
某个节点在一条测试路径内，称该测试路径覆盖该节点；
某条边在一条测试路径内，称该测试路径覆盖该边；
某条子路径在一条测试路径内，称该测试路径覆盖该子路径；
结构覆盖：
仅关注图的点和边，不关心里面内容（源代码、需求文档、设计图）；
测试需求与测试准则：
测试需求：描述测试路径性质的定义；
测试准则：描述测试需求的规则；
结构化覆盖
顶点覆盖VC：
边覆盖EC：
满足边覆盖，则一定满足顶点覆盖；反之不然；
边对覆盖EPC：（相邻的两条bain）
完全覆盖CPC：
n路径覆盖nPC：VC(n=0), EC(n=1), EPC(n=2), CPC(n=无穷大)
控制流测试
把软件变成图的方法：控制流图
控制流图CFG：程序执行的流转过程；其中，顶点可以是语句、语句块、函数、模块等，边可以是顶点之间的流转、跳转等；
举例：代码的控制结构转换成控制流图
1 if语句
2 if-return语句
出现多个终止节点，通过添加一个呀节点，所有终止节点指向该呀节点，并将其作为终止节点，则构成一个起始节点、一个终止节点；
3 while语句
4 do-while语句
这是一个被压缩的控制流图；
也可在2节点后添加一个新节点，去控制while循环条件，更加清晰；
5 for语句
6 break和continue语句
7 switch语句
8 计算平均值与方差的函数
节点1表示初始化变量；节点2表示初始化变量i；节点3表示for循环的控制条件；节点4表示满足循环条件执行的循环体；
节点5表示不满足循环条件执行赋值语句，其实是两个节点的合并；节点6表示for循环的控制条件；节点7表示表组循环条件执行的循环体；
节点8表示不满足循环条件执行后续语句；
注意：实际应用中，我们不可能人工生成图结构；但可利用现有工具Soot产生控制流图；
数据流测试
数据流关注顶点上的操作是否正确；
数据流操作分为定义def（把变量值放入内存中，如赋值、初始化等）、使用use（如分支、判断、循环等）；
def(n) & def(e)：节点n和边e的定义变量；
use(n) &use(e)：节点n和边e的使用变量；
定义引用对（DU Pair）：控制对(li,lj)的两个地方构成DU对是指在前面li上定义，在后面lj上使用；
定义清晰（Def-clear）：li定义到lj使用的中间关于变量v没有重新定义过；
可达（Reach）：数据流的可达是指一条定义清晰的路径可以从li到lij；
定义引用路径（DU-Path）：定义清晰且简单的子路径；
定义引用路径覆盖准则：ADC（定义覆盖）、AUC（引用覆盖）、ADUPC（定义引用路径覆盖）；
举例：
Junit
Junit是Java单元测试框架；