Test Derivation from Timed Automata

L. Brandan Briones, Mathias Rohl

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

    6 Citations (Scopus)
    65 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