SwePub - search: L773:0415383420 OR L773:978041...

Enumeration	Reference	Cover	Find
1.	De Nicola, G., et al. (author) An experience in validating train control systems by a grey-box testing approach 2005 In: Advances in Safety and Reliability - ESREL 2005. - Boca Raton : CRC Press. - 0415383420 - 9780415383424 - 9780415383400 ; , s. 1435-1442 Conference paper (peer-reviewed)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.

De Nicola, G., et al. (author)
An experience in validating train control systems by a grey-box testing approach
2005
In: Advances in Safety and Reliability - ESREL 2005. - Boca Raton : CRC Press. - 0415383420 - 9780415383424 - 9780415383400 ; , s. 1435-1442
Conference paper (peer-reviewed)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.

Träfflista för sökning "L773:0415383420 OR L773:9780415383424 OR L773:9780415383400 "