Generating Test Sequences and Slices for Simulink/Stateflow Models

Sridhar, Adepu (2013) Generating Test Sequences and Slices for Simulink/Stateflow Models. MTech thesis.



In a typical software development project more than 50 percent of software development effort is spent in testing phase. Test case design as well as execution consumes a lot of time. So automated generation of test cases is highly required. In our thesis we generated test sequences from Simulink/Stateflow, which is used to develop Embedded control systems. Testing of these systems is very important in order to provide error free systems as well as quality assurance. For these purpose Test cases are used to test the systems. We developed the test sequences which are use to generate test cases. First, we represent the System using Simulink/Stateflow models. For this purpose normally we use Simulink tool, which is available in the MATLAB. We developed the dependency graph from the SL/SF model. For Simulink part of the model we use Out put dependency and for the Stateflow part of the model we use Control dependency graph. From those graphs we generate the test sequences. Simulink/Stateflow models often consist of more than ten thousand blocks and a large number of hierarchi-cal levels. In this, we present an approach for slicing Simulink/Stateflow models using dependence graphs from the automotive and avionics do-main. With slicing, the complexity of a model can be reduced to a given point of interest by removing unrelated model elements.

Item Type:Thesis (MTech)
Uncontrolled Keywords:Simulink/Stateflow; Dependency Graph; Test Sequences; Test case; Slicing.
Subjects:Engineering and Technology > Computer and Information Science > Data Mining
Divisions: Engineering and Technology > Department of Computer Science
ID Code:5000
Deposited By:Hemanta Biswal
Deposited On:05 Dec 2013 11:35
Last Modified:20 Dec 2013 14:18
Supervisor(s):Mohapatra, D P

Repository Staff Only: item control page