Model-based automatic test generation for Simulink/Stateflow using extended finite automaton

摘要

Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code. In this paper, we present an automatic test generation approach for Simulink/Stateflow based on its translation to Input/Output Extended Finite Automata (I/O-EFA) that we have developed in our 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. Note in order to execute a path, a certain sequence of other paths must be executed first, which we 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 as expected and the implementation based on constraint solving is in general faster.