PROGRAMMED TEST CASE GENERATION FROM SIMULINK/STATEFLOW MODEL
Journal Title: Indian Journal of Computer Science and Engineering - Year 2015, Vol 6, Issue 2
Abstract
Matlab, Simulink/Stateflow Model is the most extensively used industrial tools that include system development that allows models to be developed, visualized and exercised. Matlab, Simulink/Stateflow (SL/SF) is used particularly for developing embedded system. Usually SL/SF models are hierarchical;we can split up any complex system into trivial parts that can be viewed as a level of abstraction that helpful in understanding the system easily. The resulting model must be tested in order to find fault in the system, especially embedded system. In order to doing the model based testing of the SL / SF model, we have primarily developed any SL/SF system, subsequent we have to convert that model into xml file, succeeding using XML parser and our proposed algorithm we have to develop SL/SF System dependency graph (SSDG) for SL/SF model, subsequent using SSDG, we apply our algorithm to generate test sequences and test cases for the SL/SF model.
Authors and Affiliations
Ravikant Sharma , Surya PrakashSonwani
Keywords
Related Articles
- EP ID EP122173
- DOI -
- Views 120
- Downloads 0
APPLICABILITY OF CLOUD COMPUTING IN ACADEMIA
The Indian Education sector has seen a tremendous rise in the field of higher education which has led to the demand for the automation of education sector at all the levels in order to cater to the need of information of...
Wireless Sensor Network MAC Protocol: SMAC & TMAC
Wireless sensor networks is an emergent technology which has made Ambient Intelligence a reality. It consists of several tiny nodes connected to each other in Ad hoc environment and coordinate with each other to form a n...
REAL TIME TRAFFIC LIGHT CONTROL USING IMAGE PROCESSING
As the problem of urban traffic congestion spreads, there is a pressing need for the introduction of advanced technology and equipment to improve the state-of-the-art of traffic control. Traffic problems nowadays are inc...
VERIFICATION OF BEHAVIOR PRESERVATION IN UML SEQUENCE DIAGRAMS USING GRAPH MODELS
The verification of model transformations is gaining significant attention recent years. This paper presents an approach for verifying the behavioral preservance property of UML behavioral models that have been subjected...
PERFORMANCE EVALUATION OF DIFFERENT LINE CODES
The ability to communicate has differentiated mankind from other species. 20lh century has seen considerable emphasis on development of efficient communication techniques because how well one is able to communicate has b...