Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.     

船舶燃气轮机装置分布式集成仿真平台设计

针对船舶燃气轮机装置分布式集成仿真的功能,设计了包括应用层、支撑层、通讯层和设备层在内的分布式集成仿真平台体系层次。选择 MATLAB/SIMULINK环境开发应用层和支撑层,选择HLA协议和RTI软件实现通讯层。最终形成了由平台运行管理器、分布式仿真包、模块化模型库、分布式仿真接口以及RTI软件组成的“服务器/运算节点”式的平台运行框架。通过某型双轴燃气轮机在机械推进工作方式下的分布式集成仿真实验,初步验证了平台体系框架的合理性和有效性。     

自主汽车电子软件架构技术战略解析与规划

通过分析当前主流汽车电子嵌入式软件架构和国外同行软件架构标准规范以及商业解决方案,结合自主品牌汽车电子系统的应用实践,定义兼容相关国际标准且满足自主品牌汽车电子功能需求的软件架构,并开发出基于该软件架构的嵌入式软件产品,应用于自主品牌整车电子电器系统,以提升自主品牌整车的差异化竞争优势.     

基于Windows动态轨道衡称重软件的设计

本文简单介绍了动态轨道衡的硬件组成及工作原理,重点介绍基于Windows动态轨道衡称重软件的需求分析和设计,也对称重软件的关键技术进行较为详细的介绍.     

埋地钢质管道腐蚀防护综合评价系统研究

有效的维护管理并确保腐蚀防护系统有效是管道高效安全运行的重要保证 ,使用数据库可高效地管理管道信息 ,对防腐检测数据处理的软件化可极大减轻人员的负担。介绍了埋地钢质管道腐蚀防护综合评价系统软件的主要功能、系统结构及主要实现模块 ,系统具有对目前常用埋地管道检验检测设备所测数据进行处理分析的功能 ,并结合现行国家和行业相关法规和标准的规定 ,对检验检测结果进行评价 ,具有一定的先进性     

采用前沿技术开发铁路线路AutoCAD辅助设计软件

鉴于目前如数字高程模型(DEM)、高清网络地图等各种高新前沿技术在铁路线路设计中的应用,迫切需要线路辅助设计软件与时俱进引入相关技术,通过对相关高新前沿技术的深入研究成功开发了相关软件,软件应用了许多高新前沿技术,很好地解决了线路设计及软件开发中的难点问题,经实践证明本软件具有技术先进、使用高效的优点。     

高安全系统的可靠性设计

从可靠性工程理论的角度,对信号控制系统可靠性设计中遇到的一些问题进行了分析,并结合作者多年负责组织和领导设计团队从事信号控制系统研发设计的实践,阐述了可靠性设计的若干关键技术。     

电务维护工作中的软件管理

随着铁路现代化的发展,以网络信息化、智能自动化为代表的计算机技术在铁路运输中得到了越来越广泛的应用。要维护管理好这些设备,给传统的维护管理工作带来巨大挑战和压力。粗浅分析了基于计算机技术发展起来的新型信号设备的特点,着重从数据和软件维护管理等方面,进行一些分析探讨。     

基于站场图形网络的计算机联锁软件在高速铁路的应用研究

为适应高速铁路列控系统接口需求,计算机联锁系统接入信号安全数据网[1]的同时,应用软件需要新增进路模块来实现接口的应用信息交互。进路模块利用原有联锁软件网络化结构的选路原理,实现了进路信息存储;利用进路中道岔的大号码特征,实现符合黄闪黄条件信号显示自动计算。软件采用模块化设计的同时,对软件需求、设计、结构、安全性进行全面分析,确保联锁子系统软件的兼容性和可持续开发性。基于升级的计算机联锁软件不仅满足高速铁路列车控制系统的需求,也提高了原有软件的安全性和可靠性。     

交通系统计算机仿真研究综述

阐述了计算机仿真、系统仿真和交通仿真的基本概念，介绍了国外道路交通仿真研究的发展历程和趋势以及国内的研究现状，分析了道路交通仿真研究的意义，并探讨了交通仿真的未来发展趋势及其研究路线。