Generation and prioritization of test casesusing Simulink/Stateflow models

Abstract

Embedded systems are mainly modeled by using MATLAB's simulink and stateflow tools. MATLAB's simulink is a tool for modeling, simulating and analysing software systems and stateflow is a control logic tool used to model event-driven systems (Reactive systems) through state machines and flow charts within a simulink model. In real-time, systems undergo frequent changes, thus complexity of the systems grows and testing of the systems become time consuming and expensive even if changes occur in small parts of the system. So, these models need formal verification. In this paper, we focus on event-driven systems which are captured by stateflow model. For this, we propose an algorithm () in which we first generate an XML file for the stateflow model of a system. Then, we parse that XML file following top-down approach by using XML parser. Next, we generate intermediate graph for the model, using the parsed information. By using this graph, we generate test cases for the models of the systems having composite states.