-
公开(公告)号:CN109302322B
公开(公告)日:2021-06-29
申请号:CN201811367882.X
申请日:2018-11-16
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
摘要: 本发明涉及一种提高核安全级网络测试准确性的测试系统及方法,属于核电站仪控系统安全功能测试技术领域,解决了现有测试方法无法准确定位故障产生位置的问题。包括测试回路,第一测试装置产生测试激励,同时收集被测设备响应上述测试激励产生的网络点数据;并通过解析所述测试激励和网络点数据的应用层信息,对被测设备数据处理过程正确性进行判断;监视回路,第二测试装置对测试回路中测试激励和网络点数据进行同步冗余检测,并将检测结果与测试回路中的正确性判断结果进行对比,得到测试结论。本发明能够自动实现正确性判断,实现故障位置的精确定位;同时,利用监视回路,使测试系统具备一定的自监视和自诊断能力,提高了测试过程的可靠性。
-
公开(公告)号:CN109472061A
公开(公告)日:2019-03-15
申请号:CN201811211120.0
申请日:2018-10-17
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
摘要: 本发明涉及一种可重用的仿真验证平台及仿真验证方法,属于FPGA产品功能仿真验证技术领域,解决了现有定向测试中存在的人工介入过多、工作量大、验证平台重用性低的问题。包括DUT以及验证组件,验证组件包括参数配置模块、测试用例模块、外存储代理器、通道代理器和MPU功能模型,参数配置模块用于配置其他验证组件的参数;测试用例模块用于接收参数配置模块发送的环境参数,并统一调度外存储代理器、通道代理器、MPU功能模型的激励序列;外存储代理器用于存储DUT内部的寄存器配置数据;通道代理器用于模拟DUT的外部通道;MPU功能模型用于根据测试用例模型的测试需求与DUT进行交互。本发明设计的仿真验证平台具有可重用、易扩展等特点。
-
公开(公告)号:CN106774245A
公开(公告)日:2017-05-31
申请号:CN201611108720.5
申请日:2016-12-06
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G05B23/02
CPC分类号: G05B23/0213 , G05B2219/24065
摘要: 本发明提供一种核电站安全级仪控设备通道稳定度自动化测试系统和方法,所述系统包括上位机、基于FPGA的测试设备和基于FPGA的数据接口调理模块,所述测试设备通过所述数据接口调理模块与被测对象连接。上位机通过参数化的方式将配置参数下发给基于FPGA的测试数据发送模块,测试数据发送模块根据配置参数生成测试数据,驱动数据接口调理模块输出实际测试信号,再通过数据接口调理模块将被测设备输出的信号采集回来,并调制成数字信号,输入基于FPGA的测试结果比对模块对回收的数据进行比较,将比较结果实时上传给上位机,通过上位机软件对通道数据比较分析结果进行分析,用于判断被测设备通道稳定度是否超出预设范围。
-
公开(公告)号:CN107797929B
公开(公告)日:2021-01-22
申请号:CN201711014421.X
申请日:2017-10-26
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G06F11/36
摘要: 本发明属于安全级仪控系统仿真测试的技术领域,为了解决现有技术中仿真测试功能覆盖率不能准确得到的技术问题,本发明提供一种可有效提高可编程逻辑仿真测试功能覆盖率的统计方法和装置,所述统计方法包括:S1、对HPD需求规格书中的需求项进行形式化描述,并按照预定的编码规则对各需求项建立唯一的编号;S2、建立待测试系统的追踪矩阵;S3、编写测试规程中的每条测试通过准则相应的SVA断言代码;S4、按照所述测试用例对应的测试激励,执行完成后通过SVA断言自动生成测试结果。能够通过在仿真测试过程中增加对编码环节进行有效的追踪和监控,从而直观的体现功能覆盖率,使可编程逻辑的仿真测试过程更严谨、更符合高可靠性的要求。
-
公开(公告)号:CN107797929A
公开(公告)日:2018-03-13
申请号:CN201711014421.X
申请日:2017-10-26
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G06F11/36
CPC分类号: G06F11/3684 , G06F11/3624 , G06F11/3676 , G06F11/3692
摘要: 本发明属于安全级仪控系统仿真测试的技术领域,为了解决现有技术中仿真测试功能覆盖率不能准确得到的技术问题,本发明提供一种可有效提高可编程逻辑仿真测试功能覆盖率的统计方法和装置,所述统计方法包括:S1、对HPD需求规格书中的需求项进行形式化描述,并按照预定的编码规则对各需求项建立唯一的编号;S2、建立待测试系统的追踪矩阵;S3、编写测试规程中的每条测试通过准则相应的SVA断言代码;S4、按照所述测试用例对应的测试激励,执行完成后通过SVA断言自动生成测试结果。能够通过在仿真测试过程中增加对编码环节进行有效的追踪和监控,从而直观的体现功能覆盖率,使可编程逻辑的仿真测试过程更严谨、更符合高可靠性的要求。
-
公开(公告)号:CN109472061B
公开(公告)日:2022-10-14
申请号:CN201811211120.0
申请日:2018-10-17
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G06F30/331 , G06F11/36
摘要: 本发明涉及一种可重用的仿真验证平台及仿真验证方法,属于FPGA产品功能仿真验证技术领域,解决了现有定向测试中存在的人工介入过多、工作量大、验证平台重用性低的问题。包括DUT以及验证组件,验证组件包括参数配置模块、测试用例模块、外存储代理器、通道代理器和MPU功能模型,参数配置模块用于配置其他验证组件的参数;测试用例模块用于接收参数配置模块发送的环境参数,并统一调度外存储代理器、通道代理器、MPU功能模型的激励序列;外存储代理器用于存储DUT内部的寄存器配置数据;通道代理器用于模拟DUT的外部通道;MPU功能模型用于根据测试用例模型的测试需求与DUT进行交互。本发明设计的仿真验证平台具有可重用、易扩展等特点。
-
公开(公告)号:CN106777571A
公开(公告)日:2017-05-31
申请号:CN201611081219.4
申请日:2016-11-30
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G06F17/50
CPC分类号: G06F17/5054 , G06F17/5009
摘要: 本发明提供一种基于System Verilog实现的可编程逻辑算法块自动化验证平台,包括顶层测试模块、测试激励自动生成模块、虚接口连接模块、算法库、参考模型建立模块和自动检查模块。顶层测试模块开启测试命令,数据在激励自动生成模块产生,通过虚接口连接模块传递到被测对象和参考模型,被测对象接收到数据后根据要求进行处理,参考模型也对数据进行处理,最后被测对象、参考模型将产生的数据通过虚口连接模块传递到自动检查模块做比对处理,检查模块输出比对的结果。本发明采用Systerm Verilog的虚接口的方式,将测试平台与被测对象分离,使测试平台不随测试对象的改变大幅度的变化,重用率高。
-
公开(公告)号:CN105162649A
公开(公告)日:2015-12-16
申请号:CN201510471616.1
申请日:2015-08-04
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: H04L12/26
CPC分类号: H04L43/08
摘要: 本发明涉及一种针对核电厂安全级网络性能指标的测试方法,其包括:利用虚拟节点方法,将测试设备串入被测网段;利用自开发的网络测试设备对网络测试数据进行发送、接收、过程控制和数据分析;利用第三方网络检测设备负责对发送和接收的测试数据进行同步冗余检测;将两个测试设备产生的测试结果互为参考;利用无源光耦合器对测试数据进行无损一分二处理;将两个测试设备产生的数据同时通过光纤输出给计算机;利用自开发的网络测试设备对发出的每一个测试帧进行唯一性编码,数据回读后定位每一帧。本发明能实现对核电站安全级网络通信设备的性能进行有效测试,达到有效提高测量精度和可信性目的,可有效测量出核电站安全级网络性能。
-
公开(公告)号:CN106774245B
公开(公告)日:2019-06-04
申请号:CN201611108720.5
申请日:2016-12-06
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC分类号: G05B23/02
摘要: 本发明提供一种核电站安全级仪控设备通道稳定度自动化测试系统和方法,所述系统包括上位机、基于FPGA的测试设备和基于FPGA的数据接口调理模块,所述测试设备通过所述数据接口调理模块与被测对象连接。上位机通过参数化的方式将配置参数下发给基于FPGA的测试数据发送模块,测试数据发送模块根据配置参数生成测试数据,驱动数据接口调理模块输出实际测试信号,再通过数据接口调理模块将被测设备输出的信号采集回来,并调制成数字信号,输入基于FPGA的测试结果比对模块对回收的数据进行比较,将比较结果实时上传给上位机,通过上位机软件对通道数据比较分析结果进行分析,用于判断被测设备通道稳定度是否超出预设范围。
-
公开(公告)号:CN109302322A
公开(公告)日:2019-02-01
申请号:CN201811367882.X
申请日:2018-11-16
申请人: 北京广利核系统工程有限公司 , 中国广核集团有限公司
摘要: 本发明涉及一种提高核安全级网络测试准确性的测试系统及方法,属于核电站仪控系统安全功能测试技术领域,解决了现有测试方法无法准确定位故障产生位置的问题。包括测试回路,第一测试装置产生测试激励,同时收集被测设备响应上述测试激励产生的网络点数据;并通过解析所述测试激励和网络点数据的应用层信息,对被测设备数据处理过程正确性进行判断;监视回路,第二测试装置对测试回路中测试激励和网络点数据进行同步冗余检测,并将检测结果与测试回路中的正确性判断结果进行对比,得到测试结论。本发明能够自动实现正确性判断,实现故障位置的精确定位;同时,利用监视回路,使测试系统具备一定的自监视和自诊断能力,提高了测试过程的可靠性。
-
-
-
-
-
-
-
-
-