[发明专利]PLC程序及电机启停控制程序的静态切片方法和装置

权利要求书

1.一种PLC程序静态切片方法，其特征在于，包括：

建立PLC程序的输出变量依赖关系图；

确定所述输出变量依赖关系图的邻接矩阵；

确定所述邻接矩阵的可达矩阵，以获得PLC程序的输出变量之间的逻辑可达关系；

基于所述可达矩阵，确定影响指定输出变量的关联输出变量；

获取PLC程序中所述指定输出变量和所述关联输出变量所在的梯级，形成PLC程序对于所述指定输出变量的静态切片。

2.如权利要求1所述的PLC程序静态切片方法，其特征在于，PLC程序的输出变量依赖关系图包括多个子依赖关系图，

其中，每个子依赖关系图通过以下方式来确定：针对PLC程序的每个梯级，建立该梯级的输出变量的子依赖关系图。

3.如权利要求2所述的PLC程序静态切片方法，其特征在于，任一梯级的输出变量的子依赖关系图包括节点和边，

其中，每个节点为所述任一梯级中的输出变量，通过边将存在逻辑关联的两个节点进行连接，任一边的终止节点为与输出指令相结合的输出变量，所述任一边的起始节点为作为所述任一边的终止节点的输入的输出变量。

4.如权利要求3所述的PLC程序静态切片方法，其特征在于，所述任一梯级的输出变量的子依赖关系图还包括环，由与输出指令相结合的输出变量指向自身的有向边形成环。

5.如权利要求1所述的PLC程序静态切片方法，其特征在于，确定所述邻接矩阵的可达矩阵的步骤包括：

基于单位阵和所述邻接矩阵，计算中间矩阵；

通过将所述中间矩阵中的非零元素的取值替换为1，将零元素的取值保持不变，来获得所述邻接矩阵的可达矩阵。

6.如权利要求1所述的PLC程序静态切片方法，其特征在于，基于所述可达矩阵，确定影响指定输出变量的关联输出变量的步骤包括：

从所述可达矩阵中获取所述指定输出变量所在列的各元素的数值；

将数值为1的元素对应的输出变量确定为所述指定输出变量的关联输出变量。

7.如权利要求1所述的PLC程序静态切片方法，其特征在于，基于所述可达矩阵，确定影响指定输出变量的关联输出变量的步骤包括：

如果所述可达矩阵为全一矩阵，则确定影响指定输出变量的关联输出变量为PLC程序中包括的所有输出变量，其中，PLC程序对于所述指定输出变量的静态切片为PLC程序本身，

如果所述可达矩阵为单位阵，则确定影响指定输出变量的关联输出变量为所述指定输出变量，其中，PLC程序对于所述指定输出变量的静态切片为所述指定输出变量所在的梯级。

8.一种电机启停控制程序的静态切片方法，其特征在于，包括：

建立电机启停控制程序的输出变量依赖关系图；

确定所述输出变量依赖关系图的邻接矩阵；

确定所述邻接矩阵的可达矩阵，以获得电机启停控制程序的输出变量之间的逻辑可达关系；

基于所述可达矩阵，确定影响指定输出变量的关联输出变量；

获取电机启停控制程序中所述指定输出变量和所述关联输出变量所在的梯级，形成电机启停控制程序对于所述指定输出变量的静态切片。

9.如权利要求8所述的静态切片方法，其特征在于，电机启停控制程序的输出变量依赖关系图包括多个子依赖关系图，

其中，每个子依赖关系图通过以下方式来确定：针对电机启停控制程序的每个梯级，建立该梯级的输出变量的子依赖关系图。

10.如权利要求9所述的静态切片方法，其特征在于，任一梯级的输出变量的子依赖关系图包括节点和边，

其中，每个节点为所述任一梯级中的输出变量，通过边将存在逻辑关联的两个节点进行连接，任一边的终止节点为与输出指令相结合的输出变量，所述任一边的起始节点为作为所述任一边的终止节点的输入的输出变量。