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.
2005
Advances in Safety and Reliability: Proc. European Safety and Reliability Conference, ESREL’05
ESREL 2005
Gdansk, Poland
27 June 2005
De Nicola G.; di Tommaso P; Esposito R; Flammini F; Marmo P; Orazzo A
File in questo prodotto:
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.

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