[5]白盒测试方法2—图覆盖准则

学习图覆盖准则需要了解一些其他基本概念。

可达：从某一个结点开始存在一条路径可达子图。
可达包括两个方面：语法可达和语义可达。
语法可达：通过语法构建某种子图结构当中，存在一条路径可达到这个子图。
语义可达：指在实际的程序当中存在这么一个测试，可到到这个子图。

由可达的概念可以拓展到另外一个概念：覆盖

覆盖：指存在一条测试路径p可以覆盖到某个顶点v，即这个顶点v恰好在这个路径p里面

覆盖有：边覆盖，路径覆盖。
边覆盖：指存在一条测试路径p可以覆盖到某个边，这个边存在于这个p中
路径覆盖：测试路径p可以覆盖到子路径p’，即一个子路径p’恰好存在路径p中。

然后就是图覆盖了。图覆盖有结构覆盖、数据流覆盖。
在概念需要注意结构覆盖和数据流覆盖的区别，后面的学习记录会详细介绍这两者。
结构覆盖我们只关注所牵扯图的点和边。而数据流覆盖我们需要关注图中点上的变量的操作是否正确。

测试准则：
测试需求(TR)：用来描述测试路径性质的一些定义。
测试准则(TC)：指用来描述测试需求的一些规则。
测试准则TC派生出一个测试需求集TR，现有一个测试用例集T，满足上述的测试准则。
这其实就是指这个测试需求TR里面的每一个测试需求tr，都可以被这个大的测试用例集T中的某一个测试用例t所满足。