A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model


The Simulink/Stateflow is a commonly used approach in modeling embedded systems. This paper presents a model driven testing method for embedded systems using Simulink/Stateflow model, where a test model of a system constructed with Simulink/Stateflow is to be converted to hierarchical interface automata. Dependencies within hierarchical interface automata… (More)
DOI: 10.1109/TSA.2015.15


10 Figures and Tables