董玲玲
- 作品数：3 被引量：0H指数：0
- 供职机构：北京广利核系统工程有限公司更多>>
- 相关领域：自动化与计算机技术电气工程电子电信更多>>
- 一种基于System Verilog实现的可编程逻辑算法块自动化验证平台
- 本发明提供一种基于System Verilog实现的可编程逻辑算法块自动化验证平台，包括顶层测试模块、测试激励自动生成模块、虚接口连接模块、算法库、参考模型建立模块和自动检查模块。顶层测试模块开启测试命令，数据在激励自动...
- 董玲玲江国进白涛曹宗生周恩通吴飞宋立新冀建伟
- 文献传递
- 一种可重用的验证平台在核电FPGA仿真测试中的应用
- 2019年
- 基于FPGA开发的核电数字化仪控系统(DCS)应用环境苛刻,功能性的故障可能引起误操作,进而引发灾难性的后果,因此对FPGA开发的软件功能的测试尤为重要。传统的界面仿真测试验证效率低、可重用性差,而采用验证方法学的验证平台的搭建又较为繁琐,用时较多,不能满足项目时间的要求。本文提出一种基于System Verilog搭建的可重用的验证平台,采用虚拟端口方法模拟外部芯片接口的功能,最后采用批处理的方式开启验证平台,实现自动化的仿真测试,其接口模型、算法库及验证平台自启动的框架可在不同的项目测试中使用,实现可重用性。该平台已在公司的核电站仪控系统产品的验证中得到成功应用,缩短了测试时间,并满足安全级产品认证的要求。
- 董玲玲许先音李梦林
- 关键词：重用性仿真验证
- Kaputt在核安全级软件单元测试上的应用研究
- 2017年
- 在核安全级软件的测试中,单元测试是必不可少的测试手段之一。目前,部分核安全级软件采用函数式编程语言OCaml开发,但针对该语言开发的核安全级软件进行单元测试,尚缺乏具体的执行标准,通过确认测试来补充。本文提出采用第三方测试工具Kaputt对OCaml开发的核安全软件进行单元测试的方法,介绍Kaputt的测试模式、测试执行过程,及测试后分析关键字的覆盖率,以判断测试是否完备。该方法已在自主化核安全级软件测试中进行实践,取得良好的效果。
- 董玲玲曹宗生李旗刘元
- 关键词：函数式编程
