Abstract
International standards for V&V processes prescribe systematic testing as a fundamental step of safety-critical systems life-cycle, in order to prove the fulfilment of their requirements. However, proposed approaches are quite general and, for complex systems, imply an excessive number of test-cases to ensure the correctness of system behaviour in any operating scenarios, including unexpected ones. A more detailed methodology is needed to extensively test all the aspects of a complex system, while keeping the number of test-cases below a reasonable threshold. This paper describes the ASF hybrid testing methodology, combining black-box and white-box techniques, based on the identification and reduction of influence variables. Such an approach was successfully applied to validate ASF implementation of the SCMT system (an Italian Automatic Train Control specification), showing its time effectiveness and full achieved coverage. The same methodology, with the related customization, is now being improved in order to test the new ERTMS/ETCS systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CENELEC: EN 50126 Railway Applications – The specification and demonstration of Reliability, Maintainability and Safety (RAMS)
Heath, W.S.: Real-Time Software Techniques. Van Nostrand Reinhold, New York (1991)
Myers, G.J.: The Art of Software Testing. Wiley, New York (1979)
Wegener, J., Grimm, K., Grochtmann, M.: Systematic Testing of Real-Time Systems. In: Conference Papers of EuroSTAR 1996, Amsterdam (1996)
Jeng, B., Weyuker, E.J.: Some Observations on Partition Testing. In: Proceedings of the ACM SIGSOFT 1989 Third Symposium on Software Testing, Analysis and Verification, Key West (1989)
Ostrand, T., Balcer, M.: The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM 31(6), 676–686 (1988)
Grochtmann, M., Grimm, K.: Classification-Trees for Partition Testing. Journal of Software Testing, Verification and Reliability 3(2), 63–82 (1993)
Grimm, K.: Systematic Testing of Software-Based Systems. In: Proceedings of the 2nd Annual ENCRESS Conference, Paris (1996)
di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A.: Hazard Analysis of Complex Distributed Railway Systems. In: Proceedings of 22nd International Symposium on Reliable Distributed Systems, Florence, pp. 283–292 (2003)
UNISIG ERTMS/ETCS – Class1 Issue 2.2.2 Subset 026-1
Ministero dei Trasporti – Ferrovie dello Stato – Direzione Generale: Norme per l’Ubicazione e l’Aspetto dei Segnali
Sommervill: Software Engineering, 6th edn. Addison Wesley, Reading (2000)
Telelogic Tau Logicscope v5.1: Basic Concept (2001)
RFI: Applicazione dell’SCMT: caratteristiche di codificazione degli impianti BACC ed integrazioni tecnico-normative, Roma (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Nicola, G., di Tommaso, P., Esposito, R., Flammini, F., Orazzo, A. (2004). A Hybrid Testing Methodology for Railway Control Systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2004. Lecture Notes in Computer Science, vol 3219. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30138-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-30138-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23176-9
Online ISBN: 978-3-540-30138-7
eBook Packages: Springer Book Archive