Change search
ReferencesLink to record
Permanent link

Direct link
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
Auckland University of Technology, Computer and Mathematical Sciences, Auckland University of Technology.
Department of Electrical and Computer System Engineering, University of Auckland, University of Auckland, Department of Electrical and Computer Engineering, Department of Electrical Engineering and Automation, Aalto University, Helsinki.
Aalto University, Helsinki, Department of Electrical Engineering and Automation, Aalto University, Helsinki.
Fortum Oyj, Helsinki.
Show others and affiliations
2016 (English)In: 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015: Gold Coast, Australia, 9 -11 December 2015, Piscataway, NJ: IEEE Communications Society, 2016, 198-201 p., 7384248Conference paper (Refereed)
Abstract [en]

Industrial cyber-physical systems require complex distributed software to orchestrate many heterogeneous mechatronic components and control multiple physical processes. Industrial automation software is typically developed in a model-driven fashion where abstractions of physical processes called plant models are co-developed and iteratively refined along with the control code. Testing such multi-dimensional systems is extremely difficult because often models might not be accurate, do not correspond accurately with subsequent refinements, and the software must eventually be tested on the real plant, especially in safety-critical systems like nuclear plants. This paper proposes a framework wherein high-level functional requirements are used to automatically generate test cases for designs at all abstraction levels in the model-driven engineering process. Requirements are initially specified in natural language and then analyzed and specified using a formalized ontology. The requirements ontology is then refined along with controller and plant models during design and development stages such that test cases can be generated automatically at any stage. A representative industrial water process system case study illustrates the strengths of the proposed formalism. The requirements meta-model proposed by the CESAR European project is used for requirements engineering while IEC 61131-3 and model-driven concepts are used in the design and development phases. A tool resulting from the proposed framework called REBATE (Requirements Based Automatic Testing Engine) is used to generate and execute test cases for increasingly concrete controller and plant models.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2016. 198-201 p., 7384248
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-37983DOI: 10.1109/ICECCS.2015.32Local ID: c36d527d-936e-4b00-830e-efeb688e7900ISBN: 9781467385817OAI: oai:DiVA.org:ltu-37983DiVA: diva2:1011482
Conference
International Conference on Engineering of Complex Computer Systems : 09/12/2015 - 11/12/2015
Note
Validerad; 2016; Nivå 1; 20160513 (andbra)Available from: 2016-10-03 Created: 2016-10-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 4 hits
ReferencesLink to record
Permanent link

Direct link