这周的实验内容是关于白盒测试的，所以这周的博客内容是关于白盒测试的内容总结。
白盒测试:又称结构测试，它一般用来测试程序的内部结构(Control Flow , Data Flow)。并判定其结果是否与预期的结果一致。
白盒测试的种类：静态分析测试（Static Analysis Test，Code Inspection）、语句分支覆盖测试（Ctrl Flow Test）等。
控制流覆盖准则：
1、语句覆盖准则
是最简单的结构性测试方法之一，它要求测试中，程序中的每条语句都得到运行。即，控制流图中的所有语句都被运行的充分必要条件是，覆盖图中的所有节点。
2、分支覆盖准则
分支覆盖要求在软件测试中，每个分支都至少获得一次真/假取值的经历。
3、谓词测试：原子谓词覆盖准则，分支-谓词覆盖准则，复合谓词覆盖准则
（1）原子谓词覆盖准则：测试数据集T称为原子谓词覆盖充分的，如果对任意一个分支中的任意一个原子谓词，T中存在一个测试数据使其在运行时为“真”、为“假”各一次。
（2）分支-谓词覆盖准则：测试数据集T称为分支－谓词覆盖充分的，如果对任意一个分支所包含的任意一个原子谓词，T中存在一个测试数据在运行时为真/假值至少各一次，并且任意一个复合谓词本身也至少获得真/假值各一次。
（3）测试数据集T称为复合谓词覆盖充分的，如果任意一个分支，对该分支所包含的原子谓词的任意一个可行的真/假值组合，T中都存在一个测试数据使该组合谓词运行时，原子谓词的取值恰好为该真/假值组合。即每个复合谓词内的原子谓词的各种可能的组合都至少出现一次。
4、路径覆盖准则
测试数据集T称为路径覆盖充分的，当且仅当LT覆盖了GP中的所有完整路径。
数据流测试：
这里的数据流测试，是数据交互功能测试，用作路径测试的“真实性检查”。它关注的是变量接收值的点和使用（引用）这些值的点的结构性测试形式。
数据流覆盖准则
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的子路径。