@InProceedings{GHH+07a_ag,
AUTHOR = {Giese, Holger and Henkler, Stefan and Hirsch, Martin and Priesterjahn, Claudia},
TITLE = {{Model-Based Testing of Mechatronic Systems}},
YEAR = {2007},
MONTH = {September},
BOOKTITLE = {Proc. of the 5th International Fujaba Days 2007, Kassel, Germany},
PAGES = {1-4},
EDITOR = {Geiger, Leif and Giese, Holger and Zündorf, Albert},
PDF = {uploads/pdf/ghhp_fdays2007_final.pdf},
OPTacc_pdf = {},
ABSTRACT = {We report about a Fujaba plugin for the automatic test generation
and execution for components modeled with Real-
Time Statecharts. We automatically generate test suites
by using counterexamples obtained from the existing model
checking plugin. By using a model checker we are able to
support different coverage criteria for the behavior with the
generated test suites by invoking the model checker with
specific formulas adapted from criteria-specific observer automata.
The presented approach is efficient as we propose a
compositional testing approach. Furthermore we support to
execute the test suites for the generated code and measuring
the coverage criterion.}
}