A method of test case generation based on IRM-COM for train control system

被引：0
|
作者：
Zhang, Yanpeng [1 ,2 ]
Liang, Chunyan [1 ,2 ]
Xie, Yingfeng [3 ]
Zhang, Zhenhai [1 ,2 ]
机构：
[1] School of Automation & Electrical Engineering, Lanzhou Jiaotong University, Lanzhou,730070, China
[2] Gansu Provincial Engineering Research Center for Artificial Intelligence and Graphics & Image Processing, Lanzhou,730070, China
[3] CRSC Research & Design Institute Group Co., Ltd., China Railway Signal & Communication Co., Ltd, Beijing,100070, China
来源：
Journal of Railway Science and Engineering | 2020年 / 17卷 / 07期
关键词：
Fault detection;
D O I：
10.19713/j.cnki.43-1423/u.T20190928
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1817 / 1824
相关论文
共 50 条
  • [1] Test Case Generation Method Based on Colored Petri Net for Train Control System
    Chen Lijie
    Zhao Tianshi
    Sun Chao
    He Hongyang
    2018 3RD INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY (ICSRS), 2018, : 1 - 5
  • [2] Modelling and simulation of the European Train Control System for test case generation
    Schultz, HM
    Hörste, MMZ
    Ptok, B
    Schneider, E
    COMPUTERS IN RAILWAYS VI, 1998, 2 : 649 - 658
  • [3] A Model-based Test Case Generation Method for Function Testing of Train Control Systems
    Lv, Jidong
    Wang, Haifeng
    Liu, Hongjie
    Zhang, Lu
    Tang, Tao
    2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 334 - 346
  • [4] Study on the Method for Automatic Generation of Test Sequence for Train Control System Based on State Matching
    Zhang, Yong
    Xie, Yu-chen
    Zhang, Xiao-kun
    INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE (ICCSAI 2014), 2015, : 92 - 95
  • [5] Mutation Model-Based Test Case Generation of Chinese Train Control System with Automatic Train Operation Function
    Zhang, Zhixuan
    Li, Kaicheng
    Yuan, Lei
    Yu, Guanhua
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
  • [6] Model-based test case automatic generation of CTCS-3 train control system
    National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing
    100044, China
    不详
    100044, China
    不详
    100044, China
    Xinan Jiaotong Daxue Xuebao, 5 (917-927):
  • [7] Research on Data Generation Method for Train Control System
    Tian, Yu
    Wang, Hai-feng
    Sun, Quan-xin
    PROCEEDINGS OF THE 2016 4TH INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND COMPUTING TECHNOLOGY, 2016, 60 : 1057 - 1060
  • [8] Method of automatic test case generation for safety-critical scenarios in train control systems
    Chen, Xin
    Jiang, Peng
    Zhang, Yi-Fan
    Huang, Chao
    Zhou, Yan
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 269 - 278
  • [9] Test Suite Generation for CTCS-3 Train Control System Based On TAIO and Mutation Theory
    Wang, Tuo
    Lv, Jidong
    Wei, Baiquan
    Tao Tang
    Wei Shangguan
    2018 21ST INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2018, : 1950 - 1955
  • [10] Test case generation from formal specifications on the example of train control systems
    Hörste, MMZ
    Schnieder, E
    Schulz, HM
    COMPUTERS IN RAILWAYS VII, 2000, 7 : 117 - 126
12345