• ISSN 0258-2724
  • CN 51-1277/U
  • EI Compendex
  • Scopus
  • Indexed by Core Journals of China, Chinese S&T Journal Citation Reports
  • Chinese S&T Journal Citation Reports
  • Chinese Science Citation Database
ZHOU Yangjing, FENG Zhiqiang, NING Po, WANG Changyong. Numerical Algorithm and Software Development for Metal Forming[J]. Journal of Southwest Jiaotong University, 2019, 54(4): 855-862. doi: 10.3969/j.issn.0258-2724.20170442
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

Mutation Timed Automata with Input and Output-Based Method of Generating Test Suites for Chinese Train Control System Level 3

doi: 10.3969/j.issn.0258-2724.20180078
  • Received Date: 03 Feb 2018
  • Rev Recd Date: 01 Aug 2018
  • Available Online: 13 Jul 2020
  • Publish Date: 01 Oct 2020
  • In order to design and select the proper set of test cases so that all the known faults can be covered, an automatic test suite generation method was proposed for the Chinese train control system level 3 (CTCS-3) based on timed automata with input and output (TAIO) and mutation analysis. Firstly, according to the characteristics of the fault modes of the system mode transition, kinds of mutation operators (change action, change target, change source, etc.) had been designed, and 15106 mutants were generated. Secondly, based on the timed input and output conformance relation (tioco) and the k-Bounded model checking technique, 10 843 test cases were generated. Finally, the conformance relation score (CRS), average conformance relation score (ACRS) and weighted conformance relation score (WCRS) had been introduced to analyze the coverage of faults domain. The results show that the test cases generated can effectively cover the fault modes of change action, change invariant and sink location, however, the negate guard and invert reset fault modes cannot be effectively covered, which may require additional information of observation for the fault detection.

     

  • 唐涛. 列车运行控制系统[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.
  • Relative Articles

    [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.
  • Cited by

    Periodical cited type(8)

    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 .

    Other cited types(7)

  • Created with Highcharts 5.0.7Amount of accessChart context menuAbstract Views, HTML Views, PDF Downloads StatisticsAbstract ViewsHTML ViewsPDF Downloads2024-052024-062024-072024-082024-092024-102024-112024-122025-012025-022025-032025-0405101520
    Created with Highcharts 5.0.7Chart context menuAccess Class DistributionFULLTEXT: 38.8 %FULLTEXT: 38.8 %META: 57.4 %META: 57.4 %PDF: 3.8 %PDF: 3.8 %FULLTEXTMETAPDF
    Created with Highcharts 5.0.7Chart context menuAccess Area Distribution其他: 2.7 %其他: 2.7 %Rochester: 0.3 %Rochester: 0.3 %上海: 0.5 %上海: 0.5 %东莞: 0.2 %东莞: 0.2 %临汾: 0.3 %临汾: 0.3 %内江: 0.2 %内江: 0.2 %北京: 7.9 %北京: 7.9 %十堰: 0.2 %十堰: 0.2 %南京: 1.2 %南京: 1.2 %南通: 0.2 %南通: 0.2 %南阳: 0.2 %南阳: 0.2 %台州: 0.2 %台州: 0.2 %哈尔滨: 0.3 %哈尔滨: 0.3 %哥伦布: 0.3 %哥伦布: 0.3 %大连: 0.9 %大连: 0.9 %天津: 0.5 %天津: 0.5 %太原: 0.3 %太原: 0.3 %宣城: 0.3 %宣城: 0.3 %张家口: 1.8 %张家口: 1.8 %惠州: 0.3 %惠州: 0.3 %成都: 3.5 %成都: 3.5 %扬州: 0.9 %扬州: 0.9 %杭州: 0.5 %杭州: 0.5 %池州: 0.2 %池州: 0.2 %沈阳: 0.3 %沈阳: 0.3 %温州: 0.5 %温州: 0.5 %漯河: 0.6 %漯河: 0.6 %眉山: 0.5 %眉山: 0.5 %石家庄: 1.2 %石家庄: 1.2 %福州: 0.3 %福州: 0.3 %芒廷维尤: 20.6 %芒廷维尤: 20.6 %芝加哥: 0.5 %芝加哥: 0.5 %衢州: 0.2 %衢州: 0.2 %西宁: 48.9 %西宁: 48.9 %贵阳: 0.2 %贵阳: 0.2 %运城: 0.8 %运城: 0.8 %郑州: 0.2 %郑州: 0.2 %长沙: 1.8 %长沙: 1.8 %阳泉: 0.2 %阳泉: 0.2 %其他Rochester上海东莞临汾内江北京十堰南京南通南阳台州哈尔滨哥伦布大连天津太原宣城张家口惠州成都扬州杭州池州沈阳温州漯河眉山石家庄福州芒廷维尤芝加哥衢州西宁贵阳运城郑州长沙阳泉

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Figures(10)  / Tables(5)

    Article views(771) PDF downloads(31) Cited by(15)
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return