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.

A hybrid testing methodology for railway control systems / De Nicola G; di Tommaso P; Esposito R; Flammini F; Orazzo A. - STAMPA. - 3219:(2004), pp. 116-129. (Intervento presentato al convegno SAFECOMP 2004 tenutosi a Potsdam, Germany nel 21-24 September 2004) [10.1007/978-3-540-30138-7_11].

A hybrid testing methodology for railway control systems

Flammini F;
2004

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.
2004
LNCS Vol. 3219: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP’04
SAFECOMP 2004
Potsdam, Germany
21-24 September 2004
De Nicola G; di Tommaso P; Esposito R; Flammini F; Orazzo A
File in questo prodotto:
File Dimensione Formato  
10.1007%2F978-3-540-30138-7_11.pdf

Accesso chiuso

Licenza: Tutti i diritti riservati
Dimensione 365.07 kB
Formato Adobe PDF
365.07 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1386652
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 5
social impact