、《第三版》数据流分析

大多数程序功能都是由数据表示的。 代表数据的变量接收值并用于计算其他变量的值。

数据流测试通常侧重于定义/引用异常故障分析。

1. 变量已定义但从未使用。

2.使用未定义的变量

3.变量使用前重新定义

以上都是常见编程错误的表现，例如拼写错误的名称、混淆的名称或缺少语句。

让我们从最简单的开始。 首先，程序中每条语句的行数称为节点。 变量的赋值称为定义变量。 当一个变量被使用时，它被称为已使用变量。

假设有下面的程序，这个程序很简单，只是一个例子。

1 类{

2 无效主([]args){

3 int x,y,z,k；

5×=1；

6 y = 2；

7k = 3；

8 如果( x > y ) {

9 z = x；

10.输出（z）；

11}其他{

12 z = y；

13.输出（z）；

14}

15}

16}

该程序有16行，16个节点，因此可以生成如下图标

定义变量的节点和使用变量的节点

x 58,9

68,12

9,1210,13

k 7 无

这样，通过表格，我们可以清楚地看到程序中的每个变量是什么时候定义的，什么时候使用的。 如果一个变量只定义了没有使用，或者没有定义就直接使用，这样的问题很容易发现，就像例子中的变量k，只定义了没有使用。

数据流分析的指标有很多，以上只是最粗浅的知识。