数据流测试（Data Flow Testing）

数据流测试用于分析程序中数据的流动。它是收集有关变量如何在程序中流动数据的信息的过程。它试图获取过程中每个特定点的特定信息。

数据流测试是一组测试策略，用于检查程序的控制流，以便根据事件的顺序探索变量的顺序。它主要关注分配给变量的值的点和使用这些值的点，通过集中在这两个点上，可以测试数据流。

数据流测试使用控制流图来检测可能中断数据流的不合逻辑的事情。由于以下原因，在值和变量之间关联时检测到数据流中的异常：

• 如果在没有初始化的情况下使用变量。
• 如果初始化的变量至少没有使用一次。

让我们通过一个例子来理解这一点：

在这段代码中，我们总共有 8 个语句，我们将选择一个覆盖所有 8 个语句的路径。正如代码中很明显的那样，我们不能在一条路径中覆盖所有语句，因为如果语句 2 为真，则语句 4、5、6、7 未覆盖，如果语句 4 为真，则语句 2 和 3 未覆盖.

因此，我们采用两条路径来涵盖所有语句。

1. x= 1
Path - 1, 2, 3, 8

Output = 2

当我们首先将 x 的值设置为 1 时，它会在第 1 步读取并分配 x 的值（我们在路径中取了 1）然后出现了语句 2（x>0（我们在路径中取了 2））这是真的，它出现在语句 3（a= x+1（我们在路径中取 3））最后它出现在语句 8 中以打印 x 的值（输出为 2）。

对于第二条路径，我们取 x 的值为 1

2. Set x= -1
Path = 1, 2, 4, 5, 6, 5, 6, 5, 7, 8

输出 = 2

当我们将 x 的值设置为 ?1 时，首先，它在第 1 步读取并分配 x 的值（我们在路径中取了 1）然后进入第 2 步，这是错误的，因为 x 不大于 0 （x>0 并且它们的 x=-1）。由于条件错误，它不会出现在语句 3 上并直接跳转到语句 4（我们在路径中取了 4）并且 4 为真（x<=0 并且它们的 x 小于 0）然后出现在语句 5（x< 1（我们在路径中取了 5））这也是真的，所以它会出现在语句 6（x=x+1（我们在路径中取了 6））并且这里 x 增加了 1。

所以，

x=-1+1 
x=0

x 的值变为 0。现在转到语句 5（x<1（我们在路径中取 5）），值为 0，并且 0 小于 1，所以，这是真的。来吧语句 6（x=x+1（我们在路径中取了 6））

x=x+1 
x= 0+1 
x=1

x 变为 1 并再次进入语句 5（x<1（我们在路径中取了 5）），现在 1 不小于 1，所以，条件为假，它会变成 else 部分意味着语句 7（a=x +1 其中 x 的值为 1) 并将值分配给 a (a=2)。最后，它出现在语句 8 上并打印值（输出为 2）。

为代码建立关联：

Associations

在关联中，我们列出了所有定义及其所有用途。

(1, (2, f), x), (1, (2, t), x), (1, 3, x), (1, (4, t), x), (1, (4, f), x), (1, (5, t), x), (1, (5, f), x), (1, 6, x), (1, 7, x), (6,( 5, f)x), (6,(5,t)x), (6, 6, x), (3, 8, a), (7, 8, a)。

如何在数据流测试中建立关联

• (1, (2, t), x), (1, (2, f), x)-这种关联是由语句 1（读取 x;）和语句 2（If(x>0)) 构成的，其中 x 是在第 1 行定义，并在第 2 行使用，因此 x 是变量。 陈述 2 是合乎逻辑的，它可以是对的，也可以是错的，这就是为什么以两种方式定义关联的原因；一个是 (1, (2, t), x) 表示真，另一个是 (1, (2, f), x) 表示假。
• (1, 3, x)-这种关联由语句 1（读 x;）和语句 3（a= x+1）构成，其中 x 在语句 1 中定义并在语句 3 中使用。它是一种计算用途。
• (1, (4, t), x), (1, (4, f), x)-这种关联是由语句 1（读取 x;）和语句 4（If(x<=0)) 构成的，其中 x在第 1 行定义并在第 4 行使用，因此 x 是变量。陈述 4 是合乎逻辑的，它可以为真或为假，这就是为什么以两种方式定义关联的原因，一种是 (1, (4, t), x) 表示真，另一种是 (1, (4, f), x)为假。
• (1, (5, t), x), (1, (5, f), x)-这种关联是由语句 1（读取 x;）和语句 5（如果（x<1））构成的，其中 x 是在第 1 行定义，并在第 5 行使用，因此 x 是变量。 陈述 5 是合乎逻辑的，它可以是对的，也可以是错的，这就是为什么以两种方式定义关联；一个是 (1, (5, t), x) 表示真，另一个是 (1, (5, f), x) 表示假。
• (1, 6, x)-这种关联是由语句 1（读取 x;）和语句 6（x=x+1）构成的。x 在语句 1 中定义并在语句 6 中使用。它是一种计算用途。
• (1, 7, x)-这种关联是由语句 1（读取 x）和语句 7（a=x+1）构成的。x 在语句 1 中定义，当语句 5 为假时，在语句 7 中使用。它是一种计算用途。
• (6, (5, f) x), (6, (5, t) x)-这种关联是由语句 6 (x=x+1;) 和语句 5 if (x<1) 构成的，因为 x 已定义在陈述 6 中并在陈述 5 中使用。陈述 5 是合乎逻辑的，它可以为真或为假，这就是为什么以两种方式定义关联的原因，一种是 (6, (5, f) x) 表示真，另一种是 (6, (5, t) x) 为假。这是一种预测用途。
• (6, 6, x)-这种关联是用语句 6 建立的，语句 6 使用变量 x 的值，然后定义 x 的新值。 x=x+1 x= (-1+1) 语句 6 使用变量 x 的值为 ?1，然后定义 x [x= (-1+1) = 0] 的新值，即 0。
• (3, 8, a)-这种关联由语句 3(a= x+1) 和语句 8 构成，其中变量 a 在语句 3 中定义并在语句 8 中使用。
• (7, 8, a)-这种关联由语句 7(a=x+1) 和语句 8 构成，其中变量 a 在语句 7 中定义并在语句 8 中使用。

定义，c-use, p-use, c-use some p-use coverage, p-use some c-use coverage in data flow testing

接下来的任务是将Definition、c-use、p-use、c-use some p-use coverage、p-use some c-use coverage类别中的所有关联分组。

请参阅下面的代码：

所以，这些是包含定义，谓词使用（p-use），计算使用（c-use）的所有关联

(1, (2, f), x), (1, (2, t), x), (1, 3, x), (1, (4, t), x), (1, (4, f), x), (1, (5, t), x), (1, (5, f), x), (1, 6, x), (1, 7, x), (6,( 5, f)x), (6,(5,t)x), (6, 6, x), (3, 8, a), (7, 8, a), (3, 8, a), (7, 8, 一)

定义

变量的定义是当值绑定到变量时变量的出现。在上面的代码中，值在第一个语句中被绑定，然后开始流动。

• If(x>0) 是语句 2，其中 x 的值与其绑定。 语句 2 的关联是 (1, (2, f), x), (1, (2, t.)
• a= x+1 是以 x 值为界 的语句 3 语句 3 的关联是 (1, 3, x)

所有定义覆盖

(1, (2, f), x), (6, (5, f) x), (3, 8, a), (7, 8, a)。

谓词使用（p-use）

如果变量的值用于决定执行路径，则认为是谓词使用（p-use）。在控制流语句中有两个

语句 4 if (x<=0) 是谓词用途，因为它可以将谓词设为真或假。如果为真则 if (x<1),6x=x+1; 否则将执行执行路径，否则将执行路径。

计算用途（c-use）

如果变量的值用于计算输出值或定义另一个变量。

Statement 3 a= x+1 (1, 3, x) Statement 7 a=x+1 (1, 7, x) Statement 8 print a (3, 8, a), (7, 8, a).

这些是计算用途，因为 x 的值用于计算而 a 的值用于输出。

All c-use coverage

(1, 3, x), (1, 6, x), (1, 7, x), (6, 6, x), (6, 7, x), (3, 8, a), (7 , 8, a)。

All c-use some p-use coverage

(1, 3, x), (1, 6, x), (1, 7, x), (6, 6, x), (6, 7, x), (3, 8, a), (7 , 8, a)。

All p-use some c-use coverage

(1, (2, f), x), (1, (2, t), x), (1, (4, t), x), (1, (4, f), x), (1 , (5, t), x), (1, (5, f), x), (6, (5, f), x), (6, (5, t), x), (3, 8 , a), (7, 8, a)。

收集这些组后，（通过检查每个点变量是否至少使用一次）测试人员可以看到所有语句和变量被使用。代码中没有使用但存在的语句和变量，会从代码中删除。