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.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.