By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Meng Li ; Dept. of Electrical and Computer Engineering, Iowa State University, Ames, 50010, USA ; Ratnesh Kumar

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.

Published in:

2012 IEEE International Conference on Automation Science and Engineering (CASE)

Date of Conference:

20-24 Aug. 2012