Generation of Branch Coverage Test Data for Simulink/Stateflow Models Using Crest Tool
Journal: International Journal of Advanced Computer Research (IJACR) (Vol.3, No. 13)Publication Date: 2013-12-30
Authors : Sangharatna Godboley; Adepu Sridhar; Bhupendra kharpuse; Durga Prasad Mohapatra; Banshidhar Majhi;
Page : 222-229
Keywords : Simulation; Stateflow; Branch coverage; CREST Tool; Simulink/Stateflow; Concolic testing e Slicer; Crest Tool; Concolic Testing.;
Abstract
Automated test suite generation is an optimization technique to reduce test effort and duration. Software Testing has traditionally been one of the main techniques contributing to high software quality and dependability. Testing performance consumes about 50% of software development resources, so any methods aiming at reducing software- testing costs are likely to reduce software development costs. So an automated generation of test cases is highly required. Modelling technology has been introduced into the software testing field. Even though how to perform the testing is difficult task, in this approach we are testing using simulation modelling and by using testing methods we are generating MC/DC test cases. In our approach, the first system is modelled in MATLAB using Simulink/Stateflow tool. After that we are generating code from the Simulink/Stateflow models. We use that code to generate the test data using Concolic tester CREST Tool. Concolic testing is used in avionics systems in an efficient way.
Other Latest Articles
- Exploring Security Mechanisms to Android Device
- Interactive Image Segmentation and Edge Detection of Medical Images
- FPGA - Based Evaluation of Power Analysis Attacks and Its Countermeasures on Asynchronous S-Box
- THD Reduction in Performance of Cascaded Multi-Level Inverter Fed Induction Motor Drive
- Novel Method for Edge Detection for Gray Scale Images using VC++ Environment
Last modified: 2014-12-02 20:34:08