Towards Agile Testing for Railway Safety-critical Software

被引:1
|
作者
Li, Nan [1 ]
Guo, Jin [1 ]
Lei, Jeff [2 ]
Li, Yao [1 ]
Rao, Chang [1 ]
Cao, YaXin [1 ]
机构
[1] Southwest Jiaotong Univ, Sch Informat Sci & Technol, Chengdu, Sichuan, Peoples R China
[2] Univ Texas Arlington, Dept Comp Sci & Engn, Arlington, TX 76019 USA
来源
PROCEEDINGS OF THE XP2016 SCIENTIFIC WORKSHOPS | 2016年
关键词
Agile Testing; Railway Safety-critical System; Continuous Integration; Continuous Delivery; Unit Testing; Integration Testing;
D O I
10.1145/2962695.2962713
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
EN 50128 gives a general guidance for testing railway safety critical software. However, it does not specify how to test safety-critical software in an agile development environment. Based on our observation, agile software development has not been applied to the development of the Chinese Train Control System (CTCS). Previous research focused on agile methods for managing and planning safety-critical software development. There exists little research about agile testing for developing railway safety-critical software in the literature. In this paper, we identify several major shortcomings of the existing practice of testing railway safety-critical software in China. In particular, we find out, that Continuous Integration (CI) and Continuous Delivery (CD) are missing from the current practice of agile testing. Furthermore, effective techniques and tools are lacking for CTCS. To address these shortcomings, we propose an agile testing framework for developing railway safety-critical software. In this framework, a build automation tool manages source code, unit tests, integration tests, resources and other tools. This test framework supports CI and CD, making agile testing possible. In addition, it includes effective unit and integration testing tools that allow rigorous tests to be generated. We believe this test framework will not only be applied to railway software, but also used for other safety-critical software.
引用
收藏
页数:4
相关论文
共 50 条
  • [1] Testing safety-critical software
    Nikolaropoulos, E
    HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
  • [2] Agile methods for safety-critical software development
    Weyrauch, K
    Poppendieck, M
    Morsicato, R
    Van Schooenderwoert, N
    Pyritz, B
    EXTREME PROGRAMMING AND AGILE METHODS - XP/ AGILE UNIVERSE 2004, PROCEEDINGS, 2004, 3134 : 202 - 202
  • [3] Scrum for safety: an agile methodology for safety-critical software systems
    Barbareschi, Mario
    Barone, Salvatore
    Carbone, Riccardo
    Casola, Valentina
    SOFTWARE QUALITY JOURNAL, 2022, 30 (04) : 1067 - 1088
  • [4] Scrum for safety: an agile methodology for safety-critical software systems
    Mario Barbareschi
    Salvatore Barone
    Riccardo Carbone
    Valentina Casola
    Software Quality Journal, 2022, 30 : 1067 - 1088
  • [5] Testing. Testing safety-critical software
    Redmill, Felix
    Professional Engineering, 1993, 6 (07) : 20 - 21
  • [6] Towards the Design of Safety-Critical Software
    Rafeh, R.
    Rabiee, A.
    JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2013, 11 : 683 - 694
  • [7] Agile methods for open source safety-critical software
    Gary, Kevin
    Enquobahrie, Andinet
    Ibanez, Luis
    Cheng, Patrick
    Yaniv, Ziv
    Cleary, Kevin
    Kokoori, Shylaja
    Muffih, Benjamin
    Heidenreich, John
    SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (09): : 945 - 962
  • [8] Railway signaling safety-critical software testing based on dynamic decision table
    Wu, Fangmei
    Li, Meng
    Proceedings of the Asian Test Symposium, 1999, : 247 - 250
  • [9] An approach for testing safety-critical software
    Li, WW
    Xu, ZW
    Jin, Y
    NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
  • [10] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47