检索结果-南通市图书馆

铁道通信信号 2023年第10期59卷 15-22页

作者：辛帆王印谢林杨平卡斯柯信号(成都)有限公司成都611756 卡斯柯信号有限公司上海200072

为提高通用联锁规则测试效率和准确率,解决当前人工测试方式重复劳动多且颗粒度较大的问题,研发一种基于测试用例的通用联锁规则自动测试系统。根据计算机联锁系统的物理架构,模块化仿真各子系统,以减少对硬件设备的依赖。系统可读取、... 详细信息

为提高通用联锁规则测试效率和准确率,解决当前人工测试方式重复劳动多且颗粒度较大的问题,研发一种基于测试用例的通用联锁规则自动测试系统。根据计算机联锁系统的物理架构,模块化仿真各子系统,以减少对硬件设备的依赖。系统可读取、解析并自动执行测试用例,将测试用例中定义变量的预期跳变时序解析为以指定变量为基准的相对周期,并建立一定顺序的“变量-跳变周期”矢量关系链表;同时,周期性地追踪关键变量,将测试结果与预期的矢量关系链表进行对比,以识别通用联锁规则中可能的时序问题。该系统已多次应用在国铁、城轨等相关项目的联锁规则测试中,效果良好,可为同类型项目测试提供参考。

关键词：联锁规则自动测试测试用例模块化仿真布尔逻辑

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于时间自动机模型的联锁软件规则描述研究

基于时间自动机模型的联锁软件规则描述研究

引用

作者：李晓鸋合肥工业大学

学位级别：硕士

在铁路信号计算机联锁系统中,联锁软件是实现联锁运算的核心部分。联锁软件的失效将有可能导致列车相撞或颠覆等重大事故的出现。因此,提高联锁软件的质量,提升其可靠性对开发联锁软件具有极其重要的意义。本文的研究对象是由合肥工业... 详细信息

在铁路信号计算机联锁系统中,联锁软件是实现联锁运算的核心部分。联锁软件的失效将有可能导致列车相撞或颠覆等重大事故的出现。因此,提高联锁软件的质量,提升其可靠性对开发联锁软件具有极其重要的意义。本文的研究对象是由合肥工业大学开发的”HJ04A铁路信号计算机联锁系统”。其主要内容是从时间自动机的角度对联锁软件规则进行描述,即研究道岔、信号机、进路、进路锁闭和进路解锁这五个基本联锁功能各自的内部状态以及状态之间的转移过程并将其模型化,并提出了一种采用时间自动机模型设计联锁软件方法。论文首先阐述了课题的来源,目的和意义。接下来着重介绍了HJ04A铁路信号计算机联锁系统的体系结构、系统功能和一些基本的联锁规则。第三章介绍了三种形式化描述方法:UML、Petri网和自动机,并对这三种形式化描述方法的优缺点进行了分析和比较。在第四章里,归纳了在五个基本联锁规则里存在的状态以及状态之间的转换,并进行了基于时间自动机的模型化描述。在第五章,提出了一种基于时间自动机模型的联锁软件设计方法。

关键词：计算机联锁时间自动机联锁规则形式化描述

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

铁路信号计算机联锁系统自动测试系统的构造研究

铁路信号计算机联锁系统自动测试系统的构造研究

引用

作者：李卢强合肥工业大学

学位级别：硕士

随着科学技术的飞速发展,计算机联锁系统已经取代了电气集中联锁系统,成为将来车站联锁系统的主要发展方向。计算机联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。在现... 详细信息

随着科学技术的飞速发展,计算机联锁系统已经取代了电气集中联锁系统,成为将来车站联锁系统的主要发展方向。计算机联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。在现今的软件测试中大多数还是以手工测试为主,这样做存在测试不充分与测试效率低下等弊病。因此,研究一种计算机联锁软件自动测试系统将是一项极有意义的工作,可以促使联锁试验面向规范化、程序化、简单化,从而提高工作效率、缩短试验时间,并能消除因联锁试验失误带来的事故隐患。论文首先介绍了课题的目的、意义及研究内容;深入地研究了HJ04A计算机联锁系统的框架结构、软硬件体系和功能特性等,并分析了联锁系统软件的输入输出模型,确定了使用基于灰盒测试的自动测试方法,并在此基础上提出了一种基于图形分析的测试结果的自动分析与判定方法和一种基于OPC的联锁系统状态模拟方法,从而使得测试系统可以在不对被测系统进行直接接口的情况下进行测试工作,保障了测试结果的客观性,也使得测试工作更加简单。其次,在分析联锁软件安全性需求的基础上建立了联锁软件安全性需求的Petri网模型,给出了一种求解割集的算法实现,并构造了安全性测试用例的自动生成方法;最后,详细地描述了铁路信号计算机联锁系统自动测试系统的基本逻辑结构及其功能模块设计,并对全文的研究工作进行了总结和展望。

关键词：计算机联锁联锁规则软件测试自动测试

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：