A grey-box approach to the functional testing of complex automatic train protection systems

Authors:
Giuseppe De Nicola;Pasquale di Tommaso;Esposito Rosaria;Flammini Francesco;Marmo Pietro;Orazzo Antonio
Affiliations:
ANSALDO SIGNAL – Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy;ANSALDO SIGNAL – Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy;ANSALDO SIGNAL – Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy;ANSALDO SIGNAL – Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy;ANSALDO SIGNAL – Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy;ANSALDO SIGNAL – Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy
Venue:
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Year:
2005

Citing 6
Cited 3

The category-partition method for specifying and generating fuctional tests

Communications of the ACM
Some observations on partition testing

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Real-time software techniques

Real-time software techniques
An empirical study of regression test selection techniques

Proceedings of the 20th international conference on Software engineering
Software engineering (6th ed.)

Software engineering (6th ed.)
Art of Software Testing

Art of Software Testing

Improvement of processes and methods in testing activities for safety-critical embedded systems

SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report

International Journal of Critical Computer-Based Systems
Improving verification process in driverless metro systems: the MBAT project

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

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