A test generation framework for quiescent real-time systems

L. Brandan Briones, Hendrik Brinksma

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
LanguageUndefined
Title of host publicationFormal Approaches to Software Testing: 4th International Workshop, FATES 2004
EditorsJ. Grabowski, B. Nielsen
Place of PublicationBerlin
PublisherSpringer Verlag
Pages64-78
Number of pages15
ISBN (Print)978-3-540-25109-5
DOIs
StatePublished - Sep 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
No.X
Volume3395
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • METIS-220424
  • IR-48707
  • EWI-1630

Cite this

Brandan Briones, L., & Brinksma, H. (2004). A test generation framework for quiescent real-time systems. In J. Grabowski, & B. Nielsen (Eds.), Formal Approaches to Software Testing: 4th International Workshop, FATES 2004 (pp. 64-78). (Lecture Notes in Computer Science; Vol. 3395, No. X). Berlin: Springer Verlag. DOI: 10.1007/978-3-540-31848-4_5, 10.1007/b106767
Brandan Briones, L. ; Brinksma, Hendrik. / A test generation framework for quiescent real-time systems. Formal Approaches to Software Testing: 4th International Workshop, FATES 2004. editor / J. Grabowski ; B. Nielsen. Berlin : Springer Verlag, 2004. pp. 64-78 (Lecture Notes in Computer Science; X).
@inproceedings{0c1c6e3a05aa4815a878208e015cf95a,
title = "A test generation framework for quiescent real-time systems",
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 = "METIS-220424, IR-48707, EWI-1630",
author = "{Brandan Briones}, L. and Hendrik Brinksma",
year = "2004",
month = "9",
doi = "10.1007/978-3-540-31848-4_5",
language = "Undefined",
isbn = "978-3-540-25109-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
number = "X",
pages = "64--78",
editor = "J. Grabowski and B. Nielsen",
booktitle = "Formal Approaches to Software Testing: 4th International Workshop, FATES 2004",
address = "Germany",

}

Brandan Briones, L & Brinksma, H 2004, A test generation framework for quiescent real-time systems. in J Grabowski & B Nielsen (eds), Formal Approaches to Software Testing: 4th International Workshop, FATES 2004. Lecture Notes in Computer Science, no. X, vol. 3395, Springer Verlag, Berlin, pp. 64-78. DOI: 10.1007/978-3-540-31848-4_5, 10.1007/b106767

A test generation framework for quiescent real-time systems. / Brandan Briones, L.; Brinksma, Hendrik.

Formal Approaches to Software Testing: 4th International Workshop, FATES 2004. ed. / J. Grabowski; B. Nielsen. Berlin : Springer Verlag, 2004. p. 64-78 (Lecture Notes in Computer Science; Vol. 3395, No. X).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - A test generation framework for quiescent real-time systems

AU - Brandan Briones,L.

AU - Brinksma,Hendrik

PY - 2004/9

Y1 - 2004/9

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 - METIS-220424

KW - IR-48707

KW - EWI-1630

U2 - 10.1007/978-3-540-31848-4_5

DO - 10.1007/978-3-540-31848-4_5

M3 - Conference contribution

SN - 978-3-540-25109-5

T3 - Lecture Notes in Computer Science

SP - 64

EP - 78

BT - Formal Approaches to Software Testing: 4th International Workshop, FATES 2004

PB - Springer Verlag

CY - Berlin

ER -

Brandan Briones L, Brinksma H. A test generation framework for quiescent real-time systems. In Grabowski J, Nielsen B, editors, Formal Approaches to Software Testing: 4th International Workshop, FATES 2004. Berlin: Springer Verlag. 2004. p. 64-78. (Lecture Notes in Computer Science; X). Available from, DOI: 10.1007/978-3-540-31848-4_5, 10.1007/b106767