Method of automatic test case generation for safety-critical scenarios in train control systems

被引：0
|
作者：
Chen, Xin [1 ,2 ]
Jiang, Peng [1 ,2 ]
Zhang, Yi-Fan [1 ,2 ]
Huang, Chao [1 ,2 ]
Zhou, Yan [1 ,2 ]
机构：
[1] State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing,210023, China
[2] Department of Computer Science and Technology, Nanjing University, Nanjing,210023, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2015年 / 26卷 / 02期
关键词：
D O I：
10.13328/j.cnki.jos.004780
中图分类号：
学科分类号：
摘要：
15
引用
收藏
页码：269 / 278
相关论文
共 50 条
  • [1] MC/DC Test Case Automatic Generation for Safety-Critical Systems
    Wang, Cong
    Sun, Haiying
    Dou, Hui
    Chen, Hongtao
    Liu, Jing
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 732 - 743
  • [2] Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles
    Althoff, Matthias
    Lutz, Sebastian
    2018 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2018, : 1326 - 1333
  • [3] Automatic test generation for safety-critical system
    Xu, ZW
    Wu, FM
    ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 70 - 73
  • [4] Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded Systems
    Koo, Bongjoo
    Bae, Jungho
    Kim, Seogbong
    Park, Kangmin
    Kim, Hyungshin
    ELECTRONICS, 2020, 9 (05)
  • [5] An Automatic Test Case Generator for Testing Safety-Critical Software Systems
    Malekzadeh, Mehdi
    Ainon, Raja Noor
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 163 - 167
  • [6] Automated Test Case Generation for Safety-Critical Software in Scade
    Kurian, Elson
    Braione, Pietro
    Briola, Daniela
    D'Avino, Dario
    Modonato, Matteo
    Denaro, Giovanni
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE, ICSE-SEIP, 2023, : 483 - 494
  • [7] Models for automatic generation of safety-critical real-time systems
    Buckl, Christian
    Regensburger, Matthias
    Knoll, Alois
    Schrott, Gerhard
    ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 580 - +
  • [8] A TRAIN SET AS A CASE-STUDY FOR THE REQUIREMENTS ANALYSIS OF SAFETY-CRITICAL SYSTEMS
    DELEMOS, R
    SAEED, A
    ANDERSON, T
    COMPUTER JOURNAL, 1992, 35 (01): : 30 - 40
  • [9] Suicidal Pedestrian: Generation of Safety-Critical Scenarios for Autonomous Vehicles
    Yang, Yuhang
    Kujanpaa, Kalle
    Babadi, Amin
    Pajarinen, Joni
    Ilin, Alexander
    2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 1983 - 1988
  • [10] Safety-Critical Control for Ensemble Systems
    Guo, Yang
    Petzke, Felix
    Rumschinski, Philipp
    Streif, Stefan
    IFAC PAPERSONLINE, 2023, 56 (02): : 3152 - 3157
12345