Citation: | GOU Chen-xi, CAI Bo-gen, TANG Tao, SHANGGUAN Wei. Test case generation method of radio block center[J]. Journal of Traffic and Transportation Engineering, 2011, 11(4): 114-122. doi: 10.19818/j.cnki.1671-1637.2011.04.018 |
[1] |
JI Xue-sheng, LI Kai-cheng, ZHANG Yong, et al. Research on test case generation method of CTCS-3 train control system[J]. Railway Signalling and Communication, 2009, 45 (10): 1-5. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH200910001.htm
|
[2] |
ZHANG Xin-ming, YU Zhi-yang, YUAN Huan-jing. CTCS-3 train control systemfunction requirements analysis based on operational scenarios[J]. Railway Signalling and Communication, 2010, 46 (4): 17-21. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH201004005.htm
|
[3] |
HEI MDAHL 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.
|
[4] |
TOMMASO P D, FLAMMI NI F, LAZZARO A, et al. The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system[C]//IEEE. Proceedings of the Ninth IEEE International Symposiumon High-Assurance Systems Engineering. Heidelberg: IEEE, 2005: 131-139.
|
[5] |
TILIERE G 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.
|
[6] |
NICOLA 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.
|
[7] |
ERTMS/ETCS SUBSET076-3, methodology of testing[S].
|
[8] |
ERTMS/ETCS SUBSET 076-2, methodology to prepare features[S].
|
[9] |
ERTMS/ETCS SUBSET 076-4-1, test sequence generation: methodology and rules[S].
|
[10] |
ERTMS/ETCS SUBSET076-5-1, ERTMS ETCSclass 1 feature list[S].
|
[11] |
YU Zhi-yang, ZHAO Yang. Study on CTCS-3 train control systemdynamic test based on black-boxtest[J]. Rail way Signalling and Communication, 2010, 46 (5): 1-5. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH201005000.htm
|
[12] |
LI Wei, WANG Hai-feng. Optimization test sequence of CTCS-3 on-board equipment[J]. Journal of Beijing Jiaotong University, 2010, 34 (2): 75-78. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-BFJT201002019.htm
|
[13] |
ZHANG Yan, ZHU Li, CHEN Li-jie, et al. A method for simulation and analysis of trackside data communication systemin CBTC[C]//IEEE. 2009 WRI International Conference on Communications and Mobile Computing. Kunming: IEEE, 2009: 529-533.
|
[14] |
ZENG Jie-yi, ZHAO Hui-bing. Research on balise transmission module test system[J]. Journal of Beijing Jiaotong University, 2008, 32 (2): 80-83. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-BFJT200802019.htm
|
[15] |
DONG Hai-rong, NING Bin, CAI Bai-gen, et al. Automatic train control system development and simulation for highspeed railways[J]. IEEE Circuits and Systems Magazine, 2010, 10 (2): 6-18.
|
[16] |
NIU Ru, CAO Yuan, TANG Tao. Formal modelling and analysis of RBC handover protocol for ETCS level 2 using stochastic petri nets[J]. Journal of the China Railway Society, 2009, 31 (4): 52-58. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB200904012.htm
|
[17] |
LIANG Nan, WANG Hai-feng. Real-time performance analysis of RBC system for CTCS lever 3 using stochastic petri networks[J]. Journal of the China Railway Society, 2011, 33 (2): 67-71. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB201102017.htm
|
[18] |
LUJi-dong, TANG Tao, JIA Hao. Modeling and verification of Radio Block Center of CTCS-3 train control system for dedicated passengers lines[J]. Journal of the China Railway Society, 2010, 32 (6): 34-42. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB201006009.htm
|