Minj, Basanti (2014) Generation and prioritization of test casesusing Simulink/Stateflow models. MTech thesis.
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.
|Item Type:||Thesis (MTech)|
|Uncontrolled Keywords:||MATLAB's Simulink and Stateflow tools; Simulink/Stateflow models; Composite systems; XML file; XML parser;|
|Subjects:||Engineering and Technology > Computer and Information Science|
|Divisions:||Engineering and Technology > Department of Computer Science|
|Deposited By:||Hemanta Biswal|
|Deposited On:||12 Sep 2014 17:06|
|Last Modified:||12 Sep 2014 17:06|
|Supervisor(s):||Mohapatra, D P|
Repository Staff Only: item control page