Abstract
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 paper we present a conformance relation for model-based testing of hybrid systems and we formalize tests for hybrid systems. © 2006 Springer-Verlag Berlin/Heidelberg.
Cite
CITATION STYLE
Van Osch, M. (2006). Hybrid input-output conformance and test generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4262 LNCS, pp. 70–84). Springer Verlag. https://doi.org/10.1007/11940197_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
