Model-Based Testing for Embedded Systems

Applying MBT in the Telecommunication Domain 507

For this, Conformiq Qtronic uses semantics-driven methods for generating test suites,

which means that test generation is guided by an analysis of the behavior implied by the

model, instead of being based on syntactic analysis or simple heuristics. Qtronic uses model-

based coverage criteria to select a set of test cases to form a good test suite. The coverage

or testing goals are used to guide Qtronic to look for certain behaviors from models or

to enable certain behaviors.

∗

A test case covers a certain testing goal if execution of the

test against the model itself would cause the goal to be exercised. ...