基于TCL语言的FPGA源代码静态自动测试系统研究

TCL语言是一种被EDA工具广泛支持的脚本语言,通常作为EDA工具的shell使用,在第三方测试工具中也能够较好地支持。文章结合常见EDA工具和Mentor HDL Designer测试工具,研究分析了测试工具的测试原理和TCL语言构建测试脚本的关键技术,并在此基础上设计了FPGA源代码静态自动测试系统。系统主要由测试工具初始化、TCL测试脚本执行和测试报告处理等组成。针对提出的系统给出了具体的测试环境搭建方案、测试方法及测试项目。最终测试结果表明,提出的系统完全达到了设计的预期效果,具有高效、灵活、稳定、自动化的特点。

基于GMSSL公共库应用的测试研究

国家电网公司新一代变电站二次系统系列技术规范DL/T860《通信报文技术规范》中要求具备国密TLS协议通信功能,加解密算法和数据安全传输为该通信装置的核心。因此,文章首先阐述了TLS通信机制及国密SM2、SM3、SM4算法;其次,从功能封装实现的角度对源代码进行了测试环境搭建,按照《自主可控新一代变电站二次系统技术规范通用类系列规范6二次设备安全防护》对数据安全、通信安全的要求设计了测试项目及测试方法。结果表明,GMSSL库函数的调用漏洞,将会导致TLS通信初始化时证书与私钥匹配错误、不加密的私钥文件与P12文件对密码的错误使用,库函数输入参数的异常传入将导致加解密与预期不符等问题。对不同长度数据加解密速度研究也为GMSSL库在Windows平台上的时间消耗提供了一定的参考。

基于工具检测的源代码静态测试技术研究

静态测试是源代码测试中重要测试手段之一。介绍了源代码静态测试的基本概念及其特点;分析了源代码静态测试的测试项目及内容,主要包括源代码规范性测试、安全性测试和运行时错误检测等;介绍了常用的源代码静态测试工具;提出了基于工具检测的源代码静态测试方案。该方案对其他静态测试工作者有一定的参考意义。

基于Nucleus系统的XML操作组件设计与测试

可扩展的标记语言XML在智能变电站配置文件中有着广泛的应用。分析了XML操作相关标准及技术要求,并在此基础上设计了基于Nucleus系统的XML操作组件。该组件主要有XML文件解析状态机、XML控制器句柄、XML操作公共接口和XML应用操作接口组成。针对该组件的四个组成部分给出了具体的测试项目及相关测试方法。最终测试结果表明,该文设计的XML操作组件功能安全、可靠,性能优良。

自主可控新一代继电保护装置自动测试系统的设计与应用

自主可控新一代继电保护装置采用国产化的站控层通讯协议(CMS协议)完成主站通讯,原采用MMS通讯协议的继电保护装置自动测试工具无法完成自主可控继电保护装置的自动测试。设计了一种基于CMS协议的自主可控继电保护装置自动测试系统,通过PLC开发板实现了自动换线和开入开出监视功能,解决了人工换线效率低下的问题。该系统采用模块化的设计方式,最大限度地开放了测试用例的设计开发,支持否定测试,使自动测试系统具有更广泛的应用和更全面的测试,保障测试质量和效率。

基于HDL Designer的FPGA静态测试技术研究

为保障电力行业软件产品FPGA测试质量,结合电力系统相关FPGA软件产品研究,利用Mentor HDL Designer工具进行静态测试,为有效精简测试结果条目,提高静态测试效率和质量,提出了一种基于测试项目的最小规则库优化方案,并给出了搭建测试环境遇到的典型问题解决办法。最后对最小规则库进行验证,测试结果表明,该方案能有效保障FPGA软件产品测试质量。