控制流覆盖准则分为四类：
1.语句覆盖准则(Statement Coverage)
2.分支覆盖准则(Branch Coverage 或Decision Coverage)
3.谓词测试
（1）原子谓词覆盖准则(也称 Condition Coverage)
（2）分支－谓词覆盖准则(也称Branch Condition Coverage 或Decision Condition Coverage )
（3）复合谓词覆盖准则(也称Multi Condition Coverage)
4.路径覆盖准则(Path Coverage)
1.语句覆盖准则
是最简单的结构性测试方法之一，它要求测试中，程序中的每条语句都得到运行。控制流图中要求所有语句都被运行的充分必要条件是，覆盖图中的所有节点。
2.分支覆盖准则
（1）分支覆盖要求在软件测试中，每个分支都至少获得一次真/假值，即每个分支都经历一次真/假
（2）分支覆盖的同时，还满足了语句覆盖。
3.谓词测试
（1）原子谓词覆盖准则
一个分支的条件是由谓词组成。单个谓词称为原子谓词。
原子谓词测试要求在软件测试中，每个复合谓词所包含的每一个原子谓词都至少获得一次“真”值和一次“假”值。
（2）分支－谓词覆盖准则
要求在软件测试中，不仅每个复合谓词所包含的每个原子谓词都至少获得一次真/假。每个复合谓词本身也至少获得一次“真”/“假”。
（3）复合谓词覆盖准则
原子谓词通过逻辑运算符的连接构成复合谓词。常见的逻辑运算符 与，或，非。
任意一个分支，对该分支所包含的原子谓词的任意一个可行的真/假值组合，即每个复合谓词内的原子谓词的各种可能的组合都至少出现一次。
4.路径覆盖准则
要求程序覆盖所有完整路径。
数据流测试：
这里的数据流测试，是数据交互功能测试，用作路径测试的“真实性检查”。
它关注的是变量接收值的点和使用（引用）这些值的点的结构性测试形式。
数据流覆盖测试准则：
测试数据集T对测试程序P满足定义覆盖准则，如果对具有数据流信息的控制流图GP中的每一个变量x的每一个定义性出现，若该定义性出现能够可行地传递到该变量的某一个引用性出现，那么LT中存在一条路径A，它包含一条子路径A’，使得A’将该定义出现传递到某一引用性出现。