Automatic test case generation from requirements for industrial cyber-physical systems

Roopak Sinha*, Cheng Pang, Gerardo Santillán Martínez, Valeriy Vyatkin

*Corresponding author for this work

Research output: Contribution to journalArticleScientificpeer-review

10 Citations (Scopus)


Industrial cyber-physical systems require complex software to orchestrate heterogeneous mechatronic components and control physical processes. This software is typically developed and refined iteratively in a model-driven fashion. Testing such multi-dimensional systems is extremely difficult as subsequent refinements may not correspond accurately with previous system models. We propose a framework to generate test-cases from functional requirements at all stages in the model-driven engineering process. A requirements ontology initially created during requirements engineering is iteratively refined such that test-cases can be generated automatically. An industrial water process system case study illustrates the strengths of the proposed formalism. We also present an automatic test-case generation and execution tool called REBATE (REquirements Based Automatic Testing Engine).

Original languageEnglish
Pages (from-to)216-230
Number of pages15
Issue number3
Publication statusPublished - 28 Mar 2016
MoE publication typeA1 Journal article-refereed


  • Model-based testing
  • Modeldriven engineering
  • Ontologies
  • Requirements
  • Test-case generation


Dive into the research topics of 'Automatic test case generation from requirements for industrial cyber-physical systems'. Together they form a unique fingerprint.

Cite this