Hybrid input-output conformance and test generation

M.P.W.J. Osch, van

doi:10.1007/11940197_5

Hybrid input-output conformance and test generation

M.P.W.J. Osch, van

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

22 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 language	English
Title of host publication	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)
Editors	K. Havelund, M. Núñez, G. Rosu, B. Wolff
Place of Publication	Berlin
Publisher	Springer
Pages	70-84
ISBN (Print)	3-540-49699-8
DOIs	https://doi.org/10.1007/11940197_5
Publication status	Published - 2006

Publication series

Name	Lecture Notes in Computer Science
Volume	4262
ISSN (Print)	0302-9743

Access to Document

10.1007/11940197_5

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

Cite this

Osch, van, M. P. W. J. (2006). Hybrid input-output conformance and test generation. In K. Havelund, M. Núñez, G. Rosu, & B. Wolff (Eds.), 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) (pp. 70-84). (Lecture Notes in Computer Science; Vol. 4262). Springer. https://doi.org/10.1007/11940197_5

Osch, van, M.P.W.J. / Hybrid input-output conformance and test generation. 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). editor / K. Havelund ; M. Núñez ; G. Rosu ; B. Wolff. Berlin : Springer, 2006. pp. 70-84 (Lecture Notes in Computer Science).

@inproceedings{59409919abed461e86088a46211d844d,

title = "Hybrid input-output conformance and test generation",

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.",

author = "{Osch, van}, M.P.W.J.",

year = "2006",

doi = "10.1007/11940197_5",

language = "English",

isbn = "3-540-49699-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "70--84",

editor = "K. Havelund and M. N{\'u}{\~n}ez and G. Rosu and B. Wolff",

booktitle = "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)",

address = "Germany",

}

Osch, van, MPWJ 2006, Hybrid input-output conformance and test generation. in K Havelund, M Núñez, G Rosu & B Wolff (eds), 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). Lecture Notes in Computer Science, vol. 4262, Springer, Berlin, pp. 70-84. https://doi.org/10.1007/11940197_5

Hybrid input-output conformance and test generation. / Osch, van, M.P.W.J.

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). ed. / K. Havelund; M. Núñez; G. Rosu; B. Wolff. Berlin : Springer, 2006. p. 70-84 (Lecture Notes in Computer Science; Vol. 4262).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Hybrid input-output conformance and test generation

AU - Osch, van, M.P.W.J.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1007/11940197_5

DO - 10.1007/11940197_5

M3 - Conference contribution

SN - 3-540-49699-8

T3 - Lecture Notes in Computer Science

SP - 70

EP - 84

BT - 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)

A2 - Havelund, K.

A2 - Núñez, M.

A2 - Rosu, G.

A2 - Wolff, B.

PB - Springer

CY - Berlin

ER -

Osch, van MPWJ. Hybrid input-output conformance and test generation. In Havelund K, Núñez M, Rosu G, Wolff B, 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). Berlin: Springer. 2006. p. 70-84. (Lecture Notes in Computer Science). https://doi.org/10.1007/11940197_5