• 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
Volume 55 Issue 5
Oct.  2020
Turn off MathJax
Article Contents
Journal of Southwest Jiaotong University  > 2020  >  55(5): 937-945, 962.
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
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
shu

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
    Abstract
  • 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.

     

    • FullText(HTML)
  • loading
    • References(17)
  • 唐涛. 列车运行控制系统[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
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

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

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

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

    Figures(10)  / Tables(5)

    Get Citation
    PDF
    XML
    Article views(733) PDF downloads(30) Cited by()
    Proportional views
    Related

    Copyright © 2009 Journal of Southwest Jiaotong University

    Address: RM449 & 451, Administrative Building, Xipu Campus, Southwest Jiaotong University Western Hi-tech Zone, Chengdu, Sichuan 611756, P. R. China

    Tel: 028-66367562Fax: 028-66366552Email: xbz@home.swjtu.edu.cn

    Supported by: Beijing Renhe Information Technology Co. Ltd  support: info@rhhz.net

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return