Hybrid input-output conformance and test generation

M.P.W.J. Osch, van

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

26 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationFormal 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)
EditorsK. Havelund, M. Núñez, G. Rosu, B. Wolff
Place of PublicationBerlin
PublisherSpringer
Pages70-84
ISBN (Print)3-540-49699-8
DOIs
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
Volume4262
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'Hybrid input-output conformance and test generation'. Together they form a unique fingerprint.

Cite this