Monitoring of Structural and Temporal Properties

Giese, Holger; Henkler, Stefan; Hirsch, Martin; Klein, Florian; Spijkerman, Michael

by Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein, Michael Spijkerman

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.

Reference:

Monitoring of Structural and Temporal Properties (Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein, Michael Spijkerman), In Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, Albert Zündorf, eds.), 2007.

Bibtex Entry:

@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.}
}