Model-Based Testing of Mechatronic Systems (bibtex)
by , , ,
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:
Model-Based Testing of Mechatronic Systems (Holger Giese, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn), In Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, Albert Zündorf, eds.), 2007.
Bibtex Entry:
@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},
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.}
}
Powered by bibtexbrowser