[4]白盒测试方法1—测试中的图

图：点与边的集合构成图，其中包含一个初始结点和若干终点结点。
但在软件测试中的图，只有一个初始结点和一个终点结点。

路径：指点的序列，即两个相邻的点构成的一个边。

例如下图所示：
有效路径：[v1, v2, v4, v6]
无效路径：[v1, v2, v3, v6]，因为v2和v3之间没有有效边。

路径长度：指边的数量。

单点路径长度：（一个特殊的路径）长度为零。
1、 [v1, v2, v4, v6]：长度为3。
2、 [v2, v4, v6]：长度为2。
3、 [v1, v2, v6]：长度为2。

子路径：用个例子来说，上面的1,2,3中，2是1的子路径，3不是1的子路径，因为3中v2,v6中间断开了，同样[v3, v4, v6]也不是1的子路径。

下来看重点
图与测试的关系：

测试路径：从初始结点到终点路径的一条路径。这个概念值得注意的是测试路径必须从初始结点开始一直到终点结点结束。

上图中的路径有很多，但是测试路径只有四条：
p1: v1 v2 v4 v5 v7
p2: v1 v2 v4 v6 v7
p3: v1 v3 v4 v5 v7
p4: v1 v3 v4 v6 v7

测试路径的作用何在？
测试路径用来表达测试的执行。
需要注意的是：
1. 相同的测试路径可能会被不同的测试执行到，即不同的输入，但执行的测试路径是一致的。
2. 有些测试路径是不可行的。

测试与测试路径之间的关系：
在确定的环境下，一个测试会执行一条测试路径。
在非确定的环境下，相同的测试可能会执行到不同的测试路径。
当然，在软件测试中，采用的是前者。