[发明专利]一种构件间动态依赖关系的自动分析方法

权利要求书

1.一种构件间动态依赖关系的自动分析方法，其特征在于包括如下步骤：

1)静态分析阶段，构建程序的动态依赖自动机，所述动态依赖自动机包括状态，事件和转移，其中状态指程序在一个代码块中稳定不变的动态依赖关系，事件指可能引起程序的动态依赖关系发生变化的节点，转移是指当事件发生时，程序从一个状态转移到新的状态；

2)静态分析阶段，计算动态依赖自动机中的动态依赖关系的Future信息，所述动态依赖关系包括Future信息和Past信息，其中Future信息是指程序在当前执行环境下，将来可能使用的构件集合，Past信息则指其过去使用过的构件集合；

3)静态分析阶段，将已经分析出的动态依赖自动机和驱动动态依赖自动机正确自动运行的触发信息插入原程序中；

4)动态分析阶段，当程序运行时，其对应的动态依赖自动机在触发信息的驱动下自动运行，同时自适应地获得当前执行环境下的动态依赖关系。

2.根据权利要求1所述的一种构件间动态依赖关系的自动分析方法，其特征在于所述步骤1)中构建程序的动态依赖自动机的具体步骤为：

1.1)构建程序的控制流图；

1.2)在程序的控制流图上，采用深度优先的搜索算法，从程序的入口节点开始，递归地分析每个节点；同时，初始化动态依赖自动机的初始状态作为当前状态。

3.根据权利要求2所述的一种构件间动态依赖关系的自动分析方法，其特征在于所述步骤1.2)中分析节点的具体步骤为：

遇到可能引起程序的动态依赖关系发生变化的节点，则执行以下步骤：

1.2.1)动态依赖自动机生成一个新状态，表示该节点执行后的动态依赖关系，并将当前状态、对应事件和新状态用转移关系连接，并将新状态作为当前状态；

1.2.2)在原程序该节点后插入包含该事件信息的触发状态跳转的语句。

4.根据权利要求1所述的一种构件间动态依赖关系的自动分析方法，其特征在于所述步骤2)中计算动态依赖关系中的Future信息的具体步骤为：

2.1)对动态依赖自动机中的每个转移，将转移之前的状态的动态依赖关系的Future信息更新为转移之前状态的动态依赖关系、触发转移的事件使用的构件与转移之后的状态的动态依赖关系的Future信息三者的并集；

2.2)重复2.1)的步骤，直到所有状态的动态依赖关系的Future信息不发生变化为止，此时得到了包含动态依赖关系的Future信息的动态依赖自动机。

5.根据权利要求2所述的一种构件间动态依赖关系的自动分析方法，其特征在于所述步骤3)的具体步骤为：

3.1)在原程序的注释中插入所述步骤2)得到的动态依赖自动机。

6.根据权利要求1所述的一种构件间动态依赖关系的自动分析技方法，其特征在于所述步骤4)的具体步骤为：

4.1)程序运行时，其对应的动态依赖自动机从初始状态开始运行，同时初始化此时的动态依赖关系中的Past信息为空.

4.2)每执行步骤3)插入的触发信息，则触发程序自适应地从当前状态转移到下一状态，同时更新程序当前的动态依赖关系。

7.根据权利要求6所述的一种构件间动态依赖关系的自动分析技方法，其特征在于所述步骤4.2)中执行更新的具体步骤为：

4.2.1)新状态的动态依赖关系中的Future信息为搜索包含Future信息的动态依赖自动机，根据当前状态找到经该触发信息转移到的下一状态，该下一状态的内容即为新状态的Future信息；

4.2.2)新状态的动态依赖关系中的Past信息更新为当前状态的Past信息与触发状态转移的事件使用的构件的并集。