程序死循环

问题

  编程结束了，我们的程序跑起来了。但是我们不知道其是否能终止，结果是否正确等等。我们面临着一系列的问题。
  死循环是一个非常让人反感的问题，它 有时候是站在程序正常运行的外表下，进行着错误的行为，有时候很久才能发现这个问题。（而在这个过程中也会造成很大的损失）
  容易造成损失的地方，人们就会尝试去解决这些问题。
  为了避免这样的问题，人们开发了一些检测的方法，用来检测程序中可能存在死循环的地方。
（这里主要指单线程）

死循环的本质

  一段程序，能够陷入死循环，是因为具备了一定的死循环的条件的。

• 【环的存在】对于一段代码，构造出其语句流程图，那么环如果存在是形成死循环的一个必要的条件。（图1）
• 【关键结点】在一个环中并不是所有的结点对于死循环的形成都是同等重要的。那些处在跳出循环以及进入循环处的结点十分重要。（比如说，while,for循环中的条件判断成分，决定了循环的走向，条件控制的错误将会导致死循环的产生）
  
  
  PS:
• 【借鉴意义】当我们去查找一个死循环的问题的时候，要从循环体中的关键结点（控制条件处）入手进行分析。
• 【数据流简化】死循环是循环的一种非正常方式，控制逻辑的错误是导致这种问题的主要原因。（通过分析与条件相关的数据流链，我们能够从数据流角度，进一步缩小分析的范围，筛选出不在这条数据流上的一些东西，简化）

图1：

简单举例

关于下面代码的相关说明：

• 【循环结构的存在】for结构的存在，决定了环路的存在。
• 【关键控制点】关键控制点为 i <data。这句话直接决定了循环能否跳出，是否会进入死循环。
• 【数据流跟踪】在进行数据流跟踪的时候，我们只关注与i，data直接相关 或者 间接相关的语句，所以我们可以在分析时不考虑输出语句：System.out.println(“the data is : ” + data);。所以我们定位到了data++这条语句。

    public static void testCycle(){
        int data = 5;
        for(int i=0;i<data;i++){//关键点1
            System.out.println("the data is : " + data);
            data++;//关键点2
        }
    }