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

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.

Find By Topic