Speaker: Michiel van Osch (FM, TU/e)
Title: Automated Model-based Testing of Hybrid Systems

Abstract:
Model-based test theory, like the input-output conformance
relation of Tretmans, and tools, like TorX, for discrete event
testing have been around for some years now. Recently theories for
timed testing and symbolic testing have been defined also. These
theories and tools do not deal with continuous aspects of a
system.

We have adapted Tretmans' formal input-output conformance relation
to the setting of hybrid transition systems. Furthermore, we have
formalized the notions of test and test execution for hybrid
transition system. With every hybrid transition system we
associate a set of tests, which is sound and exhaustive: if an
implementation is conform a specification, then there is no test
that (when performed on the implementation) leads to a fail
verdict (soundness); and if an implementation is not conform a
specification; then a test can be defined that (when performed on
the implementation) leads to a fail verdict (exhaustiveness).

Currently we are implementing our hybrid test theory in a test
tool based on the hybrid chi tool set.

In this presentation I give an overview of our hybrid test theory
and I present the latest developments on the implementation of
this theory.