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
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
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
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
Note

Cited By :7; Export Date: 26 April 2018; Article; CODEN: JTREE; Correspondence Address: Flammini, F.; Università di Napoli Federico II, Dipartimento di Informatica e Sistemistica, Via Claudio 21, Naples, Italy; email: flammini.francesco@asf.ansaldo.it; References: Telelogic AB: Telelogic Tau Logiscope 6.1 Test Checker - Basic Concepts. 2004; (2007) Model-Based Testing, , http://www.model-based-testing.org; Clarke, J.M., Automated test generation from a behavioral model (1998) Proceedings of Pacific Northwest Software Quality Conference, , Portland, Oregon, U.S.A, May; Hartman A, Kirshin A, Nagin K. A test execution environment running abstract tests for distributed software. Software Engineering and Applications, SEA 2002, Cambridge, U.S.A., 4-6 November 2002, Hamza MH (ed.). 2002; 448-453; (2007), http://www.omg.org/uml, OMG Unified Modeling Language; OMG Model Driven Engineering. http://www.omg.org/mde [2007]; Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G., Dependability analysis in the early phases of UML-based system design (2001) Computer Systems Science and Engineering, 16 (5), pp. 265-275; Abbaneo, C., Flammini, F., Lazzaro, A., Marmo, P., Mazzocca, N., Sanseviero, A., UML based reverse engineering for the verification of railway control logics (2006) Proceedings of Dependability of Computer Systems, DepCoS'06, pp. 3-10. , Szklarska Porěba, Poland, 25-27 May; Pickin, S., Jard, C., Le Traon, Y., Jéron, T., Jézéquel, J.M., Le Guennec, A., System test synthesis from UML models of distributed software (2002) Lecture Notes in Computer Science, 2529, pp. 97-113. , Proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE'02, Houston, TX, November, Springer: Berlin; Flammini, F., di Tommaso, P., Lazzaro, A., Pellecchia, R., Sanseviero, A., The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system (2005) Proceedings of the 9th IEEE Symposium on High Assurance Systems Engineering, HASE'05, pp. 131-139. , Heidelberg, Germany, 12-14 October; Offutt, J., Liu, S., Abdurazik, A., Ammann, P., Generating test data from state-based specifications (2003) Software Testing, Verification and Reliability, 13 (1), pp. 25-53; Ibrahim, K.E.F., Whittaker, J.A., Model based software testing (2001) Encyclopedia on Software Engineering, , Marciniak JJ ed, Wiley: New York; ERTMS/ETCS Class 1 Issue (2002), UNISIG: 2.2.2 Subset 026; Amendola, A.M., Impagliazzo, L., Marmo, P., Poli, F., Experimental evaluation of computer-based railway control systems (1997) Proceedings of the 27th IEEE International Symposium on Fault-Tolerant Computing, FTCS'97, pp. 380-384. , Seattle, Washington, U.S.A; Cimatti, A., Giunchiglia, F., Mongardi, G., Romano, D., Torielli, F., Traverso, P., Formal verification of a railway interlocking system using model checking (1998) Formal Aspects of Computing, 10 (4), pp. 361-380; (1999) The specification and demonstration of Reliability, Maintainability and Safety, , CENELEC EN50126 Railways Applications; di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A., Hazard analysis of complex distributed railway systems (2003) Proceedings of the 22nd IEEE International Symposium on Reliable Distributed Systems, SRDS'03, pp. 283-293; Hwang, J.G., Lee, J.W., Laboratory integration testing of railway signalling systems for high-speed trains (2004) Computers in Railways IX, , WIT Press: Southampton, U.K; De Nicola, G., di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., Orazzo, A., A grey-box approach to the functional testing of complex automatic train protection systems (2005) Lecture Notes in Computer Science, 3463, pp. 305-317. , The Fifth European Dependable Computing Conference, EDCC-5, Budapest, Hungary, 20-22 April, Springer: Berlin; Heath, W.S., (1991) Real-Time Software Techniques, , Van Nostrand Reinhold: New York; Benz, B., Durant, J.R., (2003) The XML Programming Bible, , 2nd edn, Wiley: New York

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

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
By organisation
Department of computer science and media technology (CM)
In the same journal
Software testing, verification & reliability
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
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