基于AdmiTest的CTCS-3级列控系统自动测试平台 被引量：4

1

作者 贺广宇 范明 +1 位作者 程剑锋 黄宏福 《中国铁道科学》 EI CAS CSCD 北大核心 2013年第4期128-136,共9页

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路... 根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块。以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试。测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励-反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试。 展开更多

关键词 CTCS-3级列控系统 激励-反馈机制 系统自动测试 测试平台

在线阅读 下载PDF 职称材料

4 m×3 m风洞大迎角机构上位机软件

2

作者 刘赟 黄心跃 +1 位作者 张苗苗 陈陆军 《兵工自动化》 北大核心 2024年第7期79-81,96,共4页

针对大迎角机构机械装置、控制硬件的改造升级,基于Labview框架平台设计编写上位机控制软件。优化更新基于TCP/IP协议的Socket通信,增设虚拟支杆设定、模型防碰撞识别等功能。编制的控制软件已成功应用于气动中心4 m×3 m低速风洞... 针对大迎角机构机械装置、控制硬件的改造升级,基于Labview框架平台设计编写上位机控制软件。优化更新基于TCP/IP协议的Socket通信,增设虚拟支杆设定、模型防碰撞识别等功能。编制的控制软件已成功应用于气动中心4 m×3 m低速风洞大迎角试验。结果表明,该软件有效提升了试验质量效率和设备运行安全。 展开更多

关键词 4 m×3 m低速风洞 大迎角试验 上位机控制软件

在线阅读 下载PDF 职称材料

基于TTCN-3底层协议测试方法研究 被引量：5

3

作者 孙晶 尚星星 +1 位作者 赵会群 朱鹏斌 《计算机应用研究》 CSCD 北大核心 2010年第11期4165-4167,4181,共4页

TTCN-3测试语言不仅可以应用于普通的协议测试,也可以应用于硬件系统、应用服务系统以及与操作系统和硬件相关的服务型底层协议的测试。将协议一致性框架应用到TTCN-3中,在原有测试方法基础上,基于本实验室开发的测试平台,提出了一种新... TTCN-3测试语言不仅可以应用于普通的协议测试,也可以应用于硬件系统、应用服务系统以及与操作系统和硬件相关的服务型底层协议的测试。将协议一致性框架应用到TTCN-3中,在原有测试方法基础上,基于本实验室开发的测试平台,提出了一种新的测试方法,并以ARP为例按照新的测试方法对其进行测试,验证了ARP的一致性和TTCN-3语言应用于底层协议的可能。 展开更多

关键词 测试及测试控制表示法第三版 测试方法 编码解码器 适配器 地址解析协议

在线阅读 下载PDF 职称材料

TTCN-3语言类型系统到C++语言的翻译方案 被引量：4

4

作者 蒋凡 王建学 +1 位作者 章磊 陈军成 《计算机工程与应用》 CSCD 北大核心 2009年第30期65-68,72,共5页

在程序语言翻译技术中,如何有效地减少翻译后的代码数量是一个值得研究的性能问题。综合考虑TTCN-3语言中值和模板的定义和使用,提出一种新的TTCN-3语言到C++语言翻译方案。与现有的翻译方案相比,翻译后的C++代码与原TTCN-3代码比例由1... 在程序语言翻译技术中,如何有效地减少翻译后的代码数量是一个值得研究的性能问题。综合考虑TTCN-3语言中值和模板的定义和使用,提出一种新的TTCN-3语言到C++语言翻译方案。与现有的翻译方案相比,翻译后的C++代码与原TTCN-3代码比例由1∶20降低到1∶5左右。与此同时,新方案减少了类型信息副本的保存,提高内存的利用效率,更确切地说,提高了TTCN-3语言编译器和执行器的性能。此外,因为翻译后的C++代码与原TTCN-3代码基本一致,这使得代码的可读性得到改善,进而提高代码的可维护性。 展开更多

关键词 TTCN-3语言 翻译 类型支持库 类型信息

在线阅读 下载PDF 职称材料

基于Web Service的TTCN-3远程测试系统 被引量：6

5

作者 孙萌 陈静 王鲁 《计算机应用与软件》 CSCD 北大核心 2012年第6期137-140,共4页

通过分析TTCN-3测试系统的通用结构,提出基于TTCN-3的远程测试概念,进而提出一种基于Web Service的TTCN-3远程测试系统体系架构,实现TTCN-3脚本的远程编辑、编译和执行,满足测试人员通过远程客户端自动地测试被测系统的需求。通过将该... 通过分析TTCN-3测试系统的通用结构,提出基于TTCN-3的远程测试概念,进而提出一种基于Web Service的TTCN-3远程测试系统体系架构,实现TTCN-3脚本的远程编辑、编译和执行,满足测试人员通过远程客户端自动地测试被测系统的需求。通过将该系统应用于某银行业务系统的测试,验证系统应用于远程自动化测试的有效性,提高测试效率。 展开更多

关键词 TTCN-3 WEB SERVICE 远程测试 远程测试系统

在线阅读 下载PDF 职称材料

TTCN-3语言中基于过程通信的编译器实现 被引量：2

6

作者 蒋凡 范秀萍 《计算机工程》 CAS CSCD 北大核心 2016年第8期9-13,共5页

TTCN-3是国际标准测试语言,支持基于消息通信和基于过程通信2种通信方式。为满足分布式系统和云应用平台中对远程过程调用的测试需求,提出一种基于过程通信的高效编译器设计方案,采用模块化思想,实现从TTCN-3语言到C++语言的自动化翻译... TTCN-3是国际标准测试语言,支持基于消息通信和基于过程通信2种通信方式。为满足分布式系统和云应用平台中对远程过程调用的测试需求,提出一种基于过程通信的高效编译器设计方案,采用模块化思想,实现从TTCN-3语言到C++语言的自动化翻译,同时简化后期的执行器设计。实验结果表明,该方案可减少后期执行过程对平台的依赖性,并且翻译后的C++代码与TTCN-3代码相似,提高了代码的可维护性。 展开更多

关键词 TTCN-3语言 测试系统 基于过程通信 自动化编译器 编译模块

在线阅读 下载PDF 职称材料

一种基于TTCN-3的多路并行测试方法 被引量：1

7

作者 高翔 杨敬峰 蒋凡 《计算机工程》 CAS CSCD 北大核心 2007年第7期213-214,219,共3页

随着全球通信网络的高速发展,对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案,阐述了测试适配器的开发方法,重点分析了多路适配器的原理及实现,并以此为基础提出了一种多路并行测... 随着全球通信网络的高速发展,对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案,阐述了测试适配器的开发方法,重点分析了多路适配器的原理及实现,并以此为基础提出了一种多路并行测试的方法,该方法已成功地应用于802.16d协议的一致性测试。 展开更多

关键词 测试和测试控制表示法版本3 并行测试 多路适配器

在线阅读 下载PDF 职称材料

基于TTCN-3的Web Service测试方法 被引量：2

8

作者 王恩雷 赵会群 尚思超 《计算机工程》 CAS CSCD 北大核心 2009年第11期59-61,共3页

介绍Web Service技术的新特点和TTCN-3的相关知识,针对传统测试方法在测试Web Service应用时出现的问题,提出一种基于TTCN-3的Web Service测试框架及测试方法,并进一步说明使用TTCN-3测试Web Service的测试流程,给出一个Web Service的... 介绍Web Service技术的新特点和TTCN-3的相关知识,针对传统测试方法在测试Web Service应用时出现的问题,提出一种基于TTCN-3的Web Service测试框架及测试方法,并进一步说明使用TTCN-3测试Web Service的测试流程,给出一个Web Service的测试实例,证明该测试方法的可行性。 展开更多

关键词 WEB Service测试 被测系统适配器 编码解码器 TTCN-3抽象测试套

在线阅读 下载PDF 职称材料

基于TTCN-3的LDP一致性测试研究 被引量：2

9

作者 陈元 尹霞 王之梁 《计算机应用研究》 CSCD 北大核心 2009年第1期286-288,共3页

为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP... 为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。 展开更多

关键词 一致性测试 测试和测试控制表示法v3 协议集成测试系统v3 标记分发协议

在线阅读 下载PDF 职称材料

基于TAIO变异的CTCS-3列控系统测试案例生成方法 被引量：8

10

作者 魏柏全 吕继东 +2 位作者 陈柯行 唐涛 王唯 《西南交通大学学报》 EI CSCD 北大核心 2020年第5期937-945,962,共10页

为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变... 为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变行为、改变目标位置、改变源位置等),形成了15106个变异体;利用输入输出一致性关系(tioco)和k-Bounded模型检验方法生成了10843个测试案例;应用一致性关系分数(CRS)、平均一致性关系分数(ACRS)和加权一致性关系分数(WCRS)进行了故障覆盖度的分析.研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式,而对于约束取反和复位取反的故障模式覆盖度不高,需通过额外的观测信息来检测故障. 展开更多

关键词 CTCS-3级列控系统 输入输出时间自动机(TAIO) 变异分析 模式转换 测试案例

在线阅读 下载PDF 职称材料

基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究 被引量：3

11

作者 郑伟 唐涛 +1 位作者 吕继东 魏国栋 《铁道学报》 EI CAS CSCD 北大核心 2020年第5期72-83,共12页

作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控... 作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法。首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程。其次,利用I/O等价原理和等价类划分理论,得到了两种不同制动优先情况下的输入等价类划分。在此基础上,通过引入了被测系统的故障模型和故障域范围,采用W-method测试用例集生成方法,在满足模型故障域的条件下,最终得到两种不同制动优先的目标速度监控曲线模型完备测试集。设备制动优先情况生成的测试用例数量高于司机制动优先约33.3%,且所需测试时间和内存消耗更多。 展开更多

关键词 CTCS-3列控车载 目标速度监控 输入等价类划分 完备性 测试用例

在线阅读 下载PDF 职称材料

一种面向TTCN-3测试系统的共享内存管理框架

12

作者 应群 陈伟 赵琛 《计算机应用研究》 CSCD 北大核心 2007年第7期157-161,共5页

为了提高TTCN-3测试组件间通信的性能,在基于TTCN-3的基础测试平台上设计并实现了一套支持动态切换内存管理策略的共享内存管理框架,并在该框架下实现了三套不同的共享内存分配和自动回收策略。框架能够根据系统运行时刻的共享内存统计... 为了提高TTCN-3测试组件间通信的性能,在基于TTCN-3的基础测试平台上设计并实现了一套支持动态切换内存管理策略的共享内存管理框架,并在该框架下实现了三套不同的共享内存分配和自动回收策略。框架能够根据系统运行时刻的共享内存统计特征在这些策略中选择性能预期最好的一套,并动态地将当前内存管理策略切换为该套方案。在基础测试平台上运行一系列并发测试用例表明,该框架能提升内存管理以及整个系统的平均性能。 展开更多

关键词 测试和测试控制标记(第三版) 测试系统 共享内存管理 算法动态切换

在线阅读 下载PDF 职称材料

CTCS-3级列控系统功能测试方法分析 被引量：5

13

作者 刘强 《中国安全科学学报》 CAS CSCD 北大核心 2018年第S2期79-83,共5页

CTCS-3级列控系统首次实现通过无线通信方式对长大距离范围内时速350 km列车的安全可靠运行控制,由于系统结构复杂,集成度高,沿用既有测试方法已不能满足安全需求。信号系统以前通常的测试方法,是从系统功能中选择一些关键功能编制测试... CTCS-3级列控系统首次实现通过无线通信方式对长大距离范围内时速350 km列车的安全可靠运行控制,由于系统结构复杂,集成度高,沿用既有测试方法已不能满足安全需求。信号系统以前通常的测试方法,是从系统功能中选择一些关键功能编制测试表进行测试,具有随机性,可能无法做到完整性测试。通过分析,提出新的列控系统功能测试方法,即提取列控系统功能特性,规划设计测试案例,并逐项检查列控系统在各种场景、工作模式下的运行状态和运行结果。研究表明:新方法降低了测试的复杂程度,提高了试验方式的科学性、试验内容的完整性和试验数据和结论的严密性。 展开更多

关键词 高速铁路 CTCS-3列控系统 功能特性 测试案例 测试序列

在线阅读 下载PDF 职称材料

自主化CTCS-3级列控系统车载设备测试方法研究 被引量：8

14

作者 刘育君 季舒青 农梅 《中国铁路》 2018年第9期15-18,共4页

以自主化CTCS-3级列控系统车载设备为研究对象,基于自主化车载设备仿真测试环境,对系统测试过程中的测试案例、测试序列及测试脚本的设计方法进行研究,并结合具体实例对测试场景进行介绍。采用该系统测试方法已完成对自主化CTCS-3级列... 以自主化CTCS-3级列控系统车载设备为研究对象,基于自主化车载设备仿真测试环境,对系统测试过程中的测试案例、测试序列及测试脚本的设计方法进行研究,并结合具体实例对测试场景进行介绍。采用该系统测试方法已完成对自主化CTCS-3级列控车载多轮全功能系统的测试,可提高自主化车载设备现场应用的安全性和可靠性。 展开更多

关键词 CTCS-3 列控系统 车载设备 测试案例 测试序列 测试脚本

在线阅读 下载PDF 职称材料

自主化CTCS-3级列控系统关键技术研究与试验 被引量：10

15

作者 禹志阳 陈璞 杨宏图 《中国铁路》 2021年第6期21-27,共7页

列控系统作为保证列车运行安全的核心基础设备,安全可靠且具有完全自主知识产权是实现中国铁路“走出去”战略的重要条件。在中国国家铁路集团有限公司的统一部署下,中国铁道科学研究院集团有限公司等国内主要列控设备厂家开展了自主化C... 列控系统作为保证列车运行安全的核心基础设备,安全可靠且具有完全自主知识产权是实现中国铁路“走出去”战略的重要条件。在中国国家铁路集团有限公司的统一部署下,中国铁道科学研究院集团有限公司等国内主要列控设备厂家开展了自主化CTCS-3级列控系统研发工作,相继完成自测试、SIL4级认证、产品认证测试、第三方实验室测试、大西高铁试验段现场测试等多轮试验。重点对自主化CTCS-3级列控系统关键技术及特点、大西高铁试验段自主化CTCS-3级列控系统试验进行论述。试验结果表明:自主化车载ATP设备和无线闭塞中心RBC设备各项功能符合需求,安全性、可靠性、可用性和可扩展性等高于现有国产化列控设备,在技术经济方面竞争优势明显。 展开更多

关键词 大西高铁 高速综合试验 列控系统 CTCS-3 自主化 ATP RBC

在线阅读 下载PDF 职称材料

不同用量3%烟嘧磺隆·27%莠去津可分散型油悬浮剂对玉米田苗后杂草防除药效分析

16

作者 秦木英 《农业技术与装备》 2016年第12期42-44,共3页

通过3%烟嘧磺隆·27%莠去津分散型油悬浮剂防除玉米田苗后杂草示范试验,找出适宜的施药剂量,验证其对玉米田各种杂草的防效及对玉米的安全性。综合测定结果表明：3%烟嘧磺隆·27%莠去津分散型油悬浮剂每0.067 hm^2用量150-200 ... 通过3%烟嘧磺隆·27%莠去津分散型油悬浮剂防除玉米田苗后杂草示范试验,找出适宜的施药剂量,验证其对玉米田各种杂草的防效及对玉米的安全性。综合测定结果表明：3%烟嘧磺隆·27%莠去津分散型油悬浮剂每0.067 hm^2用量150-200 mL,田间杂草防除及增产效果最佳。因此每0.067 hm^2用量150-200 mL是玉米苗后除草使用的最佳剂量。 展开更多

关键词 3%烟嘧磺隆·27%莠去津分散油悬浮剂 玉米田苗后 杂草防除 试验

在线阅读 下载PDF 职称材料

白盒测试中源代码变更管理方法的研究与实现 被引量：4

17

作者 柳永坡 刘凌辉 +2 位作者 晏海华 金茂忠 刘雪梅 《计算机工程与应用》 CSCD 北大核心 2009年第6期85-88,共4页

在大型软件白盒测试项目中,源代码的频繁变化给测试工作增加了很大难度,对源代码进行管理和控制是对白盒测试过程管理的一个重要补充。在已有的软件测试过程管理模型基础上,认真分析研究版本控制和管理的相关技术现状,提出了变更管理的... 在大型软件白盒测试项目中,源代码的频繁变化给测试工作增加了很大难度,对源代码进行管理和控制是对白盒测试过程管理的一个重要补充。在已有的软件测试过程管理模型基础上,认真分析研究版本控制和管理的相关技术现状,提出了变更管理的改进方法,对于软件模块的比较采用了抽象的方法简化为目录树,而在文件比较中基于源代码静态分析工具,把文件比较的粒度分解到方法一级,进行了方法内部比较算法的研究,设计实现了源代码版本管理子系统。 展开更多

关键词 白盒测试 测试过程管理 源代码分析 源代码变更 版本控制

在线阅读 下载PDF 职称材料

新型岩土地质力学模型试验系统的研制及应用 被引量：12

18

作者 张强勇 李术才 尤春安 《土木工程学报》 EI CSCD 北大核心 2006年第12期100-103,107,共5页

根据地质力学模型试验的特点,研制出一种新型岩土地质力学模型试验系统,该系统主要由盒式台架装置、带扁千斤顶的变荷加载板、液压加载控制试验台组成。其中盒式台架装置用于容纳试验模型并作为加载反力装置,带扁千斤顶的变荷加载板用... 根据地质力学模型试验的特点,研制出一种新型岩土地质力学模型试验系统,该系统主要由盒式台架装置、带扁千斤顶的变荷加载板、液压加载控制试验台组成。其中盒式台架装置用于容纳试验模型并作为加载反力装置,带扁千斤顶的变荷加载板用于给试验模型施加非均布荷载,液压加载控制试验台用于试验模型的自动加压与稳压。该系统具有规模大、整体稳定性好、尺寸可调、能进行同步非均匀加载,并具有加荷高、升压快速、持荷稳定的优点。将该系统应用于某一高速公路大型分岔隧道的三维地质力学模型试验研究,试验结果有效指导和优化了工程的设计和施工。 展开更多

关键词 地质力学模型试验系统 盒式台架装置 变荷加载板 液压加载控制试验台 分岔隧道三维试验模型

在线阅读 下载PDF 职称材料

资源三号卫星控制系统概述及在轨验证 被引量：16

19

作者 王淑一 刘祥 陈超 《空间控制技术与应用》 CSCD 北大核心 2015年第2期1-5,35,共6页

资源三号(ZY-3)卫星是一颗民用高分辨率立体测绘卫星.针对ZY-3卫星特点,对控制系统方案进行概述.通过星敏感器相对基准的标定以及星敏感器和陀螺联合滤波实现高精度姿态确定;通过设计结构滤波器和磁卸载力矩的前馈补偿实现三轴高稳定度... 资源三号(ZY-3)卫星是一颗民用高分辨率立体测绘卫星.针对ZY-3卫星特点,对控制系统方案进行概述.通过星敏感器相对基准的标定以及星敏感器和陀螺联合滤波实现高精度姿态确定;通过设计结构滤波器和磁卸载力矩的前馈补偿实现三轴高稳定度控制;通过轨迹规划实现大角度侧摆机动.根据卫星在轨运行数据,给出相应指标实现情况,对姿态控制系统的方案和指标满足情况进行在轨验证. 展开更多

关键词 ZY-3卫星 控制系统 方案设计 在轨验证

在线阅读 下载PDF 职称材料

嵌入式API测试套生成方法和技术 被引量：2

20

作者 赵会群 孙晶 +1 位作者 张爆 王同林 《软件学报》 EI CSCD 北大核心 2014年第2期373-385,共13页

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论... 随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究. 展开更多

关键词 嵌入式软件 软件测试 测试与测试控制语言 标签转换系统

在线阅读 下载PDF 职称材料