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

WEI Baiquan; LÜ Jidong; CHEN Kexing; TANG Tao; WANG Wei

doi:10.3969/j.issn.0258-2724.20180078

Volume 55 Issue 5

Oct. 2020

Turn off MathJax

Article Contents

Abstract

References

Journal of Southwest Jiaotong University > 2020 > 55(5): 937-945, 962.

PAN Yi, WANG Zhongkai, QU Zhe, ZHAO Chongjin. Seismic Performance of Owner-Built RC Frame Structures in Nepal[J]. Journal of Southwest Jiaotong University, 2019, 54(2): 304-312. doi: 10.3969/j.issn.0258-2724.20170755

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

Citation:

PDF( 1461 KB)

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

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.
- CTCS-3 train control system,
- timed automata with input and output（TAIO）,
- mutation analysis,
- mode conversion,
- test suite

FullText(HTML)

References(17)

References

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

Proportional views