@InProceedings{GHH+07_ag,
AUTHOR = {Giese, Holger and Henkler, Stefan and Hirsch, Martin and Klein, Florian and Spijkerman, Michael},
TITLE = {{Monitoring of Structural and Temporal Properties}},
YEAR = {2007},
MONTH = {September},
BOOKTITLE = {Proc. of the 5th International Fujaba Days 2007, Kassel, Germany},
PAGES = {8-11},
EDITOR = {Geiger, Leif and Giese, Holger and Zündorf, Albert},
PDF = {uploads/pdf/fd07proceedings.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.}
}