列车运行监控系统软件仿真测试的研究

为实现高效、准确、公正地对列车运行监控系统(LKJ)软件进行测试,结合LKJ设备实际应用环境,展开了LKJ软件仿真测试系统的技术研究;详细阐述了LKJ软件仿真测试系统的框架、硬件设计及测试实施方案等。该研究成果已在新一代LKJ软件仿真测试系统中试用,从效果上看,已实现了LKJ软件自动化仿真测试的目标。     

LKJ司机警惕功能软件设计与实现

介绍了LKJ司机警惕功能软件的设计原则、系统组成以及LKJ司机警惕功能的设备状态检测功能、进站信号确认功能和周期警惕功能;阐述了软件设计过程中基于LKJ2000型监控装置的硬件平台和现场运用需求的软件设计思路。     

基于多用户无线仿真器系统的研究

针对仿真器无法满足密封箱体、无人机及多人并行使用同一仿真器系统进行不同软件仿真调试等问题,从硬件、软件及关联设置等方面入手展开基于多用户无线仿真器系统的技术研究,并详细阐述了无线仿真器系统的模型、硬件设计、软件配置及应用步骤等。该研究方案已在新一代列车运行监控系统（LKJ）软件仿真测试系统中成功试用,实现了在LKJ集成机箱内并行对多插件软件远程联调仿真调试的功能。     

机车传动系统控制逻辑纯软件仿真测试平台开发

提出一种采用纯软件仿真方式对逻辑控制软件进行验证的方法并详细介绍了其设计思路及具体实现方法。基于Lab VIEW搭建一个纯PC软件的TCU控制逻辑仿真平台,用来模拟各种工况下TCU外部逻辑环境的数据流,并通过OPC协议与TCU逻辑控制软件进行实时数据交互。应用结果表明,该仿真测试平台在不需要任何TCU硬件和外部环境的情况下有效地验证逻辑控制软件中各种控制功能的正确性,大大提高了调试的便利性和工作效率。     

完善列车运行监控装置基础数据编制软件功能

1概述列车运行监控装置(LKJ)是防止列车冒进信号、运行超速事故和辅助机车司机提高操纵列车运行安全能力的重要行车设备,有着其他安全设备不可替代的重要作用。LKJ2000型列车运行监控装置采用先进的32位微控制器技术,具有较高的运行速度、控制精度和更强的数据处理能力。现使用的LKJ控制软件沿用了其初期设计开发列车运行监控记录装置的一些思路,由于近年来铁路的高     

部文摘登

铁运192号关于发布《列车运行监控装置（LKJ）运用维护规则》的通知;运基信号572号关于发布《列车运行监控装置（LKJ）技术规范（V1．0）》的通知;运基信号684号关于批准列车运行监控装置（LKJ）基本控制软件的通知;运基信号554号关于印发《动车组列控动态监测系统与机车综合无线通信设备接口技术条件及设备维护管理分工界面》的通知;运基信号586号关于做好当前电务安全工作的通知     

对基于嵌入式处理器系统的LKJ2000车载控制软件进行自动黑盒测试的研究与探讨

介绍了一种对基于MC68332嵌入式处理器系统的LKJ2000列车运行监控记录装置车载软件进行自动化黑盒测试方法,总结了如何构架软硬件仿真平台、如何管理测试脚本、以及如何对测试结果进行自动比对的方法。     

列控车载软件自动测试系统关键技术研究

为实现对列控车载软件的自动化确认测试,提出了列控车载软件自动测试系统的实现机制,详细介绍了自动测试系统的关键技术——模型驱动半实物仿真技术和测试脚本技术。该技术在LKJ以及某新型列控车载设备自动测试系统中获得了成功应用,极大提高了测试的效率和质量。     

基于UML的列车运行监控装置功能建模分析

既有线铁路系统运营场景复杂，运营需求多变，导致列车运行监控装置（LKJ）功能需求变化频繁，为了合理、规范地管理功能需求，有必要基于UML对LKJ功能进行建模研究。通过分析LKJ的结构与功能，建立了系统的用例模型；利用UML语言中的类图、顺序图和状态图，分析LKJ主要运营场景的静态结构与动态行为，并由此建立各场景的静态模型和动态模型；最终对所建LKJ功能模型进行验证，确保模型的正确性和完整性。利用所建的LKJ功能UML模型，能避免对LKJ功能需求的歧义理解，有利于开发与维护工作的顺利进行。     

基于LKJ软件测试用例自动生成的技术研究

为解决列车运行监控装置(LKJ)自动化测试中测试用例编辑和维护困难的问题,利用关键信息抽象和图形建模等方法对LKJ软件测试用例自动生成技术进行研究。通过对测试用例进行模块划分、参数设计和程序流程图方式建模,实现测试用例的批量生成。该技术已在LKJ-15S的自动化仿真测试系统中得到应用,经验证,可以提高测试用例编写效率并缩减约90%的冗余用例。     

缺陷分析在软件系统测试中的应用

软件系统测试是在实际运行环境下对计算机系统进行一系列的严格有效的测试来发现软件的潜在缺陷;可以根据缺陷状态来判断测试进展情况,开发人员的编程质量,修正缺陷的进度。通过缺陷的分析,可以完成软件产品质量的评估,确定测试是否达到结束的标准,判定测试是否已满足规定的需求。     

机车车辆软件设计的规范化

从当前软件设计存在的问题出发,以IEC62278和IEC62279为基础,提出相关产品的软件安全完整性的等级,各软件开发人员的职责分工。根据当前软件实际情况,将软件开发寿命周期简化为8个阶段,并对每个阶段应完成的文件作了说明。目的在于推进软件设计的规范化。     

一种安全关键软件系统的形式化开发模型

形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.     

基于Quality Center的测试管理

Quality(以下简称QC)是惠普(HP)推出的针对软件产品整个生命周期的Web浏览器环境下的测试管理工具.它将测试管理的各个部分集成在一个应用系统中,包括需求管理、测试计划、测试执行、缺陷管理以及统计分析等功能,通过QC的流程控制可以规范、管理软件测试过程、保证测试对需求的覆盖,减轻测试人员的负担、提高工作效率.     

综合监控系统中配置自动更新软件的设计

为了方便、高效地管理RT21-ISCS综合监控系统的系统文件和目录,保证综合监控系统的安全稳定运行,针对综合监控系统的特点,实现了一种基于Subversion的配置自动更新软件。阐述Subversion相关技术及配置自动更新软件的架构、设计思路和代码实现。     

地铁综合监控系统软件平台

软件平台作为综合监控系统(ISCS)的核心,是ISCS建设关注重点之一.关于软件平台的选择在业内也存在较多的争议.从运营管理需求出发,重点分析软件平台等的基本要求,并在此基础上就当前软件平台选择上存在较多争议的操作系统、国内外软件平台进行了比较分析.轨道交通建设初期在成本允许的情况下,由国内有较强实力的软件系统提供商采...     

基于ActiveX技术的联锁表自动生成软件

对联锁表设计的现状和发展方向进行了分析，介绍了基于ActiveX技术的联锁表自动生成软件的功能特点、主要功能模块、关键算法及其在实践中的应用。     

21世纪的软件工程教育

作者概述了软件工程发展中存在的一些现象,指出软件工程教育仍没有达到它应该达到的状态.为了改进新千年的软件工程教育,作者提出了一些观点:未来的软件工程师,应认识到软件的发展需要加强管理和改进的手段.下一代的教师应充分了解所教课程的有关理论,把所使用的方法、符号的语法和完整的语义都教给学生.在教学中应教理论和标准,不仅要教程序语言,而且要教怎样编程序.     

基于BusinessObjects自动生成Web页面的方法

阐述了数据分析软件BusinessObjects的运行机制,以及使用Document Agent Server模块自动生成Web页面的过程和方法,并给出了具体的应用和程序.     

钩打系统远程管理软件的研究与开发

钩计划传输打印控制系统是编组站综合自动化系统的一个重要组成部分，其主要功能是实现钩计划及相关信息在异型网络上的传输。着重分析的是钩计划传输打印控制系统远程管理软件。此软件按其实现功能主要包含系统IP地址设置和探测、逻辑端口和物理端口的映射管理、各端口独立的打印机配置、初始化参数4大模块。在此对4大功能模块进行详细的分析和说明。