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
Automatic instantiation of abstract tests on specific configurations for large critical control systems
Ansaldo STS, Italy ; Universit`a di Napoli ‘Federico II’, Italy.ORCID iD: 0000-0002-2833-7196
Universit`a di Napoli ‘Federico II’, Italy.
Ansaldo STS, Italy.
2009 (English)In: Software testing, verification & reliability, ISSN 0960-0833, E-ISSN 1099-1689, Vol. 19, no 2, p. 91-110Article in journal (Refereed) Published
Abstract [en]

Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an 'abstract testing' of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error-prone verification activity. To automate a safe passage from abstract tests, related to the so-called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a statebased behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience. Copyright © 2008 John Wiley & Sons, Ltd.

Place, publisher, year, edition, pages
2009. Vol. 19, no 2, p. 91-110
Keywords [en]
Configuration coverage, Dependability, Functional testing, Railway interlocking, Behavioural model, Control software, Critical control systems, Error prones, Functional requirement, Generic softwares, Logic process, Railway interlocking system, Reference architecture, State-based, Test runs, Verification activities, Abstracting, Computer software, Control theory, Interlocking signals, Railroads, Software architecture, Computer control systems
National Category
Embedded Systems
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73689DOI: 10.1002/stvr.389Scopus ID: 2-s2.0-69949128697OAI: oai:DiVA.org:lnu-73689DiVA, id: diva2:1213863
Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-09-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
In the same journal
Software testing, verification & reliability
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 16 hits
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