CN109597752B - 基于复杂网络模型的故障传播路径仿真方法 - Google Patents

基于复杂网络模型的故障传播路径仿真方法 Download PDF

Info

Publication number
CN109597752B
CN109597752B CN201811218311.XA CN201811218311A CN109597752B CN 109597752 B CN109597752 B CN 109597752B CN 201811218311 A CN201811218311 A CN 201811218311A CN 109597752 B CN109597752 B CN 109597752B
Authority
CN
China
Prior art keywords
fault
node
simulation
error
oprp
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.)
Active
Application number
CN201811218311.XA
Other languages
English (en)
Other versions
CN109597752A (zh
Inventor
杨召
方建勇
王丽
姜婷婷
黄沈
李吟
杨锡森
江涌涛
罗环环
苗壮
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
716th Research Institute of CSIC
Original Assignee
716th Research Institute of CSIC
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by 716th Research Institute of CSIC filed Critical 716th Research Institute of CSIC
Priority to CN201811218311.XA priority Critical patent/CN109597752B/zh
Publication of CN109597752A publication Critical patent/CN109597752A/zh
Application granted granted Critical
Publication of CN109597752B publication Critical patent/CN109597752B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Data Exchanges In Wide-Area Networks (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本发明公开了一种基于复杂网络模型的故障传播路径仿真方法,属于故障传播与故障定位领域,该方法包括:将复杂系统中各组成单元抽象为网络节点,根据节点与节点之间的通信关系构造出复杂网络模型;通过随机故障注入进行网络故障仿真;统计故障传播路径并排序,辅助故障定位。本发明通过随机故障注入进行网络故障仿真获得故障路径,不需要大量的实测数据,应用范围广,能够显著提高故障诊断的准确性和效率。

Description

基于复杂网络模型的故障传播路径仿真方法
技术领域
本发明涉及故障传播与故障定位技术,特别是一种基于复杂网络模型的故障传播路径仿真方法。
背景技术
复杂系统往往由大量组成单元相互集成、耦合而成。各个局部子系统的开发过程、体系结构、软硬件平台等往往是异构的,导致复杂软件系统内的故障行为复杂多样,故障传播行为以及失效的原因具有明显的不确定性。复杂系统中,一个非关键组件失效是如何引起其他关键组件失效甚至引起系统失效的,复杂系统中的故障如何传播并引发系统失效,如何定位复杂系统失效的原因成为了目前的研究热点。而大型复杂系统的动态变化特性对系统失效机理的研究提出了新的挑战。
针对故障传播机理的研究主要有两大研究方向,一种认为系统的体系结构决定了故障传播行为,即同样的故障在不同体系结构的软件系统中会演化为不同类型或不同严重级别的系统失效。这种观点将故障传播的研究建立在系统结构分析的基础上,因此这些学者将故障传播的研究重点集中在故障在体系结构内传播的规律上。Popic P建立了考虑故障传播的贝叶斯可靠性预测扩展模型。他们认为故障传播概率是软件体系结构的一个重要的结构参数。Thanh-Trung Pham在考虑失效概率和故障传播概率的基础上,求解转换后的模型的概率信息,从而实现在不同的控制流结构上充分考虑故障传播的不同影响,建立了马尔科夫可靠性预测模型,将故障传播概率定义为一个组件内的故障传播到其他组件的可能性。马凯在研究中提出了一种基于故障传播的故障定位方法,结合了基于执行覆盖以及基于依赖关系的两种故障定位方法,同时考虑故障传播对定位的影响。另一种观点认为不同类型的系统故障具有不同的特征,继而会演化为不同类型的系统失效,即不同的故障在同样的系统内其故障传播行为规律不同,故障的类型决定了传播的行为,因此这些学者将故障传播重点集中在对故障特性的研究上。按照故障的来源,可以将故障类型分为硬件故障和软件故障。M.Hiller团队重点对数据错误的相关规律进行了研究,他们使用故障注入的方法,在模块的输入信号中注入故障并记录该模块的输出,比较无故障的软件运行情况以及注入故障后的软件运行情况,追踪故障传播的路径,分析模块化软件中数据错误的传播;A.Johansson和N.Suri研究了内核和设备驱动程序之间的故障传播,通过故障注入方式在不同的内核栈层次中注入故障,获取不同故障模式。Rashid L研究了间歇性硬件错误在软件内的传播规律。解答了哪一部分间歇性故障会导致程序崩溃;而可以导致程序崩溃的故障在程序崩溃之前是如何在程序内传播的。
然而,目前的研究对系统体系结构的描述或建模不够准确,更缺少本发明中基于复杂系统中节点间依赖关系及故障传播对故障传播特性的研究。
发明内容
本发明的目的在于提供一种适应于复杂系统的故障传播仿真方法,根据复杂系统中节点与节点之间的输入输出依赖关系将复杂系统抽象为一个二元复杂网络图,然后对复杂网络模型进行故障传播仿真试验,获取故障传播路径及次数。
实现本发明目的的技术方案为:一种基于复杂网络模型的故障传播路径仿真方法,该方法包括以下步骤:
步骤1、将复杂系统抽象为复杂网络模型;
步骤2、计算复杂网络模型中节点之间的故障传播概率;
步骤3,对复杂网络模型进行故障仿真;
步骤4、统计故障传播路径并排序,辅助故障定位。
本发明与现有技术相比,其显著优点为:
(1)本发明将复杂系统中节点与接口两种实体抽象为网络节点,将接口与接口之间的输入输出依赖关系为连边构造出复杂网络模型;根据接口之间的输入输出依赖关系给出服务之间的故障传播概率的计算模型;
(2)本发明属于故障仿真,通过随机故障注入进行网络故障仿真获得故障路径,不需要大量的实测数据。
(3)本发明的适用范围为复杂系统的故障诊断与分析,应用范围广,尤其是在缺少大量实测故障数据,复杂系统定位较为困难的情况下,能够显著提高故障诊断的准确性和效率,可帮助故障诊断活动节省人力和时间成本。
下面结合附图对本发明作进一步详细描述。
附图说明
图1为本发明复杂系统故障传播仿真流程图。
图2为本发明构造的复杂网络模型图。
图3为本发明构造的增加故障传播概率的复杂网络模型图。
具体实施方式
如图1所示,一种基于复杂网络模型的故障传播路径仿真方法,包括以下步骤:
步骤1、将复杂系统抽象为复杂网络模型:将复杂系统抽象为一个二元复杂网络图,记为G=(N,PN,E),N和PN代表网络图中的两类节点,E代表网络图中的边。即:将复杂系统中节点与接口两种实体抽象为网络节点,将接口与接口之间的输入输出依赖关系为连边构造出复杂网络模型;
其中,N={PN}={(IN,ON)},是复杂系统的基本组成单位;PN代表节点N中的所有接口,IN是N的输入变量,ON是N的输出变量。
EMN代表在PM和PN之间的依赖关系,对应网络图中PM和PN之间的连边,而节点M和节点N之间的接口关系{EMN}为PM和PN之间的依赖关系的集合。
在构造复杂网络模型中M和N之间依赖关系的具体过程为:
(1)初始化{EMN};
(2)从M的接口集合{PM 1,…,PM T}中取出一个接口PM t,其对应的输入、输出消息分别为IM t、OM t
(3)从N的接口集合{PN 1,…,PN K}中取出一个接口PN k,其对应的输入、输出消息分别为IN k、ON k,若存在IM t=ON k,则说明PM t依赖于PN k,将依赖关<PN k,PM t>加入{EMN};若存在OM t=IN k,则说明PN k依赖于PM t,将依赖关系<PM t,PN k>加入{EMN};而<PN k,PM t>=<PM t,PN k>并不恒成立,即依赖关系是有向的;
(4)循环步骤(3)直至N中所有的PN k都被遍历;
(5)循环步骤(2)至步骤(4)直至M中所有的PM t都被遍历;
至此,得到M和N之间依赖关系。
步骤2、计算复杂网络模型中节点之间的故障传播概率:假设N的第k个接口PN k依赖于M的第t个PM t,即有<PM t,PN k>,则当M发生故障时,故障通过依赖关系<PM t,PN k>传播给N的概率为:
Pr(PM tPN k)=Pr{PM t输出错误|M发生故障}*Pr{N发生故障|PN k输入错误}
其中,Pr{PM t输出错误|M发生故障}为节点M发生故障导致其第t个操作PM t输出消息错误的条件概率;Pr{N发生故障|PN k输入错误}为节点N的第k个操作PN k的输入消息错误导致N发生故障的条件概率。
计算Pr{PM t输出错误|M发生故障}的过程为:
(1)M共有T个接口,分别为{PM 1,…,PM T},将Pr{PM t输出错误|M发生故障}初始化为1/T;记PM t的前序节点集合,即PM t所依赖的节点集合为{prePi};
(2)从{prePi}中依次取出prePi,若prePi∈{PM 1,…,PM T},即prePi与PM t同属于M,则有:
Pr{PM t输出错误|M发生故障}+=Pr{prePi|M发生故障}
(3)重复步骤(2)即可求得Pr{PM t输出错误|M发生故障}。
在步骤(2)中,当prePi属于M时,若prePi的前序节点不属于M,则有Pr{prePi|M发生故障}=1/T;若prePi的前序节点属于M,则Pr{prePi|M发生故障}的计算方法与Pr{PM t输出错误|M发生故障}相同,即重复步骤(1)、(2)(3)。
计算Pr{N发生故障|PN k输入错误}的过程为:
(1)N共有K个接口,分别为{PN 1,…,PN K},将Pr{N发生故障|PN k输入错误}初始化为1/K;记PN k的后续节点集合,即依赖于PN k的节点集合为{oprPi};
(2)从{oprPi}中依次取出oprPi,若oprPi∈{PN 1,…,PN K},即oprPi与PN k同属于节点N,则有:
Pr{N发生故障|PN k输入错误}+=Pr{N发生故障|oprPi输入错误}
(3)重复步骤(2)即可求得Pr{N发生故障|oprPi输入错误}。
在步骤(2)中,当oprPi属于N时,若oprPi的后序节点不属于N,则有Pr{N发生故障|oprPi输入错误}=1/K;若oprPi的后序节点属于N,则Pr{N发生故障|oprPi输入错误}的计算方法与Pr{N发生故障|PN k输入错误}相同,即重复步骤(1)、(2)(3)。
步骤3、对复杂网络模型进行故障仿真:记复杂系统故障仿真总次数为ξ,一次网络故障仿真过程是选择某节点作为故障源,通过仿真获得该故障所影响到的节点数,记第i次仿真得到的故障节点数为ni,具体过程为:
(1)将ni初始化为1;
(2)记故障源为节点M,节点N依赖于节点M且存在依赖关系<PM t,PN k>,传播概率为Pr(PM tPN k);
使用计算机生成一个[0,1]之间的随机数η,若η∈[0,Pr(PM tPN k)],则节点N发生故障,且有ni=ni+1并以N为故障源重复当前步骤(2);若
Figure BDA0001834101600000051
则仿真结束,记故障传播路径为M(M,N,...E);
(3)循环遍历所有依赖于节点M的节点;
(4)循环仿真直至仿真次数达到ξ。
步骤4、统计故障传播路径并排序。
统计M(M,N,...E)出现的次数,记为λM(M,N,...E),根据λM(M,N,...E)的大小依次排序。
在对复杂网络模型进行故障仿真时,若M依赖于N,且同时存在N依赖于M,则M故障导致N故障后,由N进行仿真试验时不需要考虑故障向M传播,即故障仿真是单向的。
本发明将复杂系统中节点与接口两种实体抽象为网络节点,将接口与接口之间的输入输出依赖关系为连边构造出复杂网络模型;通过随机故障注入进行网络故障仿真获得故障路径,不需要大量的实测数据。
下面结合实施例对本发明进行详细说明。
实施例
一种基于复杂网络模型的故障传播路径仿真方法,主要流程如图1所示,具体过程为:
步骤1、构造复杂网络模型:将某工业控制系统抽象为一个包含四个节点的系统,并将其抽象为一个二元复杂网络图G=(N,PN,E),如图2所示。
其中,N={A,B,C,D},
PA={PA 1,PA 2,PA 3},PB={PB 1},PC={PC 1,PC 2,PC 3},PD={PD 1,PD 2}
且根据工业控制系统的设计文件获得如下的输入输出依赖关系:
EAB={<PA 1,PB 1>,<PB 1,PA 2>},EAC={<PA 3,PC 1>,<PA 2,PC 1>},ECC={<PC 1,PC 2>},ECD={<PD 1,PC 2>,<PD2,PC 3>}。
步骤2、计算复杂网络模型中接口之间的故障传播概率:
Pr(PA 1PB 1)=1/3*1=1/3,Pr(PB 1PA 2)=1/3;
由于存在ECC={<PC 1,PC 2>},所以有Pr(PA 3,PC 1)=1/3*(1/3+1/3)=2/9,同理有Pr(PA 2PC 1)=2/9;
Pr(PD 1PC 2)=1/2*1/3=1/6,Pr(PD 2PC 3)=1/6。
将接口之间故障传播概率增加到复杂网络模型中后如图3所示。
步骤3、对复杂网络模型进行故障仿真:设总仿真次数为1000次,第四次仿真时选择服务B作为故障源:
(1)n4=1;
(2)对于依赖关系<PB 1,PA 2>,使用计算机生成一个[0,1]之间的随机数0.25,η∈[0,1/3],则服务A发生故障,且n4=1+1=2;
(3)以A为故障源重复仿真过程;对于依赖关系<PA 3,PC 1>,使用计算机生成一个[0,1]之间的随机数0.51,
Figure BDA0001834101600000061
停止,无故障传播路径;对于依赖关系<PA 2,PC 1>,使用计算机生成一个[0,1]之间的随机数0.181,η∈[0,2/9],获取故障传播路径A(A,C)。
步骤4、统计故障传播路径并排序。仿真1000次后,A(A,C)共出现385次,排名第一。

Claims (3)

1.一种基于复杂网络模型的故障传播路径仿真方法,其特征在于,包括以下步骤:
步骤1、将复杂系统抽象为复杂网络模型;具体为:
将复杂系统抽象为一个二元复杂网络图,记为G=(N,PN,E),N和PN代表网络图中的两类节点,E代表网络图中的边;
其中,N={PN}={(IN,ON)},是复杂系统的基本组成单位;PN代表节点N中的所有接口,IN是N的输入变量,ON是N的输出变量;
EMN代表在PM和PN之间的依赖关系,对应网络图中PM和PN之间的连边,而节点M和节点N之间的接口关系{EMN}为PM和PN之间的依赖关系的集合;
在构造复杂网络模型中M和N之间依赖关系的具体过程为:
(1)初始化{EMN};
(2)从M的接口集合{PM 1,…,PM T}中取出一个接口PM t,其对应的输入、输出消息分别为IM t、OM t
(3)从N的接口集合{PN 1,…,PN K}中取出一个接口PN k,其对应的输入、输出消息分别为IN k、ON k,若存在IM t=ON k,则说明PM t依赖于PN k,将依赖关系<PN k,PM t>加入{EMN};若存在OM t=IN k,则说明PN k依赖于PM t,将依赖关系<PM t,PN k>加入{EMN};而<PN k,PM t>=<PM t,PN k>并不恒成立,即依赖关系是有向的;
(4)循环步骤(3)直至N中所有的PN k都被遍历;
(5)循环步骤(2)至步骤(4)直至M中所有的PM t都被遍历;
至此,得到M和N之间依赖关系;
步骤2、计算复杂网络模型中节点之间的故障传播概率;具体为:
假设N的第k个接口PN k依赖于M的第t个PM t,即有<PM t,PN k>,则当M发生故障时,故障通过依赖关系<PM t,PN k>传播给N的概率为:
Pr(PM tPN k)=Pr{PM t输出错误|M发生故障}*Pr{N发生故障|PN k输入错误}
其中,Pr{PM t输出错误|M发生故障}为节点M发生故障导致其第t个操作PM t输出消息错误的条件概率;Pr{N发生故障|PN k输入错误}为节点N的第k个操作PN k的输入消息错误导致N发生故障的条件概率;
计算Pr{PM t输出错误|M发生故障}的过程为:
(1)M共有T个接口,分别为{PM 1,…,PM T},将Pr{PM t输出错误|M发生故障}初始化为1/T;记PM t的前序节点集合,即PM t所依赖的节点集合为{prePi};
(2)从{prePi}中依次取出prePi,若prePi∈{PM 1,…,PM T},即prePi与PM t同属于M,则有:
Pr{PM t输出错误|M发生故障}+=Pr{prePi|M发生故障}
(3)重复步骤(2)即可求得Pr{PM t输出错误|M发生故障};
在步骤(2)中,当prePi属于M时,若prePi的前序节点不属于M,则有Pr{prePi|M发生故障}=1/T;若prePi的前序节点属于M,则Pr{prePi|M发生故障}的计算方法与Pr{PM t输出错误|M发生故障}相同,即重复步骤(1)、(2)(3);
计算Pr{N发生故障|PN k输入错误}的过程为:
(1)N共有K个接口,分别为{PN 1,…,PN K},将Pr{N发生故障|PN k输入错误}初始化为1/K;记PN k的后续节点集合,即依赖于PN k的节点集合为{oprPi};
(2)从{oprPi}中依次取出oprPi,若oprPi∈{PN 1,…,PN K},即oprPi与PN k同属于节点N,则有:
Pr{N发生故障|PN k输入错误}+=Pr{N发生故障|oprPi输入错误}
(3)重复步骤(2)即可求得Pr{N发生故障|oprPi输入错误};
在步骤(2)中,当oprPi属于N时,若oprPi的后序节点不属于N,则有Pr{N发生故障|oprPi输入错误}=1/K;若oprPi的后序节点属于N,则Pr{N发生故障|oprPi输入错误}的计算方法与Pr{N发生故障|PN k输入错误}相同,即重复步骤(1)、(2)(3);
步骤3,对复杂网络模型进行故障仿真;具体为:
记复杂系统故障仿真总次数为ξ,一次网络故障仿真过程是选择某节点作为故障源,通过仿真获得该故障所影响到的节点数,记第i次仿真得到的故障节点数为ni,具体过程为:
(1)将ni初始化为1;
(2)记故障源为节点M,节点N依赖于节点M且存在依赖关系<PM t,PN k>,传播概率为Pr(PM tPN k);
使用计算机生成一个[0,1]之间的随机数η,若η∈[0,Pr(PM tPN k)],则节点N发生故障,且有ni=ni+1并以N为故障源重复当前步骤(2);若
Figure FDA0003849945090000031
则仿真结束,记故障传播路径为M(M,N,...E);
(3)循环遍历所有依赖于节点M的节点;
(4)循环仿真直至仿真次数达到ξ;
步骤4、统计故障传播路径并排序,辅助故障定位。
2.根据权利要求1所述的基于复杂网络模型的故障传播路径仿真方法,其特征在于,步骤4具体为:
统计M(M,N,...E)出现的次数,记为λM(M,N,...E),根据λM(M,N,...E)的大小依次排序。
3.根据权利要求2所述的基于复杂网络模型的故障传播路径仿真方法,其特征在于,在对复杂网络模型进行故障仿真时,若M依赖于N,且同时存在N依赖于M,则M故障导致N故障后,由N进行仿真试验时不需要考虑故障向M传播,即故障仿真是单向的。
CN201811218311.XA 2018-10-19 2018-10-19 基于复杂网络模型的故障传播路径仿真方法 Active CN109597752B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811218311.XA CN109597752B (zh) 2018-10-19 2018-10-19 基于复杂网络模型的故障传播路径仿真方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811218311.XA CN109597752B (zh) 2018-10-19 2018-10-19 基于复杂网络模型的故障传播路径仿真方法

Publications (2)

Publication Number Publication Date
CN109597752A CN109597752A (zh) 2019-04-09
CN109597752B true CN109597752B (zh) 2022-11-04

Family

ID=65957980

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811218311.XA Active CN109597752B (zh) 2018-10-19 2018-10-19 基于复杂网络模型的故障传播路径仿真方法

Country Status (1)

Country Link
CN (1) CN109597752B (zh)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110370077B (zh) * 2019-07-04 2021-04-06 长春工业大学 数控车床连续故障传播概率分析方法
CN110674028A (zh) * 2019-08-20 2020-01-10 华为技术有限公司 故障注入方法及其装置、业务服务系统
CN111898227B (zh) * 2020-07-24 2024-03-26 中国兵器工业信息中心 一种基于多智能体的网络化可靠性仿真分析方法
CN112286797B (zh) * 2020-09-29 2024-05-03 长沙市到家悠享网络科技有限公司 一种服务监控方法、装置、电子设备及存储介质
CN112231175B (zh) * 2020-10-14 2022-05-13 北京航空航天大学 一种基于动态仿真的软件状态监控点选择方法及系统

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104734870A (zh) * 2013-12-19 2015-06-24 南京理工大学 一种基于元胞自动机的软件故障传播方法

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN100456687C (zh) * 2003-09-29 2009-01-28 华为技术有限公司 网络故障实时相关性分析方法及系统
US8243585B2 (en) * 2009-08-25 2012-08-14 Alcatel Lucent Method and apparatus for fault-resilient multicast using multiple sources
CN102255764A (zh) * 2011-09-02 2011-11-23 广东省电力调度中心 传输网故障诊断方法及装置
EP2887578A1 (en) * 2013-12-19 2015-06-24 BAE Systems PLC Network fault detection and location
CN104298593B (zh) * 2014-09-23 2017-04-26 北京航空航天大学 一种基于复杂网络理论的soa系统可靠性评价方法
CN105045574A (zh) * 2015-06-24 2015-11-11 广东电网有限责任公司电力科学研究院 一种基于复杂网络故障传播的软件关键函数辨识方法
CN106250709B (zh) * 2016-08-18 2019-01-29 中国船舶重工集团公司第七�三研究所 基于传感器关联网络的燃气轮机异常检测与故障诊断方法
CN108536972B (zh) * 2018-04-13 2022-02-01 中国人民解放军陆军装甲兵学院 基于自适应智能体的复杂系统可靠性仿真方法及系统

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104734870A (zh) * 2013-12-19 2015-06-24 南京理工大学 一种基于元胞自动机的软件故障传播方法

Also Published As

Publication number Publication date
CN109597752A (zh) 2019-04-09

Similar Documents

Publication Publication Date Title
CN109597752B (zh) 基于复杂网络模型的故障传播路径仿真方法
King et al. Towards a bayesian network model for predicting flaky automated tests
US20060149990A1 (en) System and method for fault identification in an electronic system based on context-based alarm analysis
KR100337696B1 (ko) 모델 검사를 위한 동작 환경을 자동적으로 생성하는 방법
US10275548B1 (en) Interactive diagnostic modeling evaluator
Ye et al. Adaptive board-level functional fault diagnosis using incremental decision trees
WO2022134001A1 (zh) 基于容器化技术的机器学习模型框架的开发方法与系统
Taylor et al. Towards accurate and efficient reliability modeling of nanoelectronic circuits
US20220269593A1 (en) Automatic generation of integrated test procedures using system test procedures
US8453082B2 (en) Soft error verification in hardware designs
Bharathi et al. A machine learning approach for quantifying the design error propagation in safety critical software system
Malik et al. CHESS: A Framework for Evaluation of Self-adaptive Systems based on Chaos Engineering
del Rey et al. Bayesian Network analysis of software logs for data‐driven software maintenance
McKelvin Jr et al. A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems
Valueian et al. Constructing automated test oracle for low observable software
Bhattacharyya et al. A discrete event systems approach to network fault management: detection and diagnosis of faults
De Bleser et al. A delta-debugging approach to assessing the resilience of actor programs through run-time test perturbations
Fränzle et al. Robustness in cyber-physical systems (dagstuhl seminar 16362)
Kaur et al. A modelling framework for automotive software design and optimal test path generation
Poulos et al. Exemplar-based failure triage for regression design debugging
KR102643598B1 (ko) 패턴 기반 SoS 내 실패 유발 상호작용 분석 방법 및 장치
CN111782553B (zh) 一种基于故障注入的软件反应缺陷分析方法
CN115176233A (zh) 以确定性顺序执行测试
Elderhalli et al. A framework for formal dynamic dependability analysis using HOL theorem proving
Rattanukul et al. Microusity: A testing tool for Backends for Frontends (BFF) Microservice Systems

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
GR01 Patent grant
GR01 Patent grant
CP01 Change in the name or title of a patent holder
CP01 Change in the name or title of a patent holder

Address after: 222001 No.18 Shenghu Road, Lianyungang City, Jiangsu Province

Patentee after: The 716th Research Institute of China Shipbuilding Corp.

Address before: 222001 No.18 Shenghu Road, Lianyungang City, Jiangsu Province

Patentee before: 716TH RESEARCH INSTITUTE OF CHINA SHIPBUILDING INDUSTRY Corp.