A test generation framework for quiescent real-time systems

L. Brandan Briones; Hendrik Brinksma

doi:10.1007/978-3-540-31848-4_5

A test generation framework for quiescent real-time systems

L. Brandan Briones, Hendrik Brinksma

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

46 Citations (Scopus)

153 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	Formal Approaches to Software Testing: 4th International Workshop, FATES 2004
Editors	J. Grabowski, B. Nielsen
Place of Publication	Berlin
Publisher	Springer
Pages	64-78
Number of pages	15
ISBN (Print)	978-3-540-25109-5
DOIs	https://doi.org/10.1007/978-3-540-31848-4_5 https://doi.org/10.1007/b106767
Publication status	Published - Sept 2004
Event	4th International Workshop on Formal Approaches to Testing of Software, FATES 2004: Formal approaches to software testing: FATES 2004 - Linz, Austria, Linz, Austria Duration: 21 Sept 2004 → 21 Sept 2004 Conference number: 4

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	X
Volume	3395
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Workshop on Formal Approaches to Testing of Software, FATES 2004
Abbreviated title	FATES 2004
Country/Territory	Austria
City	Linz
Period	21/09/04 → 21/09/04
Other	21 Sep 2004

Keywords

METIS-220424
IR-48707
EWI-1630

Access to Document

briones05generation

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). Springer. https://doi.org/10.1007/978-3-540-31848-4_5, https://doi.org/10.1007/b106767

@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 = sep,

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

number = "X",

pages = "64--78",

editor = "J. Grabowski and B. Nielsen",

booktitle = "Formal Approaches to Software Testing: 4th International Workshop, FATES 2004",

address = "Germany",

note = "4th International Workshop on Formal Approaches to Testing of Software, FATES 2004 ; Conference date: 21-09-2004 Through 21-09-2004",

}

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, Berlin, pp. 64-78, 4th International Workshop on Formal Approaches to Testing of Software, FATES 2004, Linz, Austria, 21/09/04. https://doi.org/10.1007/978-3-540-31848-4_5, https://doi.org/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, 2004. p. 64-78 (Lecture Notes in Computer Science; Vol. 3395, No. X).

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

TY - GEN

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

AU - Brandan Briones, L.

AU - Brinksma, Hendrik

N1 - Conference code: 4

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

A2 - Grabowski, J.

A2 - Nielsen, B.

PB - Springer

CY - Berlin

T2 - 4th International Workshop on Formal Approaches to Testing of Software, FATES 2004

Y2 - 21 September 2004 through 21 September 2004

ER -