%0 Electronic Article %A Meng Li %+ Department of Electrical and Computer Engineering, Iowa State University, Ames, IA 50010, USA %A Ratnesh Kumar %+ Department of Electrical and Computer Engineering, Iowa State University, Ames, IA 50010, USA %K automated test generation approach %K Model-based development frameworks %K I/O-EFA model %K constraint solving %K model checking %K error localisation %K model-based CPS designs %K input-output extended finite automata %K cyber-physical systems %X Model-based development frameworks for cyber-physical systems (CPSs) such as Simulink and Stateflow are popular for many applications. For safety and security concerns, verification and testing/validation must be performed on the model-based CPS designs. In this study, the authors present an automatic test generation approach for model-based CPS designs in Simulink/Stateflow based on its translation to input/output extended finite automata (I/O-EFA) developed in the authors’ prior works. The test generation problem requires identifying the executable paths of the I/O-EFA model and also generating a test input for those paths. To execute a path, a certain sequence of other paths must be executed first, which they automatically identify. The approach is implemented by applying two different techniques, model checking and constraint solving. Both test generation implementations are validated by a case study. The results show that both implementations can generate test cases, while the implementation based on constraint solving is in general faster. The approach is further extended to requirements-based test generation. These tests are then used for validation purposes, and the failed versus passed tests are used to localise the fault to plausible Simulink/Stateflow blocks using the notion of fault-seed used in their earlier work. The approaches are applied on a bounded counter and a thermal control of a house as two different case studies. %T Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata %B IET Cyber-Physical Systems: Theory & Applications %D December 2016 %V 1 %N 1 %P 95-107 %I Institution of Engineering and Technology %U https://digital-library.theiet.org/;jsessionid=usmpme58l9uc.x-iet-live-01content/journals/10.1049/iet-cps.2016.0024 %G EN