期刊文献+

无线闭塞中心测试案例生成方法 被引量:1

Test case generation method of radio block center
原文传递
导出
摘要 应用基于功能特征的测试案例生成方法,研究了无线闭塞中心的功能结构,提取了无线闭塞中心的功能特征,得到了无线闭塞中心的功能特征列表。针对无线闭塞中心的每个功能特征,编制了测试案例,将测试案例串联成电子化的测试序列。根据中国高速铁路列车运行控制系统的规范和要求,构建了无线闭塞中心的仿真测试平台,编写了试验步骤和XML程序文件。在无线闭塞中心测试平台上,测试了包含注册与启动、行车许可、停车与注销、通信网络故障、RBC切换5个运行功能的3个测试序列。测试结果表明:在常温常压下,列车速度低于350 km.h-1且仅有一趟列车运行的条件下,无线闭塞中心可不间断工作至少90 min,功能正常。可见,方法有效。 Test case generation method based on function features was used,the function structure of radio block center(RBC) was studied,the function features of RBC were extracted,and the feature list of RBC was obtained.Aiming at the each feature of RBC,test cases were compiled and serially combined to electronic test sequence.On the basis of standards and requirements of running control system for China high-speed train,RBC test platform was established,and test step and XML program document was written.With RBC test platform,the three test sequences of five running features containing registration and start-up,driving permission,parking and cancellation,communication network fault and RBC switching.Test result shows that under room temperature and atmospheric pressure,while there is only one train and its speed is less than 350 km·h-1,the uninterrupted working time of RBC is more than 90 min,and the function can be kept well.So,the proposed method is effective.12 tabs,7 figs,18 refs.
出处 《交通运输工程学报》 EI CSCD 北大核心 2011年第4期114-122,共9页 Journal of Traffic and Transportation Engineering
基金 国家自然科学基金项目(60736047) 国家863计划项目(2009AA11Z221) 轨道交通控制与安全国家重点实验室自主研究课题(RCS2009ZT013) 中央高校基本科研业务费专项资金项目(2009JBM005 2011YJS006)
关键词 高速列车 运行控制系统 无线闭塞中心 功能测试 功能特征 测试案例 测试序列 high-speed train running control system radio block center function test function feature test case test sequence
  • 相关文献

参考文献18

  • 1季学胜,李开成,张勇,刘大为.CTCS-3级列控系统测试案例生成方法的研究[J].铁道通信信号,2009,45(10):1-5. 被引量:13
  • 2张新明,禹志阳,袁焕靖.基于运营场景的CTCS-3级列控系统功能需求分析[J].铁道通信信号,2010,46(4):17-21. 被引量:6
  • 3HEIMDAHL M P E, RAYADURGAM S, VISSER W. Specification centered testing[C]//TRACEY N, PENIX J, VISSER W. The Second International Workshop on Automated Program Analysis, Testing and Verification. Toronto: ICSE, 2001: 1-5.
  • 4TOMMASO P D, FLAMMINI F, LAZZARO A, et al. The simulation of anomalies in the functional testing of the ERTMS/ETCS traekside system[C]//IEEE. Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering. Heidelberg: IEEE, 2005: 131-139.
  • 5TILIERE O D, LAPERROUZA M. Developing and deploying innovative technologies in a liberalized European railway system[C]//STRC. Proceedings of 9th Swiss Transport Research Conference. Monte Verita: STRC, 2009: 1-22.
  • 6NICOLA G D, TOMMASO P D, ESPOSITO R, et al. A hybrid testing methodology for railway control systems [C]// MARITTA H, PETER L, STEFAN W. Computer Safety, Reliability, and Security. Potsdam: Springer Berlin/ Heidelberg, 2004 : 116-129.
  • 7ERTMS/ETCS SUBSET 076-3, methodology of testing [S].
  • 8ERTMS / ETCS SUBSET 076-2, methodology to prepare features[S].
  • 9ERTMS/ETCS SUBSET 076 4-1, test sequence generation: methodology and rules [S].
  • 10ERTMS/ETCS SUBSET 076-5-1, ERTMS ETCS class 1 feature list [S].

二级参考文献35

  • 1周清雷,姬莉霞,王艳梅.基于UPPAAL的实时系统模型验证[J].计算机应用,2004,24(9):129-131. 被引量:23
  • 2季学胜,唐涛.CTCS-3级列车运行控制系统综合测试平台研究[J].铁道通信信号,2007,43(7):1-3. 被引量:14
  • 3L Jansen, M Meyer zu Horste, H Schnieder. Technical issues in modelling the european train control system[C]// Proc. 1st CPN Workshop. Denmark: Aarhus University, 1998: 103-115.
  • 4Armin Z, Giinter H. A train control system case study in model based real time system design [C]// International parallel and distributed processing symposium (IPDPS). France: IEEE, 2003:118-126.
  • 5ERTMS/ETCS SUBSET-039 : FIS for the RBC/RBC Handover [EB/OL]. http://www. aeif. org/db/docs/ccm/ SUBSET-052 v212. 2005.
  • 6IEC 62280 Railway application-Communication, signaling and processing systems-Part2: Safety-related communication in open transmission systems [S]. 2002.
  • 7ERTMS/ETCS Subset-098.. ERTMS/ETCS Class 1 RBCRBC safe communication interface [EB/OL]. http:// www. aeif. org/db/docs/ccm/SUBSET-052 v222. 2005.
  • 8G Ciardo, D M Nicol, K S Trivedi. Discrete-Event Simulation of Fluid Stochastic Petri-Nets[J]. IEEE Transactions on Software Engineering,1999,25(2) :207-217.
  • 9铁道部科学技术司、铁道部运输局.CTCS-3级列控系统系统需求规范(SRS).科技运[2009]127号,2008,9.
  • 10ERTMS/ETCS SUBSET 076-3: Methodology of testing. 2005,11.

共引文献87

同被引文献20

引证文献1

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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