CN1945547A - 一种嵌入式故障注入系统及其方法 - Google Patents

一种嵌入式故障注入系统及其方法 Download PDF

Info

Publication number
CN1945547A
CN1945547A CN 200610150972 CN200610150972A CN1945547A CN 1945547 A CN1945547 A CN 1945547A CN 200610150972 CN200610150972 CN 200610150972 CN 200610150972 A CN200610150972 A CN 200610150972A CN 1945547 A CN1945547 A CN 1945547A
Authority
CN
China
Prior art keywords
fpga circuit
control fpga
fault
injection
circuit
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.)
Granted
Application number
CN 200610150972
Other languages
English (en)
Other versions
CN100428174C (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.)
Harbin Institute of Technology
Original Assignee
Harbin Institute of Technology
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 Harbin Institute of Technology filed Critical Harbin Institute of Technology
Priority to CNB2006101509724A priority Critical patent/CN100428174C/zh
Publication of CN1945547A publication Critical patent/CN1945547A/zh
Application granted granted Critical
Publication of CN100428174C publication Critical patent/CN100428174C/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

一种嵌入式故障注入系统及其方法,它涉及的是对容错式计算机系统进行测试与评估的技术领域。它为了克服现有技术无法真实准确地对计算机系统的可靠性进行测试和评估的问题。它的主控计算机(1)通过ISA总线/串口数据转换CPLD电路(2)、主控FPGA电路(3)与同步控制FPGA电路(4)、注入控制FPGA电路(5)、方向控制FPGA电路(6)、80×86处理器插脚(7)、80×86处理器插座(8)互相数据连接。它的步骤为:(一)启动系统;(二)初始化和自检;(三)发送故障模型参数;(四)设定锁存器的初值;(五)方向控制FPGA电路(6)设定方向;(六)同步控制FPGA电路(4)设定同步数据;(七)注入控制FPGA电路(5)设定注入数据;(八)记录结果;(九)显示结果。本发明能准确的对计算机系统的可靠性进行测试和评估。

Description

一种嵌入式故障注入系统及其方法
技术领域
本发明涉及的是对容错式计算机系统进行测试与评估的技术领域。
背景技术
军用计算机系统(如车载、机载、舰载计算机)应用环境恶劣,这种恶劣环境容易导致计算机系统出现故障;在计算机系统的设计和生产过程中,工艺、原材料及加工技术等也可能导致计算机系统存在潜伏的故障,计算机系统的复杂性日益增大,在计算机系统设计中,特别是软件设计中,也会存在许多潜在的故障,还有敌方的破坏和人为操作的失误,也会使计算机系统的可靠性面临严峻考验,这些故障可能会引发错误,导致计算机系统的效率降低甚至失效。为了提高计算机系统的可靠性和抗干扰能力,往往采用容错技术和避错技术,但在目前的高可靠计算机系统的研制开发过程中存在一个十分薄弱的环节,就是对上述系统的测试和评估,然而这个环节是整个系统开发周期中的一个重要组成部分。对于计算机系统可靠性的评估是依靠理论计算和模拟试验的,需要对被测目标系统进行必要的化简和假设,因而都无法真实准确地对系统的可靠性进行评估。对可靠性缺乏定量分析,这可能导致无法确认系统的设计是否满足实际运行的需要,从而无法及时有效地发现系统设计和实现中存在的问题。另外在系统的开发过程中也需要有测试设备提供对系统各个开发阶段进行测试的能力,测试过程提供的反馈信息可用于对系统的设计进行验证或改进。
发明内容
本发明是为了克服现有技术无法真实准确地对计算机系统的可靠性进行测试和评估的问题;进而提出了一种嵌入式故障注入系统及其方法。
本发明的嵌入式故障注入系统包含主控计算机1、ISA总线/串口数据转换CPLD电路2、主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6、80×86处理器插脚7、80×86处理器插座8;
主控计算机1的ISA总线数据通信端连接ISA总线/串口数据转换CPLD电路2的ISA总线数据通信端,ISA总线/串口数据转换CPLD电路2的串口数据通信端连接主控FPGA电路3的串口数据通信端,主控FPGA电路3的故障时间/触发信号输出输入端连接同步控制FPGA电路4的故障时间/触发信号输入输出端,主控FPGA电路3的故障类型/结果信号输入输出端连接注入控制FPGA电路5的故障类型/结果信号输出输入端,主控FPGA电路3的故障注入位置输出输入端连接方向控制FPGA电路6的故障注入位置输入输出端;同步控制FPGA电路4的注入信号输出输入总线端、注入控制FPGA电路5的注入信号输出输入总线端、方向控制FPGA电路6的注入信号输出输入总线端、80×86处理器插脚7的注入信号输出输入总线端与80×86处理器插座8的注入信号输出输入总线端相连接;80×86处理器插脚7插接在被测系统的主板处理器插座9上,被测系统的处理器10插接在80×86处理器插座8上。
本发明的嵌入式故障注入方法步骤为:
一、启动整个系统及被测目标系统11;
二、主控计算机1通过ISA总线/串口数据转换CPLD电路2发送自检信号给主控FPGA电路3,对主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6进行初始化和自检;
三、主控FPGA电路3通过ISA总线/串口数据转换CPLD电路2接收主控计算机1发送来的故障注入的故障模型参数,即:注入位置、故障类型、触发方式、触发条件、注入持续时间、决定注入次数;
四、主控FPGA电路3根据各故障模型参数设定各类锁存器的初值,主控FPGA电路3根据主控计算机1传送各故障模型参数的顺序,将触发方式、触发条件转发给同步控制FPGA电路4,将故障类型、注入位置转发给注入控制FPGA电路5,将同步控制信号发送给方向控制FPGA电路6;
五、方向控制FPGA电路6以被测目标系统11的地址线、数据线、控制线作为注入目标,并根据被测目标系统11的读写信号、总线控制权信号对注入通道的设定方向,再传递给注入控制FPGA电路5;
六、同步控制FPGA电路4根据主控FPGA电路3传递来的注入信号的相关时间数据和触发条件数据来产生注入信号,同时再根据被测目标系统11的时钟数据和总线周期数据,来减小注入的延迟,保证注入信号与被测目标系统11同步,并传递给注入控制FPGA电路5;
七、注入控制FPGA电路5根据主控FPGA电路3发送来的故障类型和注入位置数据,并在接收方向控制FPGA电路6发送的注入方向数据和同步控制FPGA电路4发送的注入数据之后,向被测目标系统11注入故障;
八、主控FPGA电路3对比故障注入前后数据值,当故障注入前后的值改变后,表明这次故障注入为有效,而记录结果;
九、当主控FPGA电路3通过ISA总线/串口数据转换CPLD电路2收到主控计算机1发来的读取结果命令时,主控FPGA电路3将按注入结果设定的顺序,通过ISA总线/串口数据转换CPLD电路2送回到主控计算机1中,并显示出来。
本发明能真实准确的对计算机系统的可靠性进行测试和评估,它能在容错计算机系统研制的各个阶段对其进行测试,根据测试结果对系统的设计与实现的正确性进行验证,对系统的可靠性能指标进行评估,能使得容错计算机系统具备更高的纠错和检测能力,实现更高的容错能力。本发明与现有故障注入技术相比,本发明的有益效果是:
1.故障模型多样化,嵌入式故障注入方法可注入固定、翻转、开路和更加复杂的逻辑故障。
2.故障触发方式多,嵌入式故障注入器嵌入在目标系统之中,随时可以截获系统的状态和当前的运行信息。因此,嵌入式故障注入可以进行目标触发(例如,当访问某一内存地址时触发故障)。
3.方便、及时的结果回收,嵌入到目标系统内部的嵌入式注入器可以通过截获目标硬件的相应的管脚信号来方便、及时地对结果信息进行回收。
4.高安全性,嵌入式故障注入修改管脚信号时,只需将原有的信号屏蔽掉,然后发一个代表我们期望的逻辑值的模拟量给目标硬件,该模拟量与目标系统中代表相应逻辑值的模拟量保持一致,所以可以保证较高的注入安全性。
附图说明
图1是本发明的整体结构示意图,图2是本发明的嵌入式故障注入方法的步骤流程图,图3是主控FPGA电路3内部的运行步骤流程图,图4是同步控制FPGA电路4内部的运行步骤流程图,图5是注入控制FPGA电路5内部的运行步骤流程图,图6是方向控制FPGA电路6内部的运行步骤流程图。
具体实施方式
具体实施方式一:结合图1说明本实施方式,本实施方式的嵌入式故障注入系统由主控计算机1、ISA总线/串口数据转换CPLD电路2、主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6、80×86处理器插脚7、80×86处理器插座8组成;
主控计算机1的ISA总线数据通信端连接在ISA总线/串口数据转换CPLD电路2的ISA总线数据通信端,ISA总线/串口数据转换CPLD电路2的串口数据通信端连接主控FPGA电路3的串口数据通信端,主控FPGA电路3的故障时间/触发信号输出输入端连接同步控制FPGA电路4的故障时间/触发信号输入输出端,主控FPGA电路3的故障类型/结果信号输入输出端连接注入控制FPGA电路5的故障类型/结果信号输出输入端,主控FPGA电路3的故障注入位置输出输入端连接方向控制FPGA电路6的故障注入位置输入输出端;同步控制FPGA电路4的注入信号输出输入总线端、注入控制FPGA电路5的注入信号输出输入总线端、方向控制FPGA电路6的注入信号输出输入总线端、80×86处理器插脚7的注入信号输出输入总线端与80×86处理器插座8的注入信号输出输入总线端相连接;80×86处理器插脚7插接在被测系统的主板处理器插座9上,被测系统的处理器10插接在80×86处理器插座8上。
本实施方式的嵌入式故障注入方法步骤为:
一、启动整个系统及被测目标系统11;
二、主控计算机1通过ISA总线/串口数据转换CPLD电路2发送自检信号给主控FPGA电路3,对主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6进行初始化和自检;
三、主控FPGA电路3通过ISA总线/串口数据转换CPLD电路2接收主控计算机1发送来的故障注入的故障模型参数,即:注入位置、故障类型、触发方式、触发条件、注入持续时间、决定注入次数;
四、主控FPGA电路3根据各故障模型参数设定各类锁存器的初值,主控FPGA电路3根据主控计算机1传送各故障模型参数的顺序,将触发方式、触发条件转发给同步控制FPGA电路4,将故障类型、注入位置转发给注入控制FPGA电路5,将同步控制信号发送给方向控制FPGA电路6;
五、方向控制FPGA电路6以被测目标系统11的地址线、数据线、控制线作为注入目标,并根据被测目标系统11的读写信号、总线控制权信号对注入通道的设定方向,再传递给注入控制FPGA电路5;
六、同步控制FPGA电路4根据主控FPGA电路3传递来的注入信号的相关时间数据和触发条件数据来产生注入信号,同时再根据被测目标系统11的时钟数据和总线周期数据,来减小注入的延迟,保证注入信号与被测目标系统11同步,并传递给注入控制FPGA电路5;
七、注入控制FPGA电路5根据主控FPGA电路3发送来的故障类型和注入位置数据,并在接收方向控制FPGA电路6发送的注入方向数据和同步控制FPGA电路4发送的注入数据之后,向被测目标系统11注入故障;
八、主控FPGA电路3对比故障注入前后数据值,当故障注入前后的值改变后,表明这次故障注入为有效,而记录结果;
九、当主控FPGA电路3通过ISA总线/串口数据转换CPLD电路2收到主控计算机1发来的读取结果命令时,主控FPGA电路3将按注入结果设定的顺序,通过ISA总线/串口数据转换CPLD电路2送回到主控计算机1中,并显示出来。
所述主控FPGA电路3内部的运行步骤为(结合图3):
A1、开始;
A2、根据主控计算机1的信号进行自检测;
A3、判断自检正确与否,如判断为否,则返回步骤A2的开始端,如判断为是,则运行下一步;
A4、接收主控计算机1发来的故障模型参数;
A5、根据各故障模型参数设定时间锁存器初值;
A6、故障注入开始;
A7、故障注入结束时,对比故障注入前后信号值,当故障注入是有效时记录结果;
A8、返回步骤A1的开始端。
同步控制FPGA电路4内部的运行步骤为(结合图4):
B1、开始;
B2、判断是否进行目标触发,如判断为否,则跳转到步骤B4的开始端,如判断为是,则继续运行下一步骤;
B3、判断总线信号与目标是否一致,如判断为否,则从新运行步骤B3,如判断为是,则继续运行下一步骤;
B4、根据时间锁存器的值产生注入数据;
B5、结束。
注入控制FPGA电路5内部的运行步骤为(结合图5):
C1、开始;
C2、选定注入管脚对应的注入单元;
C3、生成故障类型值;
C4、判断是否开始注入?如判断为否,则重新运行步骤C4,如判断为是,则继续运行下一步骤;
C5、打开注入通道进行故障注入;
C6、判断注入结果的有效性并记录,如判断为否,则重新运行步骤C6,如判断为是,则继续运行下一步骤;
C7、向主控FPGA电路3发送注入结果,并清除记录结果;
C8、结束。
方向控制FPGA电路6内部的运行步骤为(结合图6):
D1、开始;
并行运行步骤D2、步骤D3;
D2、判断是否为读周期?如判断为否,则运行步骤D6,如判断为是,则运行步骤D4;
D3、判断总线控制HLDA是否为高?如判断为否,则运行步骤D7,如判断为是,则运行步骤D5;
D4、数据线的注入信号方向为0,然后运行步骤D8;
D5、地址线的注入信号方向为0,然后运行步骤D8;
D6、数据线的注入信号方向为1,然后运行步骤D8;
D7、地址线的注入信号方向为1,然后运行步骤D8;
D8、结束。
嵌入式故障注入软件系统包括宿主机端的监控软件,注入器端控制软件。宿主机端监控软件在中文Win2000平台下以VC5.0为工具进行开发的,用于整个故障注入系统的管理和监控,其结构如图三所示。其主要功能有故障参数的设置,如芯片类型,注入的管脚号,故障的值类型和时间类型,注入触发方式等,同时显示每次注入后的结果信息。该软件还提供自检命令,并显示自检结果。已生成的故障模式可被存储于文件中,也可直接由文件调出现成的故障模式。系统还提供了简单的联机帮助。
主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6选用的型号是ALTRA公司的MAX系列EPM7160,主控FPGA电路3选用的型号是ALTRA公司的Cyclone系列的EP1C60240。

Claims (6)

1、一种嵌入式故障注入系统,其特征在于它包含主控计算机(1)、ISA总线/串口数据转换CPLD电路(2)、主控FPGA电路(3)、同步控制FPGA电路(4)、注入控制FPGA电路(5)、方向控制FPGA电路(6)、80×86处理器插脚(7)、80×86处理器插座(8);
主控计算机(1)的ISA总线数据通信端连接在ISA总线/串口数据转换CPLD电路(2)的ISA总线数据通信端,ISA总线/串口数据转换CPLD电路(2)的串口数据通信端连接主控FPGA电路(3)的串口数据通信端,主控FPGA电路(3)的故障时间/触发信号输出输入端连接同步控制FPGA电路(4)的故障时间/触发信号输入输出端,主控FPGA电路(3)的故障类型/结果信号输入输出端连接注入控制FPGA电路(5)的故障类型/结果信号输出输入端,主控FPGA电路(3)的故障注入位置输出输入端连接方向控制FPGA电路(6)的故障注入位置输入输出端;同步控制FPGA电路(4)的注入信号输出输入总线端、注入控制FPGA电路(5)的注入信号输出输入总线端、方向控制FPGA电路(6)的注入信号输出输入总线端、80×86处理器插脚(7)的注入信号输出输入总线端与80×86处理器插座(8)的注入信号输出输入总线端相连接;80×86处理器插脚(7)插接在被测系统的主板处理器插座(9)上,被测系统的处理器10插接在80×86处理器插座(8)上。
2、一种嵌入式故障注入方法,其特征在于它的方法步骤为:
(一)、启动整个系统及被测目标系统(11);
(二)、主控计算机(1)通过ISA总线/串口数据转换CPLD电路(2)发送自检信号给主控FPGA电路(3),对主控FPGA电路(3)、同步控制FPGA电路(4)、注入控制FPGA电路(5)、方向控制FPGA电路(6)进行初始化和自检;
(三)、主控FPGA电路(3)通过ISA总线/串口数据转换CPLD电路(2)接收主控计算机(1)发送来的故障注入的故障模型参数,即:注入位置、故障类型、触发方式、触发条件、注入持续时间、决定注入次数;
(四)、主控FPGA电路(3)根据各故障模型参数设定各类锁存器的初值,主控FPGA电路(3)根据主控计算机(1)传送各故障模型参数的顺序,将触发方式、触发条件转发给同步控制FPGA电路(4),将故障类型、注入位置转发给注入控制FPGA电路(5),将同步控制信号发送给方向控制FPGA电路(6);
(五)、方向控制FPGA电路(6)以被测目标系统(11)的地址线、数据线、控制线作为注入目标,并根据被测目标系统(11)的读写信号、总线控制权信号对注入通道的设定方向,再传递给注入控制FPGA电路(5);
(六)、同步控制FPGA电路(4)根据主控FPGA电路(3)传递来的注入信号的相关时间数据和触发条件数据来产生注入信号,同时再根据被测目标系统(11)的时钟数据和总线周期数据,来减小注入的延迟,保证注入信号与被测目标系统(11)同步,并传递给注入控制FPGA电路(5);
(七)、注入控制FPGA电路(5)根据主控FPGA电路(3)发送来的故障类型和注入位置数据,并在接收方向控制FPGA电路(6)发送的注入方向数据和同步控制FPGA电路(4)发送的注入数据之后,向被测目标系统(11)注入故障;
(八)、主控FPGA电路(3)对比故障注入前后数据值,当故障注入前后的值改变后,表明这次故障注入为有效,而记录结果;
(九)、当主控FPGA电路(3)通过ISA总线/串口数据转换CPLD电路(2)收到主控计算机(1)发来的读取结果命令时,主控FPGA电路(3)将按注入结果设定的顺序,通过ISA总线/串口数据转换CPLD电路(2)送回到主控计算机(1)中,并显示出来。
3、根据权利要求2所述的一种嵌入式故障注入方法,其特征在于所述主控FPGA电路(3)内部的运行步骤为:
(A1)、开始;
(A2)、根据主控计算机(1)的信号进行自检测;
(A3)、判断自检正确与否,如判断为否,则返回步骤A2的开始端,如判断为是,则运行下一步;
(A4)、接收主控计算机(1)发来的故障模型参数;
(A5)、根据各故障模型参数设定时间锁存器初值;
(A6)、故障注入开始;
(A7)、故障注入结束时,对比故障注入前后信号值,当故障注入是有效时记录结果;
(A8)、返回步骤A1的开始端。
4、根据权利要求2所述的一种嵌入式故障注入方法,其特征在于所述同步控制FPGA电路(4)内部的运行步骤为:
(B1)、开始;
(B2)、判断是否进行目标触发,如判断为否,则跳转到步骤B4的开始端,如判断为是,则继续运行下一步骤;
(B3)、判断总线信号与目标是否一致,如判断为否,则从新运行步骤B3,如判断为是,则继续运行下一步骤;
(B4)、根据时间锁存器的值产生注入数据;
(B5)、结束。
5、根据权利要求2所述的一种嵌入式故障注入方法,其特征在于所述注入控制FPGA电路(5)内部的运行步骤为:
(C1)、开始;
(C2)、选定注入管脚对应的注入单元;
(C3)、生成故障类型值;
(C4)、判断是否开始注入?如判断为否,则重新运行步骤C4,如判断为是,则继续运行下一步骤;
(C5)、打开注入通道进行故障注入;
(C6)、判断注入结果的有效性并记录,如判断为否,则重新运行步骤C6,如判断为是,则继续运行下一步骤;
(C7)、向主控FPGA电路(3)发送注入结果,并清除记录结果;
(C8)、结束。
6、根据权利要求2所述的一种嵌入式故障注入方法,其特征在于所述方向控制FPGA电路(6)内部的运行步骤为:
(D1)、开始;
并行运行步骤D2、步骤D3;
(D2)、判断是否为读周期?如判断为否,则运行步骤D6,如判断为是,则运行步骤D4;
(D3)、判断总线控制HLDA是否为高?如判断为否,则运行步骤D7,如判断为是,则运行步骤D5;
(D4)、数据线的注入信号方向为0,然后运行步骤D8;
(D5)、地址线的注入信号方向为0,然后运行步骤D8;
(D6)、数据线的注入信号方向为1,然后运行步骤D8;
(D7)、地址线的注入信号方向为1,然后运行步骤D8;
(D8)、结束。
CNB2006101509724A 2006-10-31 2006-10-31 一种嵌入式故障注入系统及其方法 Expired - Fee Related CN100428174C (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CNB2006101509724A CN100428174C (zh) 2006-10-31 2006-10-31 一种嵌入式故障注入系统及其方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CNB2006101509724A CN100428174C (zh) 2006-10-31 2006-10-31 一种嵌入式故障注入系统及其方法

Publications (2)

Publication Number Publication Date
CN1945547A true CN1945547A (zh) 2007-04-11
CN100428174C CN100428174C (zh) 2008-10-22

Family

ID=38044958

Family Applications (1)

Application Number Title Priority Date Filing Date
CNB2006101509724A Expired - Fee Related CN100428174C (zh) 2006-10-31 2006-10-31 一种嵌入式故障注入系统及其方法

Country Status (1)

Country Link
CN (1) CN100428174C (zh)

Cited By (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102116839A (zh) * 2009-12-30 2011-07-06 中国科学院沈阳自动化研究所 一种基于最大流方法的fpga测试方法
CN102779104A (zh) * 2011-05-09 2012-11-14 北京旋极信息技术股份有限公司 一种串口数据故障注入方法和装置
CN102779084A (zh) * 2011-05-12 2012-11-14 北京旋极信息技术股份有限公司 故障注入方法和装置
CN102014046B (zh) * 2010-01-21 2013-01-23 柳州市达迪通信设备有限公司 一种实现模拟多流以太网数据报文发送的方法及系统
CN101770417B (zh) * 2010-01-15 2013-04-10 哈尔滨工业大学 基于jtag的硬件故障注入系统及故障注入方法
CN103293468A (zh) * 2013-04-09 2013-09-11 北京时代民芯科技有限公司 一种便于器件故障敏感度测试的故障注入系统及方法
CN103529820A (zh) * 2013-09-26 2014-01-22 北京航天自动控制研究所 一种适用于嵌入式设备的故障注入测试系统及测试方法
CN104657265A (zh) * 2015-02-10 2015-05-27 上海创景计算机系统有限公司 软件故障注入和分析的流程定义方法
CN105094109A (zh) * 2014-05-23 2015-11-25 上海通用汽车有限公司 一种故障注入装置
CN106383303A (zh) * 2016-08-26 2017-02-08 哈尔滨工业大学 基于观察点与并行的故障注入模拟方法及装置
CN108717291A (zh) * 2018-05-11 2018-10-30 河南辉煌科技股份有限公司 基于cpld进行故障注入的测试装置及测试方法
CN111722095A (zh) * 2020-06-24 2020-09-29 中国电子科技集团公司第十四研究所 一种嵌入式故障注入模块、方法及高速数字电路系统
CN112840326A (zh) * 2018-12-03 2021-05-25 易享信息技术有限公司 用于自动化操作管理的测试引擎

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1716212B (zh) * 2004-06-29 2010-04-28 联想(北京)有限公司 一种灾难恢复系统及方法
CN100371901C (zh) * 2004-08-29 2008-02-27 华为技术有限公司 一种基于可编程逻辑器件的故障注入方法和装置
US20060085781A1 (en) * 2004-10-01 2006-04-20 Lockheed Martin Corporation Library for computer-based tool and related system and method

Cited By (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102116839A (zh) * 2009-12-30 2011-07-06 中国科学院沈阳自动化研究所 一种基于最大流方法的fpga测试方法
CN101770417B (zh) * 2010-01-15 2013-04-10 哈尔滨工业大学 基于jtag的硬件故障注入系统及故障注入方法
CN102014046B (zh) * 2010-01-21 2013-01-23 柳州市达迪通信设备有限公司 一种实现模拟多流以太网数据报文发送的方法及系统
CN102779104A (zh) * 2011-05-09 2012-11-14 北京旋极信息技术股份有限公司 一种串口数据故障注入方法和装置
CN102779084B (zh) * 2011-05-12 2015-11-25 北京旋极信息技术股份有限公司 故障注入方法和装置
CN102779084A (zh) * 2011-05-12 2012-11-14 北京旋极信息技术股份有限公司 故障注入方法和装置
CN103293468A (zh) * 2013-04-09 2013-09-11 北京时代民芯科技有限公司 一种便于器件故障敏感度测试的故障注入系统及方法
CN103529820A (zh) * 2013-09-26 2014-01-22 北京航天自动控制研究所 一种适用于嵌入式设备的故障注入测试系统及测试方法
CN103529820B (zh) * 2013-09-26 2016-02-10 北京航天自动控制研究所 一种适用于嵌入式设备的故障注入测试系统及测试方法
CN105094109A (zh) * 2014-05-23 2015-11-25 上海通用汽车有限公司 一种故障注入装置
CN104657265A (zh) * 2015-02-10 2015-05-27 上海创景计算机系统有限公司 软件故障注入和分析的流程定义方法
CN106383303A (zh) * 2016-08-26 2017-02-08 哈尔滨工业大学 基于观察点与并行的故障注入模拟方法及装置
CN108717291A (zh) * 2018-05-11 2018-10-30 河南辉煌科技股份有限公司 基于cpld进行故障注入的测试装置及测试方法
CN108717291B (zh) * 2018-05-11 2021-04-06 河南辉煌科技股份有限公司 基于cpld进行故障注入的测试装置及测试方法
CN112840326A (zh) * 2018-12-03 2021-05-25 易享信息技术有限公司 用于自动化操作管理的测试引擎
CN111722095A (zh) * 2020-06-24 2020-09-29 中国电子科技集团公司第十四研究所 一种嵌入式故障注入模块、方法及高速数字电路系统

Also Published As

Publication number Publication date
CN100428174C (zh) 2008-10-22

Similar Documents

Publication Publication Date Title
CN1945547A (zh) 一种嵌入式故障注入系统及其方法
US7379846B1 (en) System and method for automated problem diagnosis
US8099695B1 (en) Automated debugging method and system for over-constrained circuit verification environment
US8880961B2 (en) System and method of computation by signature analysis
CN111104269B (zh) 一种基于uart接口的处理器调试方法及系统
CN113778822B (zh) 纠错能力测试方法、装置、可读存储介质及电子设备
CN115496034B (zh) 多模式gpu联合仿真系统
CN1693918A (zh) 检查物理系统模型的鲁棒性
US7930165B2 (en) Procedure and device for emulating a programmable unit providing system integrity control
EP2565790A1 (en) Method and system for injecting simulated errors
CN110321292A (zh) 芯片测试方法、装置、电子设备及计算机可读存储介质
CN115719047A (zh) 基于波形gpu联合仿真系统
CN105074656A (zh) 管理并发谓词表达式的方法和装置
CN115688676A (zh) 基于tlm的gpu联合仿真系统
CN115952758A (zh) 芯片验证方法、装置、电子设备及存储介质
CN115686655A (zh) 用于gpu ip验证的联合仿真系统
CN117591413A (zh) 一种基于uvm的总线接口模块的验证系统及验证方法
CN109885432A (zh) NVMe前端测试方法、装置、计算机设备及存储介质
US10970442B1 (en) Method of debugging hardware and firmware of data storage
US9702933B1 (en) System and method for concurrent interconnection diagnostics field
Jezek et al. Model checking of component behavior specification: A real life experience
Hassan et al. MCXplore: An automated framework for validating memory controller designs
Pfähler et al. Crash-safe refinement for a verified flash file system
CN115618800A (zh) 基于dpi的gpu联合仿真系统
US20060268724A1 (en) Using Open Vera Assertions to verify designs

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
C17 Cessation of patent right
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20081022

Termination date: 20121031