通用无线电数据链自动测试系统可靠性设计

介绍了通用无线电数据链自动测试系统的可靠性设计需求,并重点从硬件和软件两方面介绍了系统硬件电磁兼容设计和软件可靠性设计以及测试等.应用结果表明,通过较全面可靠性设计,系统工作稳定可靠,满足了自动测试的要求.     

高温超导磁悬浮测试系统总体设计——数据采集与控制

给出了高温超导磁悬浮测试系统控制与数据采集部分的总体设计方案,并从硬件和软件两方面进行了深入细致的探讨。该方案较好地解决了如何在各种测试条件下对高温超导块材的性能进行自动测试的问题,在实际应用过程中取得了非常满意的效果。     

TMR微机联锁系统的可靠度与安全度分析

分析了微机联锁的可靠度与安全度对于指导微机联锁系统在铁路运行系统中的应用。在分析中,采用马尔可夫模型,并考虑故障覆盖率影响情况,对TMR微机联锁系统的可靠度与安全度进行了推导,得出TMR微机联锁系统可靠度与安全度的定量表达式,分析了在通常情况下的系统可靠度与安全度。     

基于B方法的UML类图形式化研究

统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。     

轮机系统图形化建模仿真支撑软件的开发

介绍了在实时仿真支撑平台上轮机系统图形化建模仿真支撑软件的开发过程以及一个应用实例.该软件利用Visual C 开发,按照面向对象及模块化思想设计,通过文件存储技术和UML技术实现软件开发,该软件具有仿真建模,模型程序自动生成和调试等功能.     

形式化B方法和UML的结合

形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。     

车载式轮胎路面噪声自动测试系统标准概述

《车载式轮胎路面噪声自动测试系统》（GB/T）在调查研究轮胎路面噪声测试原理的基础上,规定了车载式轮胎路面噪声自动测试系统的技术要求、试验方法.该标准的制定将填补我国轮胎路面噪声测试系统标准的空白,可作为轮胎路面噪声测试系统产品质量的检测依据.     

可编程控制顺在信号微机联锁中的应用

本文介绍了在铁路信号控制系统中使用可编程控制技术。应用了故障－安全理论、可靠性理论，实现车站电气集中微机联锁。从系统硬件和软件两方面分析了设计思路和提高系统可靠性的措施。     

基于蒙特卡罗的软件可靠性测试技术研究

为了缩短软件测试周期,提出了运用蒙特卡罗(Monte-Carlo)方法进行软件可靠性测试的基本技术,通过实例介绍了这一技术在软件测试中的应用过程.这一技术较好地解决了2个问题:测试用例的优化;使用新的评判准则分析测试结果.     

基于CAN总线和组态软件的柴油机试验和测试系统研究

为适应柴油机试验测试系统改进设计需要,对基于CAN总线的试验参数现场监测节点、PC微机CAN适配器及其与Intouch组态软件的DDE通信实现方法进行了研究,联合应用CAN总线技术和Intouch软件完成了柴油机试验测试系统研制,进行了实机试验.     

A method of minimum reusability estimation for automated software testing

Through reusing software test components, automated software testing generally costs less than manual software testing. There has been much research on how to develop the reusable test components, but few fall on how to estimate the reusability of test components for automated testing. The purpose of this paper is to present a method of minimum reusability estimation for automated testing based on the return on investment (ROI) model. Minimum reusability is a benchmark for the whole automated testing process. If the reusability in one test execution is less than the minimum reusability, some new strategies must be adopted in the next test execution to increase the reusability. Only by this way, we can reduce unnecessary costs and finally get a return on the investment of automated testing.     

基于人机界面的PLC控制系统的仿真研究

文章介绍的是一种基于人机界面的PLC控制系统的仿真平台。该平台利用人机界面的互动性,通过其开发、编辑软件,使用户可以方便快捷地为PLC控制系统设计和建立仿真模型,并可对系统进行调试。实验表明,该仿真平台可用于PLC控制系统的开发。     

������ITS������Ϣƽ̨�����ϵ�ṹ�о�

广州市ITS共用信息平台是广州市智能交通系统(ITS)信息共享、交换和信息服务的核心，而软件体系结构决定着共用信息平台的总体性能。根据广州市ITS建设的现状和未来发展的需求，提出了平台软件体系结构设计的原则。并在该原则的指导下，提出并深入研究了包括逻辑结构、软件模块结构和软件部署结构的平台软件体系结构。文中所提出的软件体系结构已在广州市ITS共用信息平台示范工程中进行了应用。示范工程建设的成果表明:这种体系结构能有效地连接当前广州市多个已建ITS子系统，实现各系统数据共享和交换，同时具备良好的扩展性，能满足ITS不断发展的需求。     

水晶报表在VB中的应用

计算机应用软件重要的一个环节就是输出，而输出中各种复杂的报表又是最重要的，水晶报表的应用为制作复杂的报表提供了很好的平台。它使用方便，可以和各种开发语言结合使用。     

铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

车站联锁系统行为验证与数据确认的形式化方法

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性. 为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML （unified modeling language）图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性. 结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.      

基于JUnit框架的软件测试

介绍了一个对Java程序进行软件测试的标准框架JUnit,及JUnit框架的2个扩展:JUnitPerf和Cactus。通过JUnit以及它的扩展,实现了Java程序测试的自动化,从而降低开发费用,最终使软件质量得到提高。