lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
An experience in validating train control systems by a grey-box testing approach
Show others and affiliations
2005 (English)In: Advances in Safety and Reliability - Proceedings of the European Safety and Reliability Conference, ESREL 2005, 2005, p. 1435-1442Conference paper, Published paper (Refereed)
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. © 2005 Taylor & Francis Group, London.

Place, publisher, year, edition, pages
2005. p. 1435-1442
Keywords [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
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73699Scopus ID: 2-s2.0-84857467427ISBN: 0415383420 ISBN: 9780415383424 OAI: oai:DiVA.org:lnu-73699DiVA, id: diva2:1213842
Conference
16th European Safety and Reliability Conference, ESREL 2005, 27 June 2005 through 30 June 2005, Tri City
Note

Conference code: 88581; Cited By :1; Export Date: 26 April 2018; Conference Paper; Correspondence Address: De Nicola, G.; Ansaldo Signal - Ansaldo Segnalamento Ferroviario S.p.A., Naples, Italy; References: EN 50126 Railways Applications - The Specification and Demonstration of Reliability, Maintainability and Safety (RAMS), , CENELEC; Di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A., Hazard analysis of complex distributed railway systems (2003) Proceedings of 22nd International Symposium on Reliable Distributed Systems, Florence, pp. 283-292; Dustin, E., Rashka, J., Paul, J., (1999) Automated Software Testing, , AddisonWesley; Graves, T.L., Harrold, M.J., Kim, J.M., Porter, A., Rothermel, G., An empirical study of regression test selection techniques (1998) Proceedings of the 20th International Conference on Software Engineering, pp. 188-197; Grimm, K., Systematic testing of software-based systems (1996) Proceedings of the 2nd Annual ENCRESS Conference, , Paris; Grochtmann, M., Grimm, K., Classification-trees for partition testing (1993) Journal of Software Testing, Verification and Reliability, 3 (2), pp. 63-82; Heath, W.S., (1991) Real-Time SoftwareTechniques, , NewYork: Van Nostrand Reinhold; Jeng, B., Weyuker, E.J., Some observations on partition testing (1989) Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis and Verification, , KeyWest; Kelly, D., Software test automation and the product lifecycle (1997) MachTech Magazine, 13 (10); Norme per L'Ubicazione e L'Aspetto Dei Segnali, , Ministero dei Trasporti - Ferrovie dello Stato - Direzione Generale; Myers, G.J., (1979) The Art of Software Testing, , New York: Wiley; Ostrand, T., Balcer, M., The category-partition method for specifying and generating functional tests (1988) Communications of the ACM, 31 (6), pp. 676-686; Pettichord, B., Seven steps to test automation success (1999) Proceedings of the International Conference of Software Testing Analysis and Results, , San Jose; Pettichord, B., Success withtest automation (2001) Quality Week, , San Francisco; (2003) Applicazione Dell'SCMT: Caratteristiche di Codificazione Degli Impianti BACC Ed Integrazioni Tecnico-normative, , RFI. Roma; Sommervill, I., (2000) Software Engineering, , 6th Edition. AddisonWesley; (2001) Tau Logicscope v5.1: Basic Concept, , Telelogic; (2002) ERTMS/ETCS - Class1 Issue 2.2.2 Subset 026, , UNISIG; Wegener, J., Grimm, K., Grochtmann, M., Systematic testing of real-time systems (1996) Conference Papers of EuroSTAR '96, , Amsterdam

Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-06-05

Open Access in DiVA

No full text in DiVA

Scopus
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf