[发明专利]一种程序检测方法及装置

权利要求书

1.一种程序检测方法，其特征在于，应用于无线通信网络中的网络节点；所述方法包括：

网络节点中运行的程序接收其他网络节点下发的无线控制指令，其中，所述程序预先被设置有第一动态标签，所述程序由n个基本块构成，每一基本块被设置有第一静态标签和第二静态标签，所述第一静态标签为用于标识当前基本块的信息且属于n+1位的二进制数据的第一数据值，所述第二静态标签为用于标识当前基本块的后继基本块的信息且属于n+1位的二进制数据的第二数据值，所述第一动态标签为属于n+1位的二进制数据的第三数据值且初始化时全置为1，当前基本块的后继基本块为：程序执行过程中当前基本块相邻的下一基本块；

在执行第一基本块的入口指令之前，将所述第一基本块的第一静态标签和当前的第一动态标签进行逻辑与运算，得到第一类运算结果，所述第一基本块为所述程序中n个基本块中的与响应所接收到的指令相关的任一基本块；

判断所述第一类运算结果是否为0，如果是，确定所述程序出现属于节点内部发生的控制流错误，否则，

根据所述第一类运算结果更新当前的第一动态标签；

在执行所述第一基本块的出口指令之前的预定位置的指令之前，将当前的第二动态标签和当前的第一动态标签进行逻辑或运算，得到第二类运算结果，根据所述第二类运算结果更新当前的第二动态标签，其中，所述第二动态标签为预先为所述程序设置的，且所述第二动态标签为属于n+1位的二进制数据的第四数据值且初始化时全置为0；

在执行所述第一基本块的出口指令之前，判断所述第一基本块是否为特殊基本块，如果判断出所述第一基本块为特殊基本块，则判断当前的第二动态标签是否等于所述第一基本块的指令标签，若否，确定所述程序出现属于通信过程中的控制流错误，若是，在执行完出口指令后初始化当前的第二动态标签，其中，所述特殊基本块为用于执行动作的基本块，所述指令标签用于预存其他网络节点所下发的所述无线控制指令在程序中执行到最终输出时所经历路径，伴随所述无线控制指令的到来而插入到基本块中，且属于n+1位的二进制数据的第五数据值；当执行完毕所述第一基本块的出口指令时，判断所述第一基本块是否为与所述无线控制指令相关的最后一个基本块，如果是，初始化当前的第一动态标签，如果否，根据所述第一基本块的第二静态标签更新当前的第一动态标签，并将所述无线控制指令所关联的基本块中的下一基本块作为第一基本块，继续执行所述在执行第一基本块的入口指令之前，将所述第一基本块的第一静态标签和当前的第一动态标签进行逻辑与运算，得到第一类运算结果的步骤。

2.根据权利要求1所述的方法，其特征在于，所述第一静态标签的n+1位中，最高位为0，第i位为1，其余位均为0，其中，i为当前基本块在所有基本块中的顺序位；

所述第二静态标签的n+1位中，最高位为1，第m位为1，其余位为0，m为当前基本块的后继基本块在所有基本块中的顺序位；

所述指令标签的n+1位中，最高位为0，第j位为1，其余位为0，其中，j为所述无线控制指令在程序中执行到最终输出时所经历路径中的各个基本块在所有基本块中的顺序位。

3.根据权利要求1所述的方法，其特征在于，所述根据所述第一类运算结果更新当前的第一动态标签，包括：

将所述第一类运算结果的值，确定为当前的第一动态标签；

相应的，所述根据所述第二类运算结果更新当前的第二动态标签，包括：

将所述第二类运算结果的值，确定为当前的第二动态标签；相应的，所述根据所述第一基本块的第二静态标签更新当前的第一动态标签，包括：

将所述第一基本块的第二静态标签确定为当前的第一动态标签。