基于时间约束的CAN网络管理一致性测试

汽车网络管理是现代汽车必不可少的基础功能。随着智能网联汽车的兴起,ECU数量的增加使得车载网络系统的需求和复杂性不断提高。为了确保网络管理的安全性和稳定性,需要全面的测试解决方案。本研究在深入理解AUTOSARCAN网络管理规范的基础上,提出一种针对AUTOSAR CAN网络管理的测试方法。首先基于AUTOSAR提供的标准TTCN-3测试脚本搭建测试系统,设计不定长测试报文,实现对CAN网络管理的多场景测试。其次基于巴科斯范式定义一种新的语法格式,对TTCN-3进行时间约束,提高对CAN网络报文的监测准确度。利用此方法,在基于MPC5745B平台的实际测试中,定位到3处异常信息,评估了AUTOSAR CAN网络管理的安全性和稳定性。实验结果表明,该方法能够在节省测试软硬件资源的情况下,全面测试AUTOSAR CAN网络管理的一致性。

支持多信道绑定的HINOC MAC层协议一致性测试

本文研究了支持多信道绑定的HINOC MAC层协议一致性测试的实现机制,基于协议一致性测试方法框架,提出支持多信道绑定的HINOC MAC层协议一致性测试方案,并对多信道接纳流程进行测试,验证了支持多信道绑定的HINOC MAC层协议一致性测试方法的有效性和正确性。

基于IEC 61375标准的列车以太网一致性测试平台设计

[目的]为确保列车网络系统的稳定性、可靠性、兼容性以及数据传输和控制的准确性,需对列车网络的一致性测试进行研究。[方法]基于IEC 61375标准进行列车以太网测试平台设计,并完成测试平台的搭建;测试平台主要包括硬件平台和软件平台;其中,硬件平台由测试仪器、陪测设备、工装夹具以及工控机组成;软件平台基于LabVIEW(程序开发环境)程序语言、NI TestStand软件测试框架和Tcl(工具命令语言)脚本,进行系统集成。[结果及结论]实现了列车以太网物理层、协议层和性能的自动化测试,并通过CNAS(中国合格评定国家认可委员会)认证。

面向充电机通信协议一致性测试的用例自动生成方法

现有的充电机和新能源汽车电源管理系统(BMS)之间的通信协议一致性测试方法主要由专家经验设计测试用例,这种方法缺乏理论支撑,导致测试覆盖性弱,测试结果缺乏说服力,较难形成行业标准.为了解决上述问题,提出一种基于有限状态机(FSM)的充电机与BMS通信协议一致性测试方法.首先,通过对GB/T 27930—2015协议的详细解读,分析充电机和BMS之间的通信过程,使用FSM形式化语言描述充电机和BMS之间的充电过程,保证协议的不同实体之间的通信一致性.其次,在FSM的基础上利用唯一输入输出(UIO)序列计算测试序列,进而得到最终的测试用例.在生成测试用例时,采用递归算法考虑前置用例,让每一个测试用例都有完整的输入输出.最后,生成的用例结果表明,基于FSM的一致性测试方法不仅使得充电机与BMS间的通信协议一致性测试过程有了理论支撑,而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.

国家标准《测绘地理信息标准一致性测试规范》编制说明

《测绘地理信息标准一致性测试规范》是为了指导测绘地理信息标准之间的一致性测试,促进标准间的协调统一而制定的推荐性国家标准,对于提升标准质量和标准实用性、指导标准化工作、建立健全标准化工作机制具有重要意义。本文介绍了《测绘地理信息标准一致性测试规范》的编制原则和主要内容,及其与国内外其他相关标准的关系。重点阐述了标准一致性测试的测试类别划分和测试方法选择,标准一致性测试工作的流程、内容及其要求,以利于对该标准的理解和使用。

基于数据交换格式标准的通用一致性测试框架

基于数据交换格式标准的通用一致性测试框架首先需要研制一致性测试标准,再由测试开发人员依据一致性测试标准,完成数据格式标准文本形式到程序可读文件形式的转化及一致性测试系统的设计和开发,最终以程序可读文件作为基准测试用例集,以导出软件导出的被测文件为被测件,通过对结构、语法的分析完成一致性测试。通用测试框架通常不关注具体的标准,只需依据一致性测试标准提炼通用结构分析和语法分析规则,维护基准测试用例集,代码开发量有效降低,测试人员可以快速完成对测试需求的支撑。

IEC 61850一致性测试技术

一致性测试试验是智能电子设备(IED)投入使用前对其IEC 61850兼容性进行检测的必要手段。首先简要介绍了IEC 61850一致性测试技术发展的历史和现状;其次根据一致性测试的基本内容,详细总结配置文件一致性测试和IED设备一致性测试存在的问题,并结合形式化描述技术,提出使用扩展Petri网和Pi演算描述IED设备服务模型的方法;最后根据现场实际运行情况总结一致性测试技术存在的问题并提出解决措施。

IEC 61850一致性测试研究

变电站自动化产品遵循的IEC 61850通信标准是确保不同厂家产品互通的关键,因此,标准的一致性测试成为产品开发过程中的重要环节。文中介绍了IEC 61850一致性测试的程序、内容及测试项目,提出并讨论了一致性测试的简单框架结构。对中国的协议一致性测试的发展道路提出自己的观点。IEC 61850一致性测试工作的开展有一定的积极意义。

IEC61850标准一致性测试的方案和现场应用

介绍了一致性测试仿真环境的基本构成,包括智能电子装置(IED)服务器端模拟器、客户端监控软件、系统配置工具、IED配置工具和协议分析工具。在分析现场测试需求的基础上,提出了实现变电站内IEC 61850标准一致性测试的总体方案。应用IEC 61850标准一致性测试与仿真培训系统,针对西安供电公司2个110 kV变电站进行了完整的测试。通过分析和研究测试结果,验证了变电站支持的IEC 61850功能,对数据模型等存在的问题进行了探讨。

变电设备在线监测系统中IEC 61850的一致性测试

一致性测试是保证变电设备在线监测智能电子设备(IED)之间互操作性的基础,对智能变电站中在线监测IED的研发及IEC 61850的推广应用具有重要意义。通过分析一致性测试的基本原理,提出在线监测装置、综合监测单元和站端监测单元的一致性测试方案,以降低变电设备在线监测系统集成中互操作失败的风险。开发了一致性测试仿真系统,给出IEC 61850对象模型、抽象通信服务接口、制造报文规范协议栈以及协议分析器的实现方法。采用综合监测单元仿真工具、站端监测单元仿真工具以及Modbus子站模拟软件模拟电容型设备在线监测的通信过程,并给出一致性测试流程与协议数据单元的分析结果,验证了实现方法的正确性和可行性。

MVB协议一致性测试研究与实现

多功能车辆总线(MVB)是列车通信网络标准中明确定义的通信协议,用于车辆内部各功能设备间的信息传输。为了确保来自不同生产厂家的MVB设备的兼容性和互操作性,必须对各个MVB设备进行协议一致性测试。本文在简单介绍协议一致性测试基本工作原理的基础上,分析了MVB协议的特点,提出了对MVB进行协议一致性测试的测试方法和应包括的测试内容。并以过程数据链路层协议为例,详细阐述了MVB设备的测试要求、测试实例的生成、测试运行及测试评估等具体的测试实现过程。最后基于上述测试原理,在实验室环境下设计并构建了基于PC104总线的80486硬件平台和μC/OS-II实时多任务操作系统软件平台的测试系统,完成了MVB过程数据链路层协议的高覆盖一致性测试,给MVB协议其他方面的一致性测试提供了一定的借鉴。

网络协议一致性测试研究综述

一致性测试是网络协议验证中最为基本的部分。虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路。

基于FSM的协议一致性测试序列生成算法研究

在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。

基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究

高速铁路列车运行控制系统是一个典型的实时系统,如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方法已广泛用于列控系统功能一致性测试中,然而,随着系统复杂度的提高,物理环境中时延的非确定性制约传统离线测试方法的应用。本文引入"在线测试"的概念,利用时间自动机理论对典型场景车载设备的RBC切换过程建模,并定义可观测消息通道将该模型划分为环境和设备两部分,从而借助工具UPPAAL-TRON"边生成边执行"测试用例,找出了在非确定性时延下,仿真RBC测试模型与测试需求中不一致的地方。并通过改进测试模型中RBC处理占用参数的设置,实现对RBC切换过程中跨界传递联锁消息时延非确定性的一致性测试。

应用于计算机网络协议一致性测试的传输机制

测试传输在很大程度上影响测试系统实现和测试集设计.良好的传输方法能够对测试集设计者屏蔽被测协议实现的相关信息,同时简化测试配置.根据测试集设计和测试传输分离的思想,采用通信实体和网络接口相结合的机制实现测试传输,网络接口用于定义逻辑测试接口的类型和相应的参数,相当于一台逻辑测试器;通信实体用于向逻辑测试器屏蔽下层服务提供者的类型,完成测试数据的发送／接收工作.该传输机制在IPv6协议一致性测试系统中获得了成功.

EPA协议一致性测试方法

EPA是我国第一个拥有自主知识产权并被国际电工委员会(IEC)认可的工业自动化领域国际标准。本文在研究EPA协议一致性测试原理、静态测试与动态测试方法与实现技术的基础上,参照TTCN的结构框架对EPA抽象测试集进行形式化描述,提出了一种EPA协议一致性测试的方法,阐述了EPA协议实现一致性说明和协议实施附加信息的生成方法,并以变量写服务的测试为例,说明了EPA协议一致性测试流程。国家863/CIMS验收专家组委托的专家测试表明这种测试方法能够准确测试出被测协议实现与标准的一致程度。

STEP一致性测试系统的开发

STEP AP2 0 3( ISO10 30 3- 2 0 3- 1994)是表达 3D机械产品在设计阶段的产品数据的国际标准 ,它提供了一种独立于任何特定系统的信息通信的中性机制 .然而 ,如果不对应用系统进行确定其是否与标准相一致的测试 ,则产品数据交换的目标就不能完全达到 .文中在给出 STEP一致性测试的系统方法的基础上 ,通过已开发的 STEPAP2 0 3一致性测试系统 ,来说明如何实现

室内多波段光轴一致性测试系统的设计

介绍用于室内检测多波段光电设备光轴一致性的测试系统。该系统采用准直平行光管为测试系统提供无穷远目标。为满足全波段测试,光束无中心遮拦,系统选用离轴抛物面全反射光学系统。采用多光谱分光镜为激光光斑提供瞄准基准,带温控热十字丝的高斯目镜为红外和可见光波段提供瞄准基准,实现了光电设备之间可见与红外、可见与激光、激光与红外光轴的一致性测试。系统具有测试精度高、测试结果可靠等特点。根据初步估算,可见与红外、可见与激光、红外与激光之间的光轴一致性测试精度分别达到了4.01,″1.08″和4.05″的水平。该系统有效解决了多波段光测设备光轴间的一致性测试问题。

基于层次结构的OSPF一致性测试

本文提出了对OSPF协议划分层次来进行一致性测试的方法,描述了划分层次结构的目的、原则和分析,这种方法可以消除测试用例之间的依赖性,减少协议实现中的不一致给测试过程带来的影响。

基于XML的协议一致性测试系统的设计与实现

本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。