Systematic functional testing is a fundamental step of embedded control systems development cycle, as it allows to verify and validate their final implementation. Various approaches to black-box testing have been proposed, however they either involve test-case explosion or do not ensure the correctness of system behavior in scenarios not covered by system specifications. To cope with such issues, a methodology which better suits both complexity and safety-criticality of the target system is needed. This paper describes the ASF functional testing methodology, based on a grey-box approach aimed at generating and reducing an extensive set of influence variables and test-cases. The methodology, embracing different aspects of system test process (code coverage verification, regression testing, etc.), was successfully applied to validate the ASF implementation of SCMT (an Italian project for an Automatic Train Protection System). The results obtained in our testing experience proved the time effectiveness and extensive coverage of the proposed approach.
An Experience in Validating Train Control Systems by a Grey Box Testing Approach / De Nicola G.; di Tommaso P; Esposito R; Flammini F; Marmo P; Orazzo A. - STAMPA. - 2:(2005), pp. 1435-1442. (Intervento presentato al convegno ESREL 2005 tenutosi a Gdansk, Poland nel 27 June 2005).
An Experience in Validating Train Control Systems by a Grey Box Testing Approach
Flammini F;
2005
Abstract
Systematic functional testing is a fundamental step of embedded control systems development cycle, as it allows to verify and validate their final implementation. Various approaches to black-box testing have been proposed, however they either involve test-case explosion or do not ensure the correctness of system behavior in scenarios not covered by system specifications. To cope with such issues, a methodology which better suits both complexity and safety-criticality of the target system is needed. This paper describes the ASF functional testing methodology, based on a grey-box approach aimed at generating and reducing an extensive set of influence variables and test-cases. The methodology, embracing different aspects of system test process (code coverage verification, regression testing, etc.), was successfully applied to validate the ASF implementation of SCMT (an Italian project for an Automatic Train Protection System). The results obtained in our testing experience proved the time effectiveness and extensive coverage of the proposed approach.File | Dimensione | Formato | |
---|---|---|---|
ESREL'05.pdf
Accesso chiuso
Licenza:
Tutti i diritti riservati
Dimensione
1.9 MB
Formato
Adobe PDF
|
1.9 MB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.