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
AUTOMATED DIGITAL MAMMOGRAM SEGMENTATION FOR DETECTION OF ABNORMAL MASSES USING BINARY HOMOGENEITY ENHANCEMENT ALGORITHM
Many image processing techniques have been developed over the past two decades to help radiologists in diagnosing breast cancer. At the same time, many studies proven that an early diagnosis of breast cancer can increase...
Face Image Retrieval using Tchebichef Moments
Image Retrieval is a field of study concerned with searching and retrieving images from a collection of database. Face image retrieval is still a challenging task since face images can vary noticeably in terms of facial...
DIGITAL WATERMARKING SCHEMES FOR AUTHORIZATION AGAINST COPYING OR PIRACY OF COLOR IMAGES
This paper presents digital watermarking methods for authorization against copying or piracy of color images. Watermarking is a very important field for copyrights of various electronic documents and media. With images w...
BIO-PROGRAMMING PROSPECTS OF JAVA: A COMPUTATIONAL MOVE TOWARDS THE UNDERSTANDING OF THE BIOLOGICAL ASPECTS OF GENES AND PROTEINS
Java is a powerful object oriented programming language that dominates many other programming languages for more than a decade. It is well designed and available as many executable technologies for software development s...
A GLFES and DFT Technique for Feature Selection in High-Dimensional Imbalanced dataset
Feature selection has been an active research area in pattern recognition, statistics ,and data mining communities Feature selection, is a preprocessing step to machine learning, is effective in reducing dimensionality,...