Hybrid Input-Output Conformance and Test Generation

Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories for timed systems were defined. The next step is to develop conformance test theory for hybrid systems as well. In this report we present a conformance relation for model-based testing of hybrid systems and we formalize tests for hybrid systems.

• Type: Conference
• Year: 2006
• Where: FATES
• Authors: Michiel van Osch
• Keywords: Conformance Test Theory, FATES 2006, Hybrid Systems, Input-output Conformance Test, Software Engineering