您的位置: 专家智库 > >

文献类型

  • 5篇专利
  • 1篇期刊文章

领域

  • 4篇自动化与计算...

主题

  • 2篇信号
  • 1篇递归
  • 1篇递归算法
  • 1篇电厂
  • 1篇电路
  • 1篇电路板
  • 1篇电路板测试
  • 1篇电子设备
  • 1篇信号采集
  • 1篇仪控系统
  • 1篇仪器控制
  • 1篇预置
  • 1篇源信号
  • 1篇软件单元测试
  • 1篇摄像
  • 1篇摄像头
  • 1篇适配
  • 1篇输出信号
  • 1篇数据服务
  • 1篇数据服务器

机构

  • 6篇北京广利核系...

作者

  • 6篇李旗
  • 4篇张旭
  • 3篇朱剑
  • 2篇齐敏
  • 1篇刘元
  • 1篇时建纲
  • 1篇贾虎军
  • 1篇曹宗生
  • 1篇董玲玲

传媒

  • 1篇自动化博览

年份

  • 3篇2024
  • 1篇2023
  • 1篇2022
  • 1篇2017
6 条 记 录,以下是 1-6
排序方式:
一种比对测试方法、装置、电子设备及存储介质
本申请提供了一种比对测试方法、装置、电子设备及存储介质,该方法包括:根据图纸命名映射关系,确定待比对组态图和目标CLD图,待比对组态图是所有组态图中的任意一幅,目标CLD图是需要与待比对组态图进行一致性比对的CLD图;对...
李旗 刘飞 卢顺 董翠霞 李冉张旭朱剑
一种CIS-V设备的测试方法及装置
本发明提供一种CIS‑V设备的测试方法及装置,应用于处理器,处理器连接CIS‑V设备和摄像头,摄像头对准CIS‑V设备中的面板指示灯,测试方法包括:控制CIS‑V设备模拟长期运行工况,针对CIS‑V设备进行长期运行工况对...
贾虎军孙略武方杰石桂连朱剑姚世杰董翠霞李旗杜乔瑞
一种分布式测试系统
本发明提供的分布式测试系统由数据服务器、测试终端和数据交互设备构成,所述数据服务器用于实现每次测试过程的测试数据的存储;所述测试终端通过所述数据交互设备与被测设备连接,所述测试终端加载有用于对所述被测设备进行测试的预设测...
董翠霞黄君龙齐敏李旗张旭左浩
Kaputt在核安全级软件单元测试上的应用研究
2017年
在核安全级软件的测试中,单元测试是必不可少的测试手段之一。目前,部分核安全级软件采用函数式编程语言OCaml开发,但针对该语言开发的核安全级软件进行单元测试,尚缺乏具体的执行标准,通过确认测试来补充。本文提出采用第三方测试工具Kaputt对OCaml开发的核安全软件进行单元测试的方法,介绍Kaputt的测试模式、测试执行过程,及测试后分析关键字的覆盖率,以判断测试是否完备。该方法已在自主化核安全级软件测试中进行实践,取得良好的效果。
董玲玲曹宗生李旗刘元
关键词:函数式编程
一种核电站数字化仪控系统的测试方法及系统
本申请公开了一种核电站数字化仪控系统的测试方法及系统,对通过n路IO输出通道输出的多个激励信号进行组合处理,得到多个组合,每个组合由存在组合逻辑的至少2个阶跃变化的激励信号组成,或者由不存在组合的阶跃变化的激励信号组成,...
董翠霞黄君龙张旭朱剑崔吉叶姚世杰李旗时建纲徐林龙孔德山
一种测试电路板的方法及装置
本申请提供了一种测试电路板的方法及装置,涉及仪器控制技术领域。测试设备首先响应于对电路板进行测试的请求,控制上位机中的测试软件进入电路板测试配置界面;然后测试设备响应于运维人员基于电路板测试配置界面设置的测试参数,通过目...
姚世杰张旭董翠霞黄君龙李旗齐敏徐先柱郄永学
共1页<1>
聚类工具0