Test Derivation from Timed Automata

L. Brandan Briones, Mathias Rohl

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

6 Citations (Scopus)
60 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 languageUndefined
Title of host publicationModel-Based Testing of Reactive Systems
EditorsM. Broy, B. Jonsson, Joost P. Katoen, M. Leucker, A. Pretschner
Place of PublicationBerlin
PublisherSpringer
Pages201-231
Number of pages31
ISBN (Print)3 540 26278 4
DOIs
Publication statusPublished - 2005
Event7th International Conference on Formal Engineering Methods, ICFEM 2005 - Manchester, United Kingdom
Duration: 1 Nov 20054 Nov 2005
Conference number: 7

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Number3472
Volume3472

Conference

Conference7th International Conference on Formal Engineering Methods, ICFEM 2005
Abbreviated titleICFEM
CountryUnited Kingdom
CityManchester
Period1/11/054/11/05

Keywords

  • EWI-1629
  • IR-48992
  • METIS-229709

Cite this

Brandan Briones, L., & Rohl, M. (2005). Test Derivation from Timed Automata. In M. Broy, B. Jonsson, J. P. Katoen, M. Leucker, & A. Pretschner (Eds.), Model-Based Testing of Reactive Systems (pp. 201-231). (Lecture Notes in Computer Science; Vol. 3472, No. 3472). Berlin: Springer. https://doi.org/10.1007/11498490_10
Brandan Briones, L. ; Rohl, Mathias. / Test Derivation from Timed Automata. Model-Based Testing of Reactive Systems. editor / M. Broy ; B. Jonsson ; Joost P. Katoen ; M. Leucker ; A. Pretschner. Berlin : Springer, 2005. pp. 201-231 (Lecture Notes in Computer Science; 3472).
@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",
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",

}

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 proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Test Derivation from Timed Automata

AU - Brandan Briones, L.

AU - Rohl, Mathias

N1 - eemcs1629

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

ER -

Brandan Briones L, Rohl M. Test Derivation from Timed Automata. In Broy M, Jonsson B, Katoen JP, Leucker M, Pretschner A, editors, Model-Based Testing of Reactive Systems. Berlin: Springer. 2005. p. 201-231. (Lecture Notes in Computer Science; 3472). https://doi.org/10.1007/11498490_10