CN113542062A - 一种配电物联网故障检测方法、装置、设备及存储介质 - Google Patents
一种配电物联网故障检测方法、装置、设备及存储介质 Download PDFInfo
- Publication number
- CN113542062A CN113542062A CN202110782814.5A CN202110782814A CN113542062A CN 113542062 A CN113542062 A CN 113542062A CN 202110782814 A CN202110782814 A CN 202110782814A CN 113542062 A CN113542062 A CN 113542062A
- Authority
- CN
- China
- Prior art keywords
- power distribution
- things
- distribution internet
- invariant
- fault detection
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/08—Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters
- H04L43/0805—Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters by checking availability
- H04L43/0817—Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters by checking availability by checking functioning
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/06—Management of faults, events, alarms or notifications
- H04L41/0631—Management of faults, events, alarms or notifications using root cause analysis; using analysis of correlation between notifications, alarms or events based on decision criteria, e.g. hierarchy, tree or time analysis
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/50—Testing arrangements
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L67/00—Network arrangements or protocols for supporting network services or applications
- H04L67/01—Protocols
- H04L67/12—Protocols specially adapted for proprietary or special-purpose networking environments, e.g. medical networks, sensor networks, networks in vehicles or remote metering networks
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Health & Medical Sciences (AREA)
- Computing Systems (AREA)
- General Health & Medical Sciences (AREA)
- Medical Informatics (AREA)
- Environmental & Geological Engineering (AREA)
- Remote Monitoring And Control Of Power-Distribution Networks (AREA)
Abstract
本发明公开了一种配电物联网故障检测方法、装置、设备及存储介质。该方法包括:运行由配电物联网源程序与故障检测代码编织而成的目标程序;其中,所述配电物联网中部署有目标传感器;所述故障检测代码是基于不变式检测生成的,用于根据所述目标传感器检测到的数据进行配电物联网故障检测;如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。本发明实施例的技术方案基于不变式检测实现了配电物联网的安全检测,解决了现有的配电物联网终端安全防护不够成熟的问题。
Description
技术领域
本发明实施例涉及配电物联网安全技术领域,尤其涉及一种配电物联网故障检测方法、装置、设备及存储介质。
背景技术
传感器作为系统感知信息和获取数据的重要设备,在生态环境监测、工农业生产监控乃至国防军工等领域都有广泛的应用。但由于传感器部署区域的不确定性以及设备资源的有限性,外界因素的干扰和破坏对传感器数据造成了不可靠性的问题,如何对传感器数据进行检测是一个亟需解决的问题。
当前针对传感器数据异常检测的研究集中于无线传感器网络(Wireless SensorNetwork,WSN)环境。在WSN环境下,为了提高系统整体的可用性,大量的无线传感器被分散部署在能量和带宽均受限的地区,这些传感器节点密集组网、相互协作地提供数据服务。在该环境下可以利用不同传感器节点数据流的时间与空间相关性进行异常检测。
但是将这些检测方法应用于配电物联网环境时,由于环境中部署的同类型传感器节点数量少,数据的空间相关性不足,基于空间相关性进行检测不仅增加方法的复杂度,而且检测效果也不理想。
发明内容
本发明实施例提供一种配电物联网故障检测方法、装置、设备及存储介质,以解决现有的配电物联网终端安全防护不够成熟的问题。
第一方面,本发明实施例提供了一种配电物联网故障检测方法,包括:
运行由配电物联网源程序与故障检测代码编织而成的目标程序;其中,所述配电物联网中部署有目标传感器;所述故障检测代码是基于不变式检测生成的,用于根据所述目标传感器检测到的数据进行配电物联网故障检测;
如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。
第二方面,本发明实施例还提供了一种配电物联网故障检测装置,该装置包括:
目标程序运行模块,用于运行由配电物联网源程序与故障检测代码编织而成的目标程序;其中,所述配电物联网中部署有目标传感器;所述故障检测代码是基于不变式检测生成的,用于根据所述目标传感器检测到的数据进行配电物联网故障检测;
故障检测模块,用于如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。
第三方面,本发明实施例还提供了一种计算机设备,包括:
一个或多个处理器;
存储器,用于存储一个或多个程序,
当所述一个或多个程序被所述一个或多个处理器执行,使得所述一个或多个处理器实现如本发明任一实施例所述的方法。
第四方面,本发明实施例还提供了一种计算机可读存储介质,其上存储有计算机程序,该程序被处理器执行时实现如本发明任一实施例所述的方法。
本发明实施例的技术方案通过判断目标传感器检测到的数据是否符合与故障检测代码对应的不变式规范,实现对配电物联网终端故障进行检测,解决了现有技术中配电物联网安全检测方法复杂度高且检测效果不理想的问题,提高了配电物联网终端安全性。
附图说明
图1是本发明实施例一中的一种配电物联网故障检测方法的流程图;
图2是本发明实施例二中的一种配电物联网故障检测方法的流程图;
图3是本发明实施例二中的配电物联网故障检测方法所适用的目标程序的生成原理示意图;
图4是本发明实施例二中的生成配电物联网故障检测方法所适用的目标程序时编织程序的流程示意图;
图5为本发明实施例三中的第一种配电物联网故障检测方法的流程图;
图6为本发明实施例三中的第二种配电物联网故障检测方法的流程图;
图7为本发明实施例三中的第三种配电物联网故障检测方法的流程图;
图8是本发明实施例四中的一种配电物联网故障检测装置的结构示意图;
图9是本发明实施例五中的一种计算机设备的结构示意图。
具体实施方式
下面结合附图和实施例对本发明作进一步的详细说明。可以理解的是,此处所描述的具体实施例仅仅用于解释本发明,而非对本发明的限定。另外还需要说明的是,为了便于描述,附图中仅示出了与本发明相关的部分而非全部结构。
实施例一
图1为本发明实施例一提供的一种配电物联网故障检测方法的流程图,本实施例可适用于对配电物联网中目标传感器的数据进行异常检测的情况,该方法可以由配电物联网故障检测装置来执行,该装置可采用硬件和/或软件的方式实现,并一般可以集成计算机设备中,具体包括如下步骤:
S110、运行由配电物联网源程序与故障检测代码编织而成的目标程序。
其中,所述配电物联网中部署有目标传感器;所述故障检测代码是基于不变式检测生成的,用于根据所述目标传感器检测到的数据进行配电物联网故障检测。
其中,配电物联网源程序指的是需要进行故障检测的配电物联网程序。
故障检测代码,指的是对配电物联网中部署的目标传感器所采集的数据进行检测以识别配电物联网是否存在故障的代码。其中,目标传感器可以是用于对配电物联网的相关环境参数进行检测的任意一种传感器,例如可以是湿度传感器或温度传感器等。
不变式,是一种典型的规范说明,可以应用于静态分析、程序验证、软件测试、断言测试等各个领域。在本实施例中,基于不变式检测生成故障检测代码,以通过对配电物联网中部署的目标传感器所采集的数据进行检测实现对配电物联网的故障识别。
在本实施例中,将配电物联网源程序与故障检测代码通过编织器进行编织后,得到目标程序。其中,所述编织器可以为AOP(Aspect Oriented Programming,面向切面编程)编织器。
通常,编织器可分为预编译和中间代码生成两个部分,预编译部分通过词法和语法分析来解析Aspect代码,并将其代码符号存储在符号表中;第二部分中间代码生成将以符号表为基础,将Aspect代码转换成与源代码混合的中间代码,最后由c语言编译器编译生成最后的代码,从而达到编织的目的。
S120、如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。
其中,不变式规范指的是使不变式符合逻辑,更加客观、真实、全面、完整且准确的一种规则。利用不变式规范可在不同情形下对执行程序进行判定约束,保证了方法的准确性。在本实施例中,主要是根据不变式规范对相关环境参数的检测程序进行判定。
在本实施例中,以目标传感器为温度传感器为例,若温度传感器采集到的温度数据符合不变式规范,则判定温度传感器所部署的配电物联网未发生故障;反之,判定温度传感器所部署的配电物联网发生故障。
本实施例的技术方案,在运行由配电物联网源程序与故障检测代码编织而成的目标程序时,基于与故障检测代码对应的不变式规范对配电物联网中部署的目标传感器检测到的数据进行判断,以实现对配电物联网故障的检测,解决了现有技术中配电物联网安全检测方法复杂度高且检测效果不理想的问题,提高了配电物联网终端的安全性。
实施例二
图2为本发明实施例二提供的一种配电物联网故障检测方法的流程图。本实施例以上述实施例为基础进行具体化,其中,在运行由配电物联网源程序与故障检测代码编织而成的目标程序之前,还包括:通过动态不变量检测工具为所述配电物联网源程序生成不变式集合;其中,所述动态不变量检测工具的输入为所述配电物联网源程序和对应的测试用例集;根据所述不变式集合生成不变式规约,并将所述不变式规约映射为故障检测代码;将所述故障检测代码编织至所述配电物联网源程序中,得到所述目标程序。
如图2所示,该方法包括以下具体步骤:
S210、通过动态不变量检测工具为所述配电物联网源程序生成不变式集合。
其中,所述动态不变量检测工具的输入为所述配电物联网源程序和对应的测试用例集。
其中,动态不变量检测工具是一种能够生成程序不变式的工具。在本实施例中,通过动态不变量检测工具可以为配电物联网源程序生成不变式集合。可选的,本实施例采用动态不变量检测工具Daikon为配电物联网源程序生成不变式集合。通过Daikon检测生成的不变式类型包括单变元不变式(即找出单个变元值所保持的约束),或者多个变元不变式(即找出多个变元值之间保持的关系)。Daikon主要利用蕴含和选言推理的思想推导不变式,就是先列举域之间的所有可能的不变式情况,然后用观察到的样本值一一排除。
利用Daikon自动生成用于配电物联网故障检测的不变式后,可以基于相应的不变式规范进行配电物联网故障检测。
其中,不变式规范主要有三种形式,即前置条件、后置条件和类级不变式。
前置条件是指在配电物联网感知层温度检测程序执行前要被满足的规则;后置条件是指在方法调用之后返回之前必须满足的规则;类级不变式是指在类的所有实例中都保持不变的属性,因此在方法执行前后都进行检查。
其中,利用Daikon生成不变式集合时,其输入为配电物联网源程序和对应的测试用例集。根据测试用例集在Daikon上运行配电物联网源程序产生不变量,输出不变式集合。其中,测试用例集是由用户选定的大量测试用例组成的,用于使配电物联网源程序运行。
以基于不变式规范对配电物联网进行温度故障检测为例,可以利用Daikon在配电物联网温度检测程序点、过程入口点和出口点考察域值并推导不变式。
为了弥补Daikon在数值不变式学习中的不足,本实施例提供了一种可选的实施方式,其中,通过动态不变量检测工具为所述配电物联网源程序生成不变式集合,可以具体为:
通过动态不变量检测工具根据预先设计的不同数值不变式之间的演化规则,为所述配电物联网源程序生成不变式集合;其中,所述不变式集合中包括等值不变式、集合不变式和范围不变式。
其中,等值不变式指的是利用等号描述的不变式,形如参数a=0的不变式;集合不变式指的是以集合方式描述的不变式,形如a∈{1,4,5}的不变式;范围不变式指的是以范围方式描述的不变式,形如1≤a≤5的不变式。其中a是被计算的变量,例如该变量的值可以为配电物联网配电柜上温度传感器检测到的数值。本实施例对此不进行限制。
演化规则,指的是由一种类型的数值不变式推出另一种类型的数值不变式的规则。在本实施例中,可以是指由等值不变式推出集合不变式的规则,由等值不变式或集合不变式推出范围不变式的规则。
示例性的,Daikon基于等值不变式模板匹配学习到等值不变式之后,将各等值不变式中涉及的不同参数值组合起来即可生成集合不变式。
再示例性的,Daikon基于等值不变式模板匹配学习到等值不变式之后,分析各等值不变式中涉及的参数值,确定范围不变式对应的范围区间,以生成相应的范围不变式。
在本实施例中,在通过单一的不变式模板匹配得到等值不变式后,基于不变式之间的演化规则即可得到集合不变式和范围不变式,以此减少了冗余的不变式模板的匹配次数,提高了Daikon学习数值不变式的效率。
作为一种可选的实施方式,本实施例将基于模板演化的数值不变式学习算法SILTE作为演化规则,使Daikon为配电物联网源程序生成由等值不变式、集合不变式和范围不变式组成的不变式集合。
以温度传感器中采集到的温度值为例,SILTE算法伪代码及相应解释如下所示:
SILTE算法可高效地基于单一模板匹配发现多种形式的参数不变式。除应用中的等值不变式、集合不变式和范围不变式外,通过发现其它不变式之间的演化规律,考虑变量观察值无法区分的集合不变式和范围不变式,利用单一不变式模板演化的策略,减少冗余模板匹配的次数,提高了数值不变式学习的效率。
S220、根据所述不变式集合生成不变式规约,并将所述不变式规约映射为故障检测代码。
对不变式集合中各类型的不变式进行规约,得到相应的不变式规约,例如可以通过Daikon按照JML(Java Modeling Language,Java建模语言)规范插入不变式规约,进而可以将不变式规约映射为具有故障检测功能的代码,如具有温度故障检测功能的代码。
其中,不变式规约指的是根据各不变式集合的特点所生成的,各不变式集合均需达成某种条件的协议。
S230、将所述故障检测代码编织至所述配电物联网源程序中,得到所述目标程序。
目标程序生成的流程可以如图3所示,在通过动态不变量检测工具生成不变式集合之后,通过故障检测模块的规约以及映射处理得到故障检测代码,将故障检测代码通过编织器编织到配电物联网源程序中,得到目标程序。
其中,将配电物联网源程序(.aj源文件)和故障检测代码(.java文件)进行编织的处理流程可以如图4所示,在此不再赘述。
S240、运行由配电物联网源程序与故障检测代码编织而成的目标程序。
S250、如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。
本实施例未尽详细解释之处请参见前述实施例,在此不再赘述。
本实施例的技术方案通过利用动态不变量检测工具为配电物联网源程序生成不变式集合,对不变式集合中的不变式进行规约及映射处理得到故障检测代码,再将故障检测代码编织至配电物联网源程序中,得到目标程序,进而在目标程序的执行过程中能够基于不变式检测进行配电物联网终端安全检测,检测方法简单,检测效果也比较好。
实施例三
本实施例在上述实施例的基础上,按照不变式规范所属的类型对配电物联网故障检测方法进行具体化。其中,当所述不变式规范属于前置条件时,如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障,可以具体为:
在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前,将所述目标传感器检测到的数据与所述前置条件进行多次对比;若存在不符合所述前置条件的数据,则确定所述配电物联网存在故障。
当所述不变式规范属于后置条件时,如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障,可以具体为:
在所述配电物联网中与所述目标传感器对应的数据检测程序执行之后,将所述目标传感器检测到的数据与所述后置条件进行多次对比;若存在不符合所述后置条件的数据,则确定所述配电物联网存在故障。
当所述不变式规范属于类级不变式时,如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障,可以具体为:
在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前,将所述目标传感器检测到的数据与所述类级不变式进行多次对比;若存在不符合所述类级不变式的数据,则确定所述配电物联网存在故障;
在所述配电物联网中与所述目标传感器对应的数据检测程序执行之后,将所述目标传感器检测到的数据与所述类级不变式进行多次对比;若存在不符合所述类级不变式的数据,则确定所述配电物联网存在故障。
如图5所示,本实施例提供的一种配电物联网故障检测方法包括以下具体步骤:
S310、通过动态不变量检测工具为配电物联网源程序生成不变式集合。
S320、根据所述不变式集合生成不变式规约,并将所述不变式规约映射为故障检测代码。
其中,不变式规约可以为前置条件。
S330、将所述故障检测代码编织至所述配电物联网源程序中,得到所述目标程序。
S340、运行由配电物联网源程序与故障检测代码编织而成的目标程序。
本实施例未尽详细解释之处请参考前述实施例,在此不再赘述。
S350、在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前,将所述目标传感器检测到的数据与所述前置条件进行多次对比;若存在不符合所述前置条件的数据,则确定所述配电物联网存在故障。
具体的,以采集到的温度数据为例。将生成的前置条件与配电物联网感知层获取到的温度数据进行多次对比,示例性的,可以进行100次比较,若全都满足,则判定配电物联网终端未发生故障。如有违反,则判定配电物联网终端发生故障。所述违反可以是有一次比较未满足前置条件,也可以是多次比较未满足前置条件,本实施例对此不进行限制。
示例性的,与前置条件对应的故障检测代码可以如下所示:
1:before(C current);
2:execution(void m())&&within(C)&&this(current){
3:if(!current.checkPre$m()){
4:call recover():
5:}
6:}
其中,第一行第二行选取切入点,是在类C中的方法m执行之前,第三行用声明的类型间声明来表达要检查的前置条件,若违反要检查的不变式,则返回检测到的故障。
在上述技术方案中,实现了基于不变式规约中的前置条件对配电物联网终端安全进行检查,以此提高了配电物联网故障检测方法的简易性。
如图6所示,本实施例提供的一种配电物联网故障检测方法包括以下具体步骤:
S410、通过动态不变量检测工具为配电物联网源程序生成不变式集合。
S420、根据所述不变式集合生成不变式规约,并将所述不变式规约映射为故障检测代码。
S430、将所述故障检测代码编织至所述配电物联网源程序中,得到所述目标程序。
S440、运行由配电物联网源程序与故障检测代码编织而成的目标程序。
本实施例未尽详细解释之处请参考前述实施例,在此不再赘述。
S450、在所述配电物联网中与所述目标传感器对应的数据检测程序执行之后,将所述目标传感器检测到的数据与所述后置条件进行多次对比;若存在不符合所述后置条件的数据,则确定所述配电物联网存在故障。
具体的,以采集到的温度数据为例。将生成的后置条件与配电物联网感知层获取到的温度数据进行多次对比。示例性的,可以进行100次比较,若全都满足后置条件,则判定配电物联网终端未发生故障。
示例性的,与后置条件对应的的故障检测代码可以如下所示:
1:void around(C current);
2:execution(void C.m())&&this(current){
3:…//saving all old values
4:if(!current.checkPost$m$C()){
5:call recover();
6:}
7:}
其中,第一行第二行声明切入点,用around操纵方法计算的整个过程,收集变元所有旧的值;第三行保存在方法执行之前一些旧的数值,因为这些数值有可能在后面的条件检查中或者故障恢复中需要用到;第四行检查后置条件,使用类型间声明所检查的全部条件作为需要检查的条件,若有违反这些不变式条件的,则返回检测到的故障。
在上述技术方案中,实现了基于不变式规约中的后置条件对配电物联网终端安全进行检查,提高了配电物联网故障检测方法的简易性。
如图7所示,本实施例提供的一种配电物联网故障检测方法包括以下具体步骤:
S510、通过动态不变量检测工具为配电物联网源程序生成不变式集合。
S520、根据所述不变式集合生成不变式规约,并将所述不变式规约映射为故障检测代码。
S530、将所述故障检测代码编织至所述配电物联网源程序中,得到所述目标程序。
S540、运行由配电物联网源程序与故障检测代码编织而成的目标程序。
本实施例未尽详细解释之处请参考前述实施例,在此不再赘述。
S550、在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前,将所述目标传感器检测到的数据与所述类级不变式进行多次对比;若存在不符合所述类级不变式的数据,则确定所述配电物联网存在故障。
S560、在所述配电物联网中与所述目标传感器对应的数据检测程序执行之后,将所述目标传感器检测到的数据与所述类级不变式进行多次对比;若存在不符合所述类级不变式的数据,则确定所述配电物联网存在故障。
示例性的,与类级不变式对应的故障检测代码可以如下所示:
1:before(C current);
2:Execution(!static**(..))&&within(C)&&
3:this(current){
4:if(!current.checkInv$Instance()){
5:call recover();
6:}
7:}
8:after(C current);
9:execution(!static**(..))&&within(C)&&
10:this(current){
11:if(!current.checkInv$Instance()){
12:call recover();
13:}
14:}
其中,第一行第二行第三行声明切入点,在方法m执行之前进行检查;第四行检查不变式是否满足;第八行第九行第十行声明切入点,在方法m之后进行检查,第十一行第十二行检查类级不变式条件是否满足,若不满足,则返回检测到的故障。
在上述技术方案中,实现了基于不变式规约中的类级不变式对配电物联网终端安全进行检查,提高了配电物联网故障检测方法的简易性。
本实施例的技术方案分别以三种类型的不变式规范为例,对配电物联网故障检测方法进行了解释说明,检测方法复杂度低且效果理想,解决了现有的配电物联网终端安全防护不够成熟的问题。
实施例四
图8为本发明实施例四提供的一种配电物联网故障检测装置的结构示意图,该装置可以执行上述各实施例中涉及到的配电物联网故障检测方法。该装置可采用软件和/或硬件的方式实现,如图8所示,所述配电物联网故障检测装置具体包括:目标程序运行模块610、故障检测模块620。
其中,目标程序运行模块610,用于运行由配电物联网源程序与故障检测代码编织而成的目标程序;其中,所述配电物联网中部署有目标传感器;所述故障检测代码是基于不变式检测生成的,用于根据所述目标传感器检测到的数据进行配电物联网故障检测;
故障检测模块620,用于如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。
本实施例的技术方案,在运行由配电物联网源程序与故障检测代码编织而成的目标程序时,基于与故障检测代码对应的不变式规范对配电物联网中部署的目标传感器检测到的数据进行判断,以实现对配电物联网故障的检测,解决了现有技术中配电物联网安全检测方法复杂度高且检测效果不理想的问题,提高了配电物联网终端的安全性。
可选的,所述配电物联网故障检测装置还包括:不变式集合生成模块、故障检测代码生成模块和目标程序生成模块。
其中,所述不变式集合生成模块,用于在运行由配电物联网源程序与故障检测代码编织而成的目标程序之前,通过动态不变量检测工具为所述配电物联网源程序生成不变式集合;其中,所述动态不变量检测工具的输入为所述配电物联网源程序和对应的测试用例集。
所述故障检测代码生成模块,用于根据所述不变式集合生成不变式规约,并将所述不变式规约映射为故障检测代码。
所述目标程序生成模块,用于将所述故障检测代码编织至所述配电物联网源程序中,得到所述目标程序。
可选的,不变式集合生成模块具体可以用于通过动态不变量检测工具根据预先设计的不同数值不变式之间的演化规则,为所述配电物联网源程序生成不变式集合;
其中,所述不变式集合中包括等值不变式、集合不变式和范围不变式。
可选的,当所述不变式规范属于前置条件时,故障检测模块620具体可以用于:在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前,将所述目标传感器检测到的数据与所述前置条件进行多次对比;若存在不符合所述前置条件的数据,则确定所述配电物联网存在故障。
可选的,当所述不变式规范属于后置条件时,故障检测模块620具体可以用于:在所述配电物联网中与所述目标传感器对应的数据检测程序执行之后,将所述目标传感器检测到的数据与所述后置条件进行多次对比;若存在不符合所述后置条件的数据,则确定所述配电物联网存在故障。
可选的,当所述不变式规范属于类级不变式时,故障检测模块620具体可以用于:在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前,将所述目标传感器检测到的数据与所述类级不变式进行多次对比;若存在不符合所述类级不变式的数据,则确定所述配电物联网存在故障;在所述配电物联网中与所述目标传感器对应的数据检测程序执行之后,将所述目标传感器检测到的数据与所述类级不变式进行多次对比;若存在不符合所述类级不变式的数据,则确定所述配电物联网存在故障。
可选的,所述目标传感器包括温度传感器。
本发明实施例所提供的配电物联网故障检测装置可执行本发明任意实施例所提供的配电物联网故障检测方法,具备执行方法相应的功能模块和有益效果。
实施例五
图9为本发明实施例五提供的一种计算机设备的结构示意图,如图9所示,该计算机设备包括处理器710、存储器720、输入装置730和输出装置740;计算机设备中处理器710的数量可以是一个或多个,图9中以一个处理器710为例;计算机设备中的处理器710、存储器720、输入装置730和输出装置740可以通过总线或其他方式连接,图9中以通过总线连接为例。
存储器720作为一种计算机可读存储介质,可用于存储软件程序、计算机可执行程序以及模块,如本发明实施例中的配电物联网故障检测方法对应的程序指令/模块(例如,配电物联网故障检测装置中的目标程序运行模块610和故障检测模块620)。处理器710通过运行存储在存储器720中的软件程序、指令以及模块,从而执行计算机设备的各种功能应用以及数据处理,即实现上述的配电物联网故障检测方法。
存储器720可主要包括存储程序区和存储数据区,其中,存储程序区可存储操作系统、至少一个功能所需的应用程序;存储数据区可存储根据终端的使用所创建的数据等。此外,存储器720可以包括高速随机存取存储器,还可以包括非易失性存储器,例如至少一个磁盘存储器件、闪存器件、或其他非易失性固态存储器件。在一些实例中,存储器720可进一步包括相对于处理器710远程设置的存储器,这些远程存储器可以通过网络连接至计算机设备。上述网络的实例包括但不限于互联网、企业内部网、局域网、移动通信网及其组合。
输入装置730可用于接收输入的数字或字符信息,以及产生与计算机设备的用户设置以及功能控制有关的键信号输入。输出装置740可包括显示屏等显示设备。
实施例六
本发明实施例六还提供一种包含计算机可执行指令的存储介质,所述计算机可执行指令在由计算机处理器执行时用于执行一种配电物联网故障检测方法,该方法包括:
运行由配电物联网源程序与故障检测代码编织而成的目标程序;其中,所述配电物联网中部署有目标传感器;所述故障检测代码是基于不变式检测生成的,用于根据所述目标传感器检测到的数据进行配电物联网故障检测;
如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。
当然,本发明实施例所提供的一种包含计算机可执行指令的存储介质,其计算机可执行指令不限于如上所述的方法操作,还可以执行本发明任意实施例所提供的配电物联网故障检测方法中的相关操作。
通过以上关于实施方式的描述,所属领域的技术人员可以清楚地了解到,本发明可借助软件及必需的通用硬件来实现,当然也可以通过硬件实现,但很多情况下前者是更佳的实施方式。基于这样的理解,本发明的技术方案本质上或者说对现有技术做出贡献的部分可以以软件产品的形式体现出来,该计算机软件产品可以存储在计算机可读存储介质中,如计算机的软盘、只读存储器(Read-Only Memory,ROM)、随机存取存储器(RandomAccess Memory,RAM)、闪存(FLASH)、硬盘或光盘等,包括若干指令用以使得一台计算机设备(可以是个人计算机,服务器,或者网络设备等)执行本发明各个实施例所述的方法。
值得注意的是,上述配电物联网故障检测装置的实施例中,所包括的各个单元和模块只是按照功能逻辑进行划分的,但并不局限于上述的划分,只要能够实现相应的功能即可;另外,各功能单元的具体名称也只是为了便于相互区分,并不用于限制本发明的保护范围。
注意,上述仅为本发明的较佳实施例及所运用技术原理。本领域技术人员会理解,本发明不限于这里所述的特定实施例,对本领域技术人员来说能够进行各种明显的变化、重新调整和替代而不会脱离本发明的保护范围。因此,虽然通过以上实施例对本发明进行了较为详细的说明,但是本发明不仅仅限于以上实施例,在不脱离本发明构思的情况下,还可以包括更多其他等效实施例,而本发明的范围由所附的权利要求范围决定。
Claims (10)
1.一种配电物联网故障检测方法,其特征在于,包括:
运行由配电物联网源程序与故障检测代码编织而成的目标程序;其中,所述配电物联网中部署有目标传感器;所述故障检测代码是基于不变式检测生成的,用于根据所述目标传感器检测到的数据进行配电物联网故障检测;
如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。
2.根据权利要求1所述的方法,其特征在于,在运行由配电物联网源程序与故障检测代码编织而成的目标程序之前,还包括:
通过动态不变量检测工具为所述配电物联网源程序生成不变式集合;其中,所述动态不变量检测工具的输入为所述配电物联网源程序和对应的测试用例集;
根据所述不变式集合生成不变式规约,并将所述不变式规约映射为故障检测代码;
将所述故障检测代码编织至所述配电物联网源程序中,得到所述目标程序。
3.根据权利要求2所述的方法,其特征在于,通过动态不变量检测工具为所述配电物联网源程序生成不变式集合,包括:
通过动态不变量检测工具根据预先设计的不同数值不变式之间的演化规则,为所述配电物联网源程序生成不变式集合;
其中,所述不变式集合中包括等值不变式、集合不变式和范围不变式。
4.根据权利要求1所述的方法,其特征在于,当所述不变式规范属于前置条件时,如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障,包括:
在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前,将所述目标传感器检测到的数据与所述前置条件进行多次对比;
若存在不符合所述前置条件的数据,则确定所述配电物联网存在故障。
5.根据权利要求1所述的方法,其特征在于,当所述不变式规范属于后置条件时,如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障,包括:
在所述配电物联网中与所述目标传感器对应的数据检测程序执行之后,将所述目标传感器检测到的数据与所述后置条件进行多次对比;
若存在不符合所述后置条件的数据,则确定所述配电物联网存在故障。
6.根据权利要求1所述的方法,其特征在于,当所述不变式规范属于类级不变式时,如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障,包括:
在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前,将所述目标传感器检测到的数据与所述类级不变式进行多次对比;
若存在不符合所述类级不变式的数据,则确定所述配电物联网存在故障;
在所述配电物联网中与所述目标传感器对应的数据检测程序执行之后,将所述目标传感器检测到的数据与所述类级不变式进行多次对比;
若存在不符合所述类级不变式的数据,则确定所述配电物联网存在故障。
7.根据权利要求1所述的方法,其特征在于,所述目标传感器包括温度传感器。
8.一种配电物联网故障检测装置,其特征在于,包括:
目标程序运行模块,用于运行由配电物联网源程序与故障检测代码编织而成的目标程序;其中,所述配电物联网中部署有目标传感器;所述故障检测代码是基于不变式检测生成的,用于根据所述目标传感器检测到的数据进行配电物联网故障检测;
故障检测模块,用于如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范,则确定所述配电物联网存在故障。
9.一种计算机设备,其特征在于,所述计算机设备包括:
一个或多个处理器;
存储器,用于存储一个或多个程序,
当所述一个或多个程序被所述一个或多个处理器执行,使得所述一个或多个处理器实现如权利要求1-7中任一所述的方法。
10.一种计算机可读存储介质,其上存储有计算机程序,其特征在于,该程序被处理器执行时实现如权利要求1-7中任一所述的方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110782814.5A CN113542062A (zh) | 2021-07-12 | 2021-07-12 | 一种配电物联网故障检测方法、装置、设备及存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110782814.5A CN113542062A (zh) | 2021-07-12 | 2021-07-12 | 一种配电物联网故障检测方法、装置、设备及存储介质 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN113542062A true CN113542062A (zh) | 2021-10-22 |
Family
ID=78098470
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110782814.5A Pending CN113542062A (zh) | 2021-07-12 | 2021-07-12 | 一种配电物联网故障检测方法、装置、设备及存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113542062A (zh) |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103294596A (zh) * | 2013-05-23 | 2013-09-11 | 西安电子科技大学 | 一种基于程序不变量的合约式软件故障预警方法 |
US20180124080A1 (en) * | 2016-11-02 | 2018-05-03 | Qualcomm Incorporated | Methods and Systems for Anomaly Detection Using Functional Specifications Derived from Server Input/Output (I/O) Behavior |
US20180131560A1 (en) * | 2016-11-04 | 2018-05-10 | Nec Laboratories America, Inc. | Content-aware anomaly detection and diagnosis |
CN112380274A (zh) * | 2020-11-16 | 2021-02-19 | 北京航空航天大学 | 一种面向控制过程的异常检测系统 |
-
2021
- 2021-07-12 CN CN202110782814.5A patent/CN113542062A/zh active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103294596A (zh) * | 2013-05-23 | 2013-09-11 | 西安电子科技大学 | 一种基于程序不变量的合约式软件故障预警方法 |
US20180124080A1 (en) * | 2016-11-02 | 2018-05-03 | Qualcomm Incorporated | Methods and Systems for Anomaly Detection Using Functional Specifications Derived from Server Input/Output (I/O) Behavior |
US20180131560A1 (en) * | 2016-11-04 | 2018-05-10 | Nec Laboratories America, Inc. | Content-aware anomaly detection and diagnosis |
CN112380274A (zh) * | 2020-11-16 | 2021-02-19 | 北京航空航天大学 | 一种面向控制过程的异常检测系统 |
Non-Patent Citations (1)
Title |
---|
王燕妮: "基于不变式的软件故障检测与恢复技术研究", 《中国优秀博硕士学位论文全文数据库(信息科技辑)》 * |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Zhou et al. | Design and analysis of multimodel-based anomaly intrusion detection systems in industrial process automation | |
Tong et al. | Verification of state-based opacity using Petri nets | |
Zhu et al. | Fault identification of discrete event systems modeled by Petri nets with unobservable transitions | |
Cabasino et al. | A new approach for diagnosability analysis of Petri nets using verifier nets | |
Abreu et al. | A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. | |
CN103440196B (zh) | 一种操作系统资源问题检测方法 | |
He et al. | Filtering-based robust fault detection of fuzzy jump systems | |
Machida | N-version machine learning models for safety critical systems | |
CN109902024A (zh) | 一种程序路径敏感的灰盒测试方法及装置 | |
Tomola et al. | Robust disjunctive-codiagnosability of discrete-event systems against permanent loss of observations | |
CN105159827A (zh) | 一种面向gui软件的可靠性加速测试方法 | |
CN113590454A (zh) | 测试方法、装置、计算机设备和存储介质 | |
Shitharth et al. | A new probabilistic relevancy classification (PRC) based intrusion detection system (IDS) for SCADA network | |
Sumalatha | Object oriented test case generation technique using genetic algorithms | |
Ran et al. | K-codiagnosability verification of labeled Petri nets | |
Cabasino et al. | A comparison among tools for the diagnosability of discrete event systems | |
Alghanim et al. | Software defect density prediction using deep learning | |
CN113542062A (zh) | 一种配电物联网故障检测方法、装置、设备及存储介质 | |
Zhang et al. | Test sequencing problem arising at the design stage for reducing life cycle cost | |
Ostrowski et al. | Knowledge-based software testing agent using evolutionary learning with cultural algorithms | |
Last et al. | Automated test reduction using an info-fuzzy network | |
Cabasino et al. | Decentralized diagnosability analysis of discrete event systems using Petri nets | |
Fouladgar et al. | On possibility of conditional invariant detection | |
Keren et al. | Model-based diagnosis with multi-label classification | |
CN103220179A (zh) | 基于统计模型检验的不稳定网络鲁棒性评测方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20211022 |