An Integrated Test Generation Tool for Enhanced Coverage of Simulink/Stateflow Models

Download Now
Provided by: edaa
Topic: Hardware
Format: PDF
In model based testing, models form the basis for generating test cases which can be used to show model-code conformance. The authors have performed experiments with many test case generation techniques such as, model checking, random testing, local constraint solving (combination of random testing and constraint solving) - on a number of industrial-strength SimuLink/StateFlow (SL/SF) models. They have also experimented with the heuristics based guided coverage technique as in which in particular is effective in covering deep targets and targets involving nonlinear constraints.
Download Now

Find By Topic