lnu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
An experience in validating train control systems by a grey-box testing approach
Ansaldo Signal, Italy.
Ansaldo Signal, Italy. (CPS)ORCID-id: 0000-0002-2833-7196
Vise andre og tillknytning
2005 (engelsk)Inngår i: Advances in Safety and Reliability - ESREL 2005: Proceedings of the European Safety and Reliability Conference, ESREL 2005, Tri City (Gdynia-Sopot-Gdansk), Poland, 27-30 June 2005 / [ed] Kryzstof Kolowrocki, Boca Raton: CRC Press, 2005, s. 1435-1442Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
Boca Raton: CRC Press, 2005. s. 1435-1442
Emneord [en]
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
HSV kategori
Forskningsprogram
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:lnu:diva-73699Scopus ID: 2-s2.0-84857467427ISBN: 0415383420 (tryckt)ISBN: 9780415383424 (tryckt)ISBN: 9780415383400 (tryckt)OAI: oai:DiVA.org:lnu-73699DiVA, id: diva2:1213842
Konferanse
16th European Safety and Reliability Conference, ESREL 2005, 27 June 2005 through 30 June 2005, Tri City
Tilgjengelig fra: 2018-06-05 Laget: 2018-06-05 Sist oppdatert: 2019-03-07bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

ScopusTable of Contents

Personposter BETA

Flammini, Francesco

Søk i DiVA

Av forfatter/redaktør
Flammini, Francesco

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 222 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf