onr:"swepub:oai:DiVA.org:mdh-47772"
Search: onr:"swepub:oai:DiVA.org:mdh-47772" > An experience in va...
- 1 of 1
- Previous record
- Next record
- To hitlist
An experience in validating train control systems by a grey-box testing approach
- De Nicola, G. (author)
-
- Di Tommaso, P. (author)
- Ansaldo Signal, Italy
- Esposito, R. (author)
- show more...
- Marmo, P. (author)
- Orazzo, A. (author)
- show less...
- (creator_code:org_t)
- Boca Raton : CRC Press, 2005
- 2005
- English.
- In: Advances in Safety and Reliability - ESREL 2005. - Boca Raton : CRC Press. - 0415383420 - 9780415383424 - 9780415383400 ; , s. 1435-1442
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- 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.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Keyword
- Automatic train protection systems
- Black-box testing
- Code coverage
- Embedded control systems
- Functional testing
- Grey-box
- Regression testing
- System behaviors
- System specification
- System test
- Systematic functional testing
- Target systems
- Test case
- Train control systems
- Automatic train control
- Control systems
- Reliability
- Software testing
- Specifications
- Testing
- Explosions
- Data- och informationsvetenskap
- Computer and Information Sciences Computer Science
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
- Advances in Safety and Reliability - ESREL 2005 (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- De Nicola, G.
- Di Tommaso, P.
- Esposito, R.
- Flammini, France ...
- Marmo, P.
- Orazzo, A.
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Embedded Systems
- Articles in the publication
- Advances in Safe ...
- By the university
- Mälardalen University
- Linnaeus University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
