scholarly journals Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

Author(s):  
Roopak Sinha ◽  
Cheng Pang ◽  
Gerardo Santillan Martinez ◽  
Juha Kuronen ◽  
Valeriy Vyatkin
2016 ◽  
Vol 64 (3) ◽  
Author(s):  
Roopak Sinha ◽  
Cheng Pang ◽  
Gerardo Santillán Martínez ◽  
Valeriy Vyatkin

AbstractIndustrial 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).


Author(s):  
Wacharapong Nachiengmai ◽  
◽  
Sakgasit Ramingwong ◽  
Amphol Kongkeaw

Sign in / Sign up

Export Citation Format

Share Document