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

说明书

本发明实施例公开了一种程序检测方法及装置，所述方法包括：预先对网络节点中运行的程序设置第一动态标签和第二动态标签，且所述程序预先被划分为多个基本块，每一基本块被设置有第一静态标签和第二静态标签，同时对下发的无线控制指令设置指令标签，进而，在响应无线控制指令的过程中，执行任一基本块时，基于两种静态标签和第一动态标签来判断是否出现属于节点内部错误类型的控制流错误，进一步的，在执行特殊基本块时，基于第二动态标签和指令标签还可以判断是否出现属于通信错误类型的控制流错误。应用本发明实例可有效检测网络节点中的程序在响应无线控制指令过程中所发生的控制流错误。

技术领域

本发明涉及无线通信领域，特别涉及一种程序检测方法及装置。

背景技术

随着无线通信技术的发展，无线传感器网络(Wireless Sensor Networks，WSNs)的应用越来越广泛，具体的，无线传感器网络是由部署在监测区域内大量网络节点相互通信形成的多跳自组织网络系统。

其中，无线传感器网络中的网络节点中运行的程序接收其他网络节点下发的无线控制指令后，可以执行相应的代码内容以响应该无线控制指令，但是，在响应无线控制指令过程中，可能会出现控制流错误。其中，控制流错误包括：节点内部发生的控制流错误和所下发的无线控制指令因为数据异变而引发的控制流错误，具体的，节点内部发生控制流错误的原因为：在恶劣的环境中，高能粒子等可能会瞬间改变部件(门电路、SRAM单元、锁存器等)，这些硬件中的瞬态故障会反映到软件中去，可能会引发数据位翻转、寄存器状态改变、存储指令错误、程序跑飞等不可预知的错误，这些错误会带来瞬态故障，进而瞬态故障导致程序中发生控制流错误；而对于所下发的无线控制指令因为数据异变而引发的控制流错误而言：网络节点的硬件发生错误，可能会引发所下发的无线控制指令异变，使得软件作出错误的动作。其中，所谓的该瞬态故障是一种由于外界环境导致的软故障，并不意味着网络节点出现了故障。

当然，在无线传感器网络以外的其他无线通信网络，如：无人机通信网络、工业控制网络中，网络节点在响应无线控制指令过程中也可能出现控制流错误。

那么，如何检测网络节点中的程序在响应无线控制指令过程中所发生的控制流错误，是一个亟待解决的问题。

发明内容

本发明实施例的目的在于提供一种程序检测方法及装置，以有效检测网络节点中的程序在响应无线控制指令过程中所发生的控制流错误。

为到达上述目的，本发明实施例公开了一种程序检测方法，应用于无线通信网络中的网络节点；所述方法包括：

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

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

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

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

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