lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A grey-box approach to the functional testing of complex automatic train protection systems
ANSALDO SIGNAL, Italy.
ANSALDO SIGNAL, Italy.
ANSALDO SIGNAL, Italy.
ANSALDO SIGNAL, Italy. (CPS)ORCID-id: 0000-0002-2833-7196
Visa övriga samt affilieringar
2005 (Engelska)Ingår i: Dependable Computing - EDCC 5: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings, Berlin, Heidelberg: Springer, 2005, s. 305-317Konferensbidrag, Publicerat paper (Refereegranskat)
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 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.

Ort, förlag, år, upplaga, sidor
Berlin, Heidelberg: Springer, 2005. s. 305-317
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 3463
Nyckelord [en]
Computational complexity, Computer science, Control systems, Embedded systems, Mechanical testing, Regression analysis, Specifications, Systems analysis, Black-box testing, System specifications, Systematic functional testing, Systems development cycle, Automatic train control
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:lnu:diva-73700DOI: 10.1007/11408901_23Scopus ID: 2-s2.0-24944454238ISBN: 978-3-540-25723-3 (tryckt)ISBN: 978-3-540-32019-7 (digital)OAI: oai:DiVA.org:lnu-73700DiVA, id: diva2:1213840
Konferens
5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005
Tillgänglig från: 2018-06-05 Skapad: 2018-06-05 Senast uppdaterad: 2019-03-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Flammini, Francesco

Sök vidare i DiVA

Av författaren/redaktören
Flammini, Francesco
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 196 träffar
RefereraExporteraLänk till posten
Permanent länk

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