Test Derivation from Timed Automata

L. Brandan Briones; Mathias Rohl

doi:10.1007/11498490_10

Test Derivation from Timed Automata

L. Brandan Briones
, Mathias Rohl

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

7 Citations (Scopus)

373 Downloads (Pure)

Abstract

A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.

Original language	Undefined
Title of host publication	Model-Based Testing of Reactive Systems
Editors	M. Broy, B. Jonsson, Joost P. Katoen, M. Leucker, A. Pretschner
Place of Publication	Berlin
Publisher	Springer
Pages	201-231
Number of pages	31
ISBN (Print)	3 540 26278 4
DOIs	https://doi.org/10.1007/11498490_10
Publication status	Published - 2005
Event	7th International Conference on Formal Engineering Methods, ICFEM 2005 - Manchester, United Kingdom Duration: 1 Nov 2005 → 4 Nov 2005 Conference number: 7

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	3472
Volume	3472

Conference

Conference	7th International Conference on Formal Engineering Methods, ICFEM 2005
Abbreviated title	ICFEM
Country/Territory	United Kingdom
City	Manchester
Period	1/11/05 → 4/11/05

Keywords

EWI-1629
IR-48992
METIS-229709

Access to Document

10.1007/11498490_10

briones05test

http://eprints.eemcs.utwente.nl/secure2/1629/01/BR2005.pdf

Cite this

@inbook{041a62b810184db0967d357c8ee1c391,

title = "Test Derivation from Timed Automata",

abstract = "A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.",

keywords = "EWI-1629, IR-48992, METIS-229709",

author = "\{Brandan Briones\}, L. and Mathias Rohl",

note = "eemcs1629 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005 ; Conference date: 01-11-2005 Through 04-11-2005",

year = "2005",

doi = "10.1007/11498490\_10",

language = "Undefined",

isbn = "3 540 26278 4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "3472",

pages = "201--231",

editor = "M. Broy and B. Jonsson and Katoen, \{Joost P.\} and M. Leucker and A. Pretschner",

booktitle = "Model-Based Testing of Reactive Systems",

address = "Germany",

}

Brandan Briones, L & Rohl, M 2005, Test Derivation from Timed Automata. in M Broy, B Jonsson, JP Katoen, M Leucker & A Pretschner (eds), Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science, no. 3472, vol. 3472, Springer, Berlin, pp. 201-231, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, United Kingdom, 1/11/05. https://doi.org/10.1007/11498490_10

Test Derivation from Timed Automata. / Brandan Briones, L.; Rohl, Mathias.
Model-Based Testing of Reactive Systems. ed. / M. Broy; B. Jonsson; Joost P. Katoen; M. Leucker; A. Pretschner. Berlin: Springer, 2005. p. 201-231 (Lecture Notes in Computer Science; Vol. 3472, No. 3472).

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

TY - CHAP

T1 - Test Derivation from Timed Automata

AU - Brandan Briones, L.

AU - Rohl, Mathias

N1 - Conference code: 7

PY - 2005

Y1 - 2005

N2 - A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.

AB - A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.

KW - EWI-1629

KW - IR-48992

KW - METIS-229709

U2 - 10.1007/11498490_10

DO - 10.1007/11498490_10

M3 - Chapter

SN - 3 540 26278 4

T3 - Lecture Notes in Computer Science

SP - 201

EP - 231

BT - Model-Based Testing of Reactive Systems

A2 - Broy, M.

A2 - Jonsson, B.

A2 - Katoen, Joost P.

A2 - Leucker, M.

A2 - Pretschner, A.

PB - Springer

CY - Berlin

T2 - 7th International Conference on Formal Engineering Methods, ICFEM 2005

Y2 - 1 November 2005 through 4 November 2005

ER -