Citation: | WEI Baiquan, LÜ Jidong, CHEN Kexing, TANG Tao, WANG Wei. Mutation Timed Automata with Input and Output-Based Method of Generating Test Suites for Chinese Train Control System Level 3[J]. Journal of Southwest Jiaotong University, 2020, 55(5): 937-945, 962. doi: 10.3969/j.issn.0258-2724.20180078 |
唐涛. 列车运行控制系统[M]. 北京: 中国铁道出版社, 2012: 234-251.
|
袁磊,吕继东,刘雨,等. 一种全覆盖的列控车载系统测试案例自动生成算法研究[J]. 铁道学报,2014,36(8): 55-62. doi: 10.3969/j.issn.1001-8360.2014.08.010
YUAN Lei, LÜ Jidong, LIU Yu, et al. Reserach on model-based test case generation method of onboard subsystem in CTCS-3[J]. Journal of the China Railway Society, 2014, 36(8): 55-62. doi: 10.3969/j.issn.1001-8360.2014.08.010
|
BEIZER B. Black-box testing: techniques for functional testing of software and systems[M]. New York: John Wiley & Sons, Inc. ,1995: 1192-1 198.
|
KRICHEN M, TRIPAKIS S. Black-box conformance testing for real-time systems[M]. [S.l.]: Springer, 2004: 4-10.
|
吕继东,朱晓琳,李开成,等. 基于模型的CTCS-3级列控系统测试案例自动生成方法[J]. 西南交通大学学报,2015,50(5): 917-927. doi: 10.3969/j.issn.0258-2724.2015.05.023
LÜ Jidong, ZHU Xiaolin, LI Kaicheng, et al. Model-based test case automatic generation of CTCS-3 train control system[J]. Journal of SouthWest Jiaotong University, 2015, 50(5): 917-927. doi: 10.3969/j.issn.0258-2724.2015.05.023
|
梁茨,郑伟,李开成,等. 基于路径优化算法的测试序列自动生成及验证[J]. 铁道学报,2013,35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009
LIANG Ci, ZHENG Wei, LI Kaicheng, et al. Automated generation of test case and sequences based on path optimization algorithm[J]. Journal of the China Railway Society, 2013, 35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009
|
陈鑫,姜鹏,张一帆,等. 一种面向列车控制系统中安全攸关场景的测试案例自动生成方法[J]. 软件学报,2015,26(2): 269-278.
CHEN Xin, JIANG Peng, ZHANG Yifang, et al. Method of automatic test case generation for safety-critical scenarios in train control systems[J]. Journal of Software, 2015, 26(2): 269-278.
|
TRETMANS J. Model based testing with labelled transition systems[C]//Formal Methods and Testing. [S.l.]: Springer, 2008: 1-38.
|
AICHEMIG B K, LORBER F, NICKOVIC D. Time for mutants: model-based mutation testing with timed automata[M]. [S.l.]: Springer, 2013: 23-26.
|
BERTRAND N, JERON T, STAMER A, et al. Off-line test selection with test purposes for non-deterministic timed automata[J]. Tools and Algorithms for the Construction and Analysis of Systems, 2011: 392-402.
|
ABOUTRAB M S, COUNSELL S, HIERONS R M. Specification mutation analysis for validating timed testing approaches based on timed automata[C]//Computer Software and Applications Conference. [S.l.]: IEEE, 2012: 660-669.
|
BAHAREH B, MARTIN L. Exact incremental analysis of timed automata with an SMT-solver[C]//Formal Modeling & Analysis of Timed Systems-international Conference. [S.l.]: Springer, 2011: 177-192.
|
JIA Y, HARMAN M. An analysis and survey of the development of mutation testing[J]. IEEE Transactions on Software Engineering, 2011, 37(5): 649-678. doi: 10.1109/TSE.2010.62
|
KRICHEN M, TRIPAKIS S. Conformance testing for real-time systems[M]. [S.l.]: Kluwer Academic Publishers, 2009: 238-304.
|
铁道部科技司. CTCS-3级列控系统标准规范-CTCS-3级列控系统系统需求规范(SRS)(第一册)[M]. 北京: 中国铁道出版社, 2009: 5-10.
|
徐伟,王林章,李宣东. 基于分类树的随机测试用例生成[J]. 计算机科学,2009,36(1): 263-266. doi: 10.3969/j.issn.1002-137X.2009.01.067
XU Wei, WANG Linzhang, LI Xuandong. Classification tree-based random test case generation[J]. Computer Science, 2009, 36(1): 263-266. doi: 10.3969/j.issn.1002-137X.2009.01.067
|
HUANG W L, PELESKA J. Complete model-based equivalence class testing[J]. International Journal on Software Tools for Technology Transfer, 2014, 18(3): 1-19.
|
[1] | LI Xun, CHENG Shuo, WU Dandan, ZHANG Lei, WANG Xiaohua. Refined Traffic Flow Model Based on Cellular Automaton Under Cooperative Vehicle Infrastructure System[J]. Journal of Southwest Jiaotong University, 2025, 60(1): 225-232. doi: 10.3969/j.issn.0258-2724.20220830 |
[2] | YANG Tianhui, LI Wenxin, XIN Ying. Principle and Application Prospective of Novel Superconducting Energy Conversion/Storage Device[J]. Journal of Southwest Jiaotong University, 2023, 58(4): 913-921. doi: 10.3969/j.issn.0258-2724.20220125 |
[3] | MA Junjun, LIN Pengzhen, LIU Yinglong, HE Zhigang. Simulation and Analysis of Chloride Ion Diffusion in Cracked Concrete Based on Cellular Automata[J]. Journal of Southwest Jiaotong University, 2022, 57(2): 360-368. doi: 10.3969/j.issn.0258-2724.20210359 |
[4] | LYU Biao, LIU Yumeng. Resilience Assessment Based on Bayesian Network for on-Board Subsystem of CTCS-3 Train Control System[J]. Journal of Southwest Jiaotong University, 2022, 57(5): 949-959. doi: 10.3969/j.issn.0258-2724.20210102 |
[5] | KONG Weiyi, FU Chuanguo, LIU Weiqing. Fire Resistance Analysis of RC Beam Supporting Column Transfer Structure Joints[J]. Journal of Southwest Jiaotong University, 2019, 54(3): 548-555. doi: 10.3969/j.issn.0258-2724.20170875 |
[6] | LI Xiaozhen, ZHAO Qiuchen, ZHANG Xun, YANG Dewang. Field Test and Analysis of Noise Reduction Performance of High-Speed Railway Semi-Closed Sound Barriers[J]. Journal of Southwest Jiaotong University, 2018, 53(4): 661-669, 755. doi: 10.3969/j.issn.0258-2724.2018.04.001 |
[7] | LI Saifei, YAN Lianshan, LI Hongzhe, GUO Wei, ZHANG Weijun, LIU Qingtao. Analysis and Testing of Network Security for China Railway Communication Networks and Proposed Architecture Based on Trusted Computing[J]. Journal of Southwest Jiaotong University, 2018, 53(6): 1130-1136, 1149. doi: 10.3969/j.issn.0258-2724.2018.06.006 |
[8] | ZHU Feng, LIU Guanghui, YE Jiaquan, DU Hui. Test Analysis and Modeling of Power Frequency Magnetic-Field Environment in Carbodies of Electrified Trains[J]. Journal of Southwest Jiaotong University, 2015, 28(3): 400-404. doi: 10.3969/j.issn.0258-2724.2015.03.002 |
[9] | LÜ, Jidong, ZHU Xiaolin, LI Kaicheng, TANG Tao, WANG Haifeng. Model-Based Test Case Automatic Generation of CTCS-3 Train Control System[J]. Journal of Southwest Jiaotong University, 2015, 28(5): 917-927. doi: 10.3969/j.issn.0258-2724.2015.05.023 |
[10] | YUAN Lei, WANG Junfeng, KANG Renwei, LÜ, Jidong. Modeling and Verification of Temporary Speed Restriction of CTC-S3 Train Control System[J]. Journal of Southwest Jiaotong University, 2013, 26(4): 708-714. doi: 10.3969/j.issn.0258-2724.2013.04.018 |
[11] | LUO Hao. Performance Testing-Oriented TTCN-3[J]. Journal of Southwest Jiaotong University, 2009, 22(4): 495-500. |
[12] | SU Fenghuan, YAO Lingkan, GAO Zhaoning. Application of Fractal Cellular Automata to Self-Organized Criticality[J]. Journal of Southwest Jiaotong University, 2006, 19(6): 675-679. |
[13] | XIE Yuemei, TIAN Liping, WAN Huifang. Max-Product Fuzzy Context-Free Grammar and Pushdown Automaton[J]. Journal of Southwest Jiaotong University, 2006, 19(3): 341-343. |
[14] | HUANG Wan-qing, LU Yang, LUO Shu-xue, CHEN Cheng-die. Dynam ic StressM easurement and Analysis of Subgrade-Culvert Transition Section on Q inhuangdao-Shenyang Passenger SpecialLine[J]. Journal of Southwest Jiaotong University, 2005, 18(2): 220-223. |
[15] | PANZhou-ping, ZHANGLi-min. Design of Continuous Wheel/Rail Force Measurement System[J]. Journal of Southwest Jiaotong University, 2004, 17(1): 69-72. |
[16] | ZHIXiao-li, TONG Wei-qin, RONGLu. Automatic Abstraction Algorithm for Timed Automata[J]. Journal of Southwest Jiaotong University, 2004, 17(5): 670-674. |
[17] | YANG Guang, QIUJing, WENXi-sen, LIU Guan-jun. Mathematical Model Analysis of False Alarm in Mechatronics Built-in Test Systems[J]. Journal of Southwest Jiaotong University, 2003, 16(5): 581-583. |
[18] | ZHANGAi-jun, ZHUChang-qian, WANGJi. CoordinatesTransformation of Engineering Drawings for 3D Reconstruction from Orthographic Views[J]. Journal of Southwest Jiaotong University, 2001, 14(1): 57-61. |
[19] | Tang Li, Wu Jingye. Reliability Simulation Analysis of the Dislodging Restrict Appraisal Mode[J]. Journal of Southwest Jiaotong University, 1999, 12(1): 109-114. |
1. | 黄丽,赵红霞,朱叶,杨秋琴. 基于测试树模型的软件测试能力值优先级排序. 计算机仿真. 2024(01): 425-428+437 . ![]() | |
2. | 易翠英. 基于时间自动机的CTCS-3级列控等级转换场景测试用例生成方法研究. 自动化与仪器仪表. 2024(03): 264-267 . ![]() | |
3. | 史增树,李耀,郭进,张亚东. 面向高铁信号系统工程测试的测试建模方法. 西南交通大学学报. 2024(05): 1023-1033 . ![]() | |
4. | 吕继东,卢万里,唐涛,罗正伟. 列车运行控制系统的形式化研究进展与趋势. 前瞻科技. 2023(01): 106-117 . ![]() | |
5. | 史增树,李耀,郭进,张亚东. 基于改进引力搜索算法的高铁信号系统测试案例生成方法研究. 铁道通信信号. 2023(12): 24-32 . ![]() | |
6. | 宋莉,李飞,赵瑜,赵健. 基于TA的等级转换场景变异测试方法研究. 石家庄铁道大学学报(自然科学版). 2022(01): 57-63 . ![]() | |
7. | 李耀,张晓霞,郭进,张亚东. 铁路信号系统软件测试建模方法. 西南交通大学学报. 2022(02): 392-400+424 . ![]() | |
8. | 刘明,王新强. 基于适应度函数的联锁软件测试用例生成仿真. 计算机仿真. 2022(12): 408-412 . ![]() |