面向安全需求的安全通信协议测试序列生成算法

安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议安全性测试序列生成算法,该算法与传统的算法相比具有较高的安全性测试效率,能确保安全性测试的完备性。此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中。

计量自动化系统终端通信协议测试平台研究

介绍研究计量自动化系统终端通信协议,基于比对法建立了计量自动化系统通信协议测试平台的方法。

配网自动化终端之精度、功能、通信协议综合检测技术研究

针对我国配网自动化终端缺少全面而有效的检测手段的实际情况,介绍了一种配网自动化终端综合检测方案。其检测平台由主站模拟系统、多通道接口、被测终端和现场工况模拟系统组成,实现了集基本误差、通信协议检测、功能检测于一体的多功能检测,使被测终端的综合检测成为了可能。该平台的研制对进一步规范和保证终端的功能,提高测试效率,提升检测水平,有一定的参考价值。

展望新世纪初电子测试技术和仪器的发展

在信息产业迅猛发展的冲击下,电子测试技术和仪器在新世纪初将有重大发展。首先是面向通信尤其是网络通信和移动通信的测试,仪器将成为本产业的主导产品;其次计算机和数字技术的引用将加速和有重大突破;最后,微波仪器中硬件的作用和优势仍不可替代,且愈来愈为少数大公司所垄断。

自动化远方电量采集终端功能检测平台研制

针对自动化远方电量采集终端的技术性能直接影响电力系统运行水平及电量结算正确性的情况,本文研究的自动化远方电量采集终端的功能检测平台,实现了数据采集功能、保证了数据正确性、完成了通信协议的检测。检测平台采用虚拟电能表和检测主站实现对终端数据和通信协议的同源全闭环测试。

Research and improvement on the limitation of authentication test

This paper elaborated on the limitation of authentication test theorem, illustrated the fundamental cause of that limitation through examples, then enhanced authentication test to solve this problem, and also proved the soundness of that improvement with formal method. The enhanced theory can deal with protocols with test component as proper subterm of other regular node＇ s component under certain conditions, and extend the application scope of authentication test. With enhanced authentication test, the automatic protocol verification tools will be more efficient and convenient.