期刊文献+

CTCS-3级列控系统动态测试优化方法

The Optimization Method for the Dynamic Testing of CTCS-3 Level Train Control System
下载PDF
导出
摘要 针对列控系统测试,为克服基于固定测试序列集的静态测试方法存在的问题,研究建立列控系统动态测试方法。将测试序列集中的上一个测试序列的执行结果作为执行下一个测试序列的输入,从而形成测试闭环;测试执行器执行完一个测试序列后,如果未检测出错误,则继续顺序执行下一个测试序列,如果检测出错误,则测试执行器更新系统的测试模型,并根据新的测试模型和测试目标集生成测试代价最小的新的测试序列集,然后按照新的测试序列集继续进行测试。仿真结果表明,动态测试方法能有效提高测试效率和测试的实际覆盖率,在测试过程中未给出虚假的测试判断。 In order to solve the problem of the static test methods which execute test according to the fixed test sequence set, this paper proposes a dynamic test method for the testing of train control system. This method uses the test results obtained from the last test sequence execution as the feedback for the next test sequence selection to set up a testing close loop. If there was no fault detected after executing one test sequence, the test actuator executes the following test sequence. If faults were detected, the test actuator updates the test model of the system under test and generates new test sequence set according to new test model and test aim with the least cost, and then executes test according to new test sequence set. The simulation results show that the effective test efficiency and test coverage rate have been evidently increased by the dynamic test method, and no fake test results were given during the testing.
出处 《中国铁道科学》 EI CAS CSCD 北大核心 2010年第5期102-107,共6页 China Railway Science
基金 国家科技支撑计划项目(2009BAG12A08) 铁道部科技研究开发计划项目(2009X003)
关键词 列车控制系统 动态测试 多阶段动态优化 测试覆盖率 Train control system Dynamic test Multistage dynamic optimization Test coverage rate
  • 相关文献

参考文献6

  • 1张曙光.高速铁路系统生命周期安全评估体系的研究[J].铁道学报,2007,29(2):20-26. 被引量:27
  • 2CENELEC. EN 50126.. Railway Applications--the Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) [S]. Geneva: International Electrotechnical Commission, 2002. 被引量:1
  • 3GONENC G. A Method for the Design of Fault Detection Experiments [J]. IEEE Transactions on Computer, 1970, 19 (6): 551-558. 被引量:1
  • 4SABNANI K, DAHBURA A. A Protocol Test Generation Procedure[J] .Computer Network and ISDN Systems, 1988, 15 (2): 285 297. 被引量:1
  • 5GHOW T. Testing Software Designs Modeled by Finite-State Machines[J]. IEEE Transactions on Software Engineering, 1978, 4 (3): 178-187. 被引量:1
  • 6MICHAEL S. Introduction to the Theory of Computation [M]. Boston : Thomson Course Technology, 1996. 被引量:1

二级参考文献14

共引文献26

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部