Hybrid input-output conformance and test generation

M.P.W.J. Osch, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

22 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelFormal Approaches to Testing and Runtime Verification (First Combined International Workshops FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006, Revised selected papers)
RedacteurenK. Havelund, M. Núñez, G. Rosu, B. Wolff
Plaats van productieBerlin
UitgeverijSpringer
Pagina's70-84
ISBN van geprinte versie3-540-49699-8
DOI's
StatusGepubliceerd - 2006

Publicatie series

NaamLecture Notes in Computer Science
Volume4262
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Hybrid input-output conformance and test generation'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Osch, van, M. P. W. J. (2006). Hybrid input-output conformance and test generation. In K. Havelund, M. Núñez, G. Rosu, & B. Wolff (editors), Formal Approaches to Testing and Runtime Verification (First Combined International Workshops FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006, Revised selected papers) (blz. 70-84). (Lecture Notes in Computer Science; Vol. 4262). Springer. https://doi.org/10.1007/11940197_5