[发明专利]基于多人图形建模的流程图函数栈结构识别方法及系统

权利要求书

1.基于多人图形建模的流程图函数栈结构识别方法，其特征在于包括如下步骤：

A：开始，为每个节点添加属性InStack，判断当前节点是否有返回，如果是，属性InStack赋值false，结束，如果否，属性InStack赋值true；

B：判断节点是否可达，如果否，结束，如果是，判断当前节点的类型；

C：根据当前节点的类型，判断软件流程图函数栈中的节点类别，识别确定节点结构；

D：根据节点结构识别整个函数栈结构，结束，

在步骤C中，对当前节点和栈中节点的处理过程包括：

C1：判断当前节点是否为处理节点，如果是，执行步骤C2，如果否，执行步骤C3；

C2：判断栈中节点是否为判断节点，如果是，该判断节点为while/for结构，如果否，执行步骤C4；

C3：判断当前节点是否为判断节点，如果否，执行步骤C4，如果是，执行步骤C5；

C4：识别当前节点为选择节点或者能够选择返回两个判断节点的判断节点，结束；

C5：判断栈中节点是否为处理节点，如果是，两个节点构成do-while结构，结束，如果否，执行步骤C6；

C6：判断栈中节点是否为判断节点，如果是，在从栈中节点遍历到当前节点时，根据知结构的其中一个判断节点识别另外一个判断节点的结构，结束，如果否，则对当前节点和栈中出现的判断节点构建关系WR，并根据已知结构的其中一个判断节点识别另外一个判断节点的结构，结束，

其中，关系WR定义为：如果判断节点N的一个儿子M在递归栈中，且M也为判断节点，则建立关系WR←(N is Bottom,M is Top)。

2.根据权利要求1所述的基于多人图形建模的流程图函数栈结构识别方法，其特征在于：在步骤C4中，如果一个节点的所有分支都遍历完，该节点仍然没有被识别，则当前节点为选择节点或能够选择返回两个判断节点的判断节点。

3.根据权利要求2所述的基于多人图形建模的流程图函数栈结构识别方法，其特征在于：当前节点为能够选择返回两个判断节点的判断节点X2时，如果栈中存在判断节点X0和X1，并且判断节点在递归调用时，能够选择返回执行判断节点X0或者判断节点X1，那么判断节点X2的结构被识别为关系WR：Bottom，那么此时X2的结构就能够被识别为do-while结构。

4.根据权利要求1所述的基于多人图形建模的流程图函数栈结构识别方法，其特征在于：在步骤C6中，如果栈中节点为判断节点，那么，

假设软件流程图的结构为：判断节点X0的儿子为处理节点A，处理节点A的儿子为判断节点X1，判断节点X1根据判断返回父节点A或判断节点X0执行，当判断节点X0达到一定条件时，结束循环返回，此时，在从判断节点X1遍历到判断节点X0时，判断节点X1被识别为do-while结构，那么判断节点X0则为while结构；

假设软件流程图的结构为：判断节点X0的儿子为处理节点A和判断节点X1，处理节点A处理后返回判断节点X0，判断节点X1根据判断返回判断节点X0或结束循环返回，此时，在从判断节点X1遍历到判断节点X0时，判断节点X0被识别为while结构，那么判断节点X1则为do-while结构；

假设软件流程图的结构为：判断节点X0的儿子为判断节点X1，判断节点X1的儿子为处理节点A或返回判断节点X0，处理节点A返回判断节点X1，当判断节点X0达到一定条件时，结束循环返回，此时，在从判断节点X1遍历到判断节点X0时，判断节点X1被识别为while结构，那么判断节点X0也为while结构。