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] |
季学胜, 李开成, 张勇, 等. CTCS-3级列控系统测试案例生成方法的研究[J]. 铁道通信信号, 2009, 45 (10): 1-5. https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH200910001.htm
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] |
张新明, 禹志阳, 袁焕靖. 基于运营场景的CTCS-3级列控系统功能需求分析[J]. 铁道通信信号, 2010, 46 (4): 17-21. https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH201004005.htm
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] |
禹志阳, 赵阳. 基于黑盒测试技术的CTCS-3级列控系统联调联试研究[J]. 铁道通信信号, 2010, 46 (5): 1-5. https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH201005000.htm
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] |
李伟, 王海峰. CTCS-3级列控系统车载设备测试序列的优化[J]. 北京交通大学学报, 2010, 34 (2): 75-78. https://www.cnki.com.cn/Article/CJFDTOTAL-BFJT201002019.htm
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] |
曾洁毅, 赵会兵. 应答器传输模块测试系统的研究[J]. 北京交通大学学报, 2008, 32 (2): 80-83. https://www.cnki.com.cn/Article/CJFDTOTAL-BFJT200802019.htm
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] |
牛儒, 曹源, 唐涛. ETCS-2级列控系统RBC交接协议的形式化分析[J]. 铁道学报, 2009, 31 (4): 52-58. https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB200904012.htm
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] |
梁楠, 王海峰. 基于SPN的CTCS-3级列控系统RBC实时性能分析[J]. 铁道学报, 2011, 33 (2): 67-71. https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB201102017.htm
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] |
吕继东, 唐涛, 贾昊. 客运专线CTCS-3级列控系统无线闭塞中心的建模与验证[J]. 铁道学报, 2010, 32 (6): 34-42. https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB201006009.htm
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
|